OpenAI 一次性放出 700 份手稿，数学家惊呼一天顶三十年
kimmonismus · x · 2026-10-31
kimmonismus 梳理了 AI 数学能力从奥赛走向开放问题的转折：2025 年 7 月 AI 在有已知答案的奥赛题上达到金牌水平后，9 月起战场转向真正的开放难题。
- 10 月 6 日，OpenAI 公开其内部模型产出的 700 多份手稿，覆盖 373 组相关结果，约占它自己提出的约 4000 个问题的 9%
- 其中包括声称证明 Navier-Stokes 方程会在有限时间内失效（千禧年大奖难题之一）的内部结果
- 理论计算机科学家 Fortnow 评价：如果这些结果成立，「过去 24 小时理论计算机科学的进展超过此前三十年总和」
- 批次中一份与黎曼猜想相关的证明被数学家 Lichtman 称为「迄今 AI 在数学上最重要的成就」，Dunn 则形容为「对已知思想的惊人综合」
作者据此断言「AI 缺乏创造力」的论调已被证伪，并预测 2026 年将成为机器智能与机器创造力比肩人类的科学革命元年（末句为作者观点性夸张）。
「漫话AGI」频道最新
- StudentBench 研究：AI 家教 GRE 提分追平人类，成本仅 1/918 — gharik · 2026-10-31
- Box CEO：AI 进步曲线近乎垂直，前沿与所有人的差距还在拉大 — rohanpaul_ai · 2026-10-31
- LLM不会模型坍缩,人类文化与灵魂或许会 — generativist · 2026-10-31
- Nina Schick:谁来建造智能、智能如何分配,是我们这代人最关键的问题 — NinaDSchick · 2026-10-31
- Martin Casado:AI 完成 80% 已足够惊艳,没人愿做剩下的 20% — martin_casado · 2026-10-31
- 「人人都得到廉价智能」:一条面包配料表道破 AI 的真实成色 — jsuarez · 2026-10-31