持续观察AI 科技其他事件首次追踪 2026.10.06最近变化 2026.10.07
目前结论
OpenAI 公开了由未发布前沿模型生成的 722 篇数学手稿，覆盖 372 组关联结果，并宣称在多个长期未解问题上取得进展；部分结果已有 Lean 形式化证明，但验证程度不一致，AGMAI 未背书，数学界正在验收。
进展时间线
3 次实质进展- #01
OpenAI再公布一批数学突破成果
OpenAI发布了一批722篇手稿，涵盖372个成果系列，其中包含由一款未发布的前沿模型生成的长期数学难题的解答，延续了AI驱动数学突破的势头，也引发了关于研究伦理的争论。
来源依据：The Verge AI
- #02
OpenAI一夜甩出722篇数学论文！黎曼霍奇BSD全上阵，数学家：读不过来
OpenAI发布了722篇数学论文，涵盖黎曼猜想、霍奇猜想和BSD猜想等重大未解问题，引发三位菲尔兹奖得主的反对，他们表示该发布不构成他们的认可。
来源依据：QbitAI 量子位
- #03
OpenAI一口气放出722篇AI数学手稿，数学界开始验收
新增细节：这批手稿涉及 Unique Games 猜想、准黎曼猜想、CM 阿贝尔簇上的有理 Hodge 猜想和自由群因子问题等具体结果；部分结果附有 Lean 形式化证明，但整体验证程度不一致，独立数学顾问组 AGMAI 未为结果背书。
此后状态：OpenAI 公开了由未发布前沿模型生成的 722 篇数学手稿，覆盖 372 组关联结果，并宣称在多个长期未解问题上取得进展；部分结果已有 Lean 形式化证明，但验证程度不一致，AGMAI 未背书，数学界正在验收。
来源依据：theblockbeats