OpenAI 未发布模型一口气产出 722 篇数学成果，占近三年重大发现 81%
Exponential View (Azeem Azhar) · rss · 2026-10-07
Exponential View 的 Azeem Azhar 讨论 OpenAI 昨日发布的一批数学结果：由一款未发布的前沿模型产出，共 722 篇手稿、372 个成果族，覆盖数论、复杂性理论与数学物理，平均每个结果约等于 ChatGPT Pro 思考三小时。科学家 Derya Unutmaz 指出，这相当于过去三年重大数学发现的 81%。
- 部分结果已在 Lean 中形式化验证，但并非全部；作者认为即便真实数字打对折也足够惊人——困扰顶尖人类数十年的问题，被一个下午的算力解决。
- 作者提出的思考框架：想象数百万个超人类研究智能体同时工作，形式系统能验证证明，但人类已没有足够上下文去理解机器发明的概念网络。
- 数学可能分裂为两层：机器数学（庞大、已验证、主要由 AI 消费）与人类数学（机器前沿的压缩「有效理论」，即我们能理解的那一小部分）。
- 作者视其为人类理解世界的转折点：启蒙运动以来三百年以理性与经验解释世界的范式，可能正被改写。
「漫话AGI」频道最新
- Paul Graham：Replit 比我想的更重要，AI 以代码形式渗透组织 — ycombinator · 2026-10-07
- Coinbase 研究院发文：AI Agent 时代需要机器对机器微支付，稳定币是最佳载体 — MurrLincoln · 2026-10-07
- Bindu Reddy：别做订票 Agent 了，超级智能正被困在双头垄断里 — bindureddy · 2026-10-07
- AI 山寨书冒充正版：亚马逊搜索 AGI 畅销书仍被按需印刷新书截流 — kevinroose · 2026-10-07
- Ben Goertzel 撰科幻式「后奇点超智」训诫:人类该担心什么 — bengoertzel · 2026-10-07
- 物理学家 Sabine 指出:专家对 AI 进展的预测离谱地不准 — skdh · 2026-10-07