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

2026年10月9日，TechCrunch报道，OpenAI本周发布了数百份宣称解决世界难题的数学证明。然而，普林斯顿高等研究院AI数学验证组织（AGMAI）制定的指南有多项要求未被满足。报道指出，在719份相关稿件中，仅有10份包含模型的思维链；同时，仅42%的证明未经形式化处理，也未按要求提供关联自然语言与形式化产物的机器可读元数据。这一情况表明，OpenAI此次发布的数学证明在透明度、形式化验证和可追溯性等方面与数学界制定的AGMAI标准存在明显差距，尚未达到数学界认可的要求。

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

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