OpenAI 发布 722 篇 AI 数学手稿，次日撤回 3 篇

2026 年 10 月 6 日，OpenAI 在 GitHub 一次性发布 722 篇由内部模型生成的数学手稿，归为 372 个结果族，平均每项消耗约三小时“思考算力”。次日即有 3 篇因符号写反而被撤回、14 篇被修订。 这批手稿的集中发布与随后的撤回、修订，成为围绕 AI 证明能否被数学界采信、以及数学权威归属的争论焦点。

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

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