OpenAI数学证明发布未达学界标准

OpenAI本周发布数百个高难数学题解。2026年10月9日TechCrunch报道称，这些证明未达到普林斯顿AGMAI咨询组提出的标准：719篇手稿中仅10篇公开了模型思维链，42%的证明未经过形式化。同日IT之家报道，陶哲轩10月7日在mathstodon发帖质疑这719份AI数学解答，称把"用AI快速攻克著名难题"当成主要目标会破坏数学共同体的理解与协作机制；报道并称OpenAI此次仍使用专有模型，仅10份手稿附有推理链，约42%证明未经形式化处理，未完全达到AGMAI提出的标准，陶哲轩将这种高速产出却无人消化的状况称为数学界的"证明消化不良"。

AI 根据报道生成 · 44 分钟前更新

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