OpenAI的数学证明尚未达到数学领域的标准

📋总体概括

OpenAI近期密集发布的一系列数学定理证明引发数学界质疑：这些成果被指偏离了此前OpenAI咨询的一批数学研究者所制定的证明规范与验证标准。批评者认为，AI生成的证明在严谨性、可验证性方面尚未达到数学领域公认的水准，形式与实质之间存在落差。此事凸显大模型在专业数学领域的能力宣传与学术共同体标准之间的鸿沟，也为AI数学成果的评审机制敲响警钟。