OpenAI搅乱数学界！科研项目没了，数学家遭毁灭性打击，学界还要数年消化
2026.10.10 · 事件 · AI 事件 · 媒体报道
OpenAI 公开 722 篇模型生成的数学手稿，仅约 42% 核心结果完成形式化验证。
OpenAI 在 GitHub 公开 722 篇由内部未发布前沿模型生成的数学成果，涉及数论、代数几何、分析、组合数学等方向。数学家称仅理解这批内容就需数年，只有 300 项核心结果完成形式化验证，约占 42%。有研究者表示完整研究项目因此受到毁灭性冲击。
- OpenAI 公开 722 篇 AI 生成数学手稿，含 Lean 形式化证明
- 仅 300 项核心结果完成形式化验证，约占 42%
- 数学家称理解全部内容可能需数年，验证成新瓶颈
- 部分研究者基金申请和完整研究项目被直接覆盖
- 成果含黎曼猜想推进、霍奇猜想特殊情形等重量级工作
为什么值得看
看清 AI 批量产出前沿数学后，学界验证与消化能力的真实缺口。
适合谁关注
关注 AI for Science、数学研究与科研生态的读者。