OpenAI数学解题方案被指未达数学界标准

2026年10月9日，TechCrunch报道OpenAI发布了数百个数学难题的解法，但遭到普林斯顿大学数学与AI顾问组（AGMAI）的质疑，指出其未达到数学界标准。主要问题在于缺乏人类对结果的真正理解，且仅有42%的证明经过了形式化验证。此外，剑桥与国王学院的研究进一步指出，OpenAI的自然语言证明与Lean代码之间存在至少两处差异，引发对AI自主形式化验证可靠性的质疑。

AI 根据报道生成 · 3 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。