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

2026年10月9日，TechCrunch 报道称 OpenAI 本周发布了数百个数学难题的证明。然而，普林斯顿高等研究院托管的 AGMAI（数学与人工智能顾问组）指出，该发布未完全遵循其建议：在 719 篇稿件中，仅有 10 篇公开了模型的思维链；42% 的证明未经形式化处理；同时，发布也未提供可用于关联自然语言与形式化产物的机器可读元数据。目前尚无后续进展报道。

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

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