OpenAI 数学成果被指未达数学界标准

OpenAI 本周发布数百个对世界最难数学问题的声称解答，但数学界认为其未满足此前共同制定的标准，尤其是在确保人类理解结果方面。

剑桥大学和伦敦国王学院的数学家本周发表论文，记录 OpenAI 针对 Navier-Stokes 方程问题的自然语言证明与 Lean 代码之间至少存在两处不一致。AI 模型通常会先用自然语言写出证明，再翻译为 Lean 代码以验证正确性，这一过程出现断裂。

由普林斯顿高等研究院主持的数学与人工智能顾问组 AGMAI 由九名知名研究者组成，于 9 月底发布指导原则，首要要求是停止在专有模型上测试高等数学问题。OpenAI 的发布明确表示其在用专有模型评估开放数学问题，与要求不符。

著名数学家 Terence Tao 批评称，问题被自主 AI 提示者解决后，无人能在更广泛领域解释结果或与学界互动。AGMAI 还建议 OpenAI 应为人类数学家的后续工作提供资助。