OpenAI 一次性放出 722 篇 AI 数学着作,数学界直呼消化不了
机器之心 · wechat · 2026-10-10
OpenAI 在 GitHub 公开由内部前沿模型生成的 722 篇数学手稿,覆盖数论、代数几何、分析、组合数学等方向。《The Verge》采访 30 多位数学家,普遍认为 AI 产出新数学的速度已超过数学界理解、验证和吸收的速度。
- 验证成瓶颈:仅约 42%(约 300 项)核心结果完成 Lean 形式化验证;有研究者用 OSVerify 检查论文即发现两个重大问题。部分论文写作粗糙、引用不足,甚至可能覆盖他人已完成的工作。
- 含金量也确实高:斯坦福 Lichtman 估计有数十个分量级结果,包括黎曼猜想推进、霍奇猜想特殊情形、四维 Kakeya 猜想解答等千禧年难题级别工作。
- 冲击研究生态:至少三位数学家的完整研究项目被"毁灭性冲击",概率论、组合数学、理论 CS 受影响最大;有人的基金申请核心目标直接被抹掉。
- OpenAI 的应对:咨询小组 AGMAI 建议负责任发布,OpenAI 部分采纳——将资助研讨会、披露生成过程(尝试超 4000 个问题,单项平均约 3 小时 ChatGPT Pro thinking 算力),但未公布所用模型与提示词,并表示不会停下。
所属事件:OpenAI 单日放出 722 篇 AI 数学论文引学界震动(17 条相关)→
「漫话AGI」频道最新
- AI 狂热成心理投射容器：为何有人对数学家怀有怨气 — _onionesque · 2026-10-10
- 「肉代理时代」引热议:wrapper公司回怼人类终将退出循环 — max_paperclips · 2026-10-10
- 陶哲轩博客刊文谈 LLM,同周 OpenAI 宣布内 LLM 证 Navier-Stokes 结果 — gleech · 2026-10-10
- Musk 称 Digital Optimus 已无 API 纯看屏幕打通暗黑破坏神一半剧情 — XFreeze · 2026-10-10
- Vibe coding 承诺落空：模型迭代快到没人敢认真做产品 — sull · 2026-10-10
- 正交性最搞笑的结局：人类价值观可能恰恰特别蠢 — jessi_cata · 2026-10-10