OpenAI 数学解答未达学界标准，719 篇仅 10 篇公开思维链
OpenAI 本周发布数百个高难数学问题的解答，但未达到普林斯顿高等研究院 AGMAI 咨询组 9 月底提出的标准。AGMAI 首要建议是停止在闭源模型上测试高难数学问题，而 OpenAI 明确表示正用开放研究问题评估其闭源模型。719 篇手稿中仅 10 篇公开了模型的思维链，仅 42% 的证明经过形式化处理。数学家 Terence Tao 批评称，AI 提示者只关心解题本身，不理解输出，无法参与学术讨论。剑桥大学与伦敦国王学院本周的论文也质疑前沿实验室的解题方式。
推荐理由看具体数字：719 篇证明仅 10 篇公开思维链、42% 形式化，理解 AI 数学能力边界的关键案例