OpenAI 数学证明发布未达 AGMAI 标准：719 篇手稿仅 10 篇公开思维链

OpenAI 本周发布数百个高难度数学问题的解答，但未达到数学与人工智能咨询小组（AGMAI）提出的标准：719 篇手稿中仅 10 篇公开了模型的思维链，仅 42% 的证明未经形式化处理。剑桥大学与伦敦国王学院的新论文还发现，OpenAI 针对 Navier-Stokes 方程问题给出的自然语言证明与 Lean 代码之间存在至少两处不一致。