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

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