OpenAI 数学解法未达 AGMAI 标准

OpenAI 本周发布的数百个数学问题解法未达到普林斯顿高等研究院 AGMAI 顾问组制定的标准。在 719 份手稿中，仅 10 份包含模型思维链，且 58% 的证明未经过形式化处理。剑桥大学等机构的新论文指出，OpenAI 针对纳维-斯托克斯方程相关问题的自然语言证明与 Lean 代码存在翻译差异，引发对 AI 自主解题可靠性的质疑。