菲尔兹奖得主实测:ChatGPT两小时搞定博士级数学证明
新智元 · wechat · 2026-07-23
随着大模型能力飙升,AI正在颠覆数学研究领域。菲尔兹奖得主 Timothy Gowers 实测发现,ChatGPT 在不到两小时内,不仅改进了前沿论文中的数学边界,甚至提出了被原作者认证为“完全原创”的精妙构造,达到了博士论文级别。
AI 攻克研究级难题
- Gowers 测试了 ChatGPT 解决组合数学难题的能力。模型在十几分钟内将原论文中的指数级边界压缩至多项式级,并迅速生成符合规范的预印本。
- 论文原作者 Isaac Rajagopal 确认,AI 提出的证明思路不仅正确,而且极具原创性。
- OpenAI 的内部推理模型也推翻了埃尔德什于 1946 年提出的平面单位距离猜想,改变了数十年来的共识。
学术体系面临冲击
- 包括 xAI 联合创始人 Christian Szegedy 在内的多位顶尖学者认为,随着 AI 贡献占据主导,菲尔兹奖可能很难再按原有精神颁发,预计这一界限最多维持到 2030 年。
- Gowers 指出,如果未来重大数学难题的主要想法和证明都由 AI 完成,人类将很难把荣誉归于个人,“把名字留在定理上”的时代正在终结。
- 陶哲轩等顶尖数学家已开始改变工作习惯,不再试图实时跟进所有新证明,并呼吁为 AI 与人类分设不同的学术发表渠道。
「漫话AGI」频道最新
- Allison Duettmann 设想仿真时间里的人生与多重生命 — juanbenet · 2026-07-23
- 分析称美国封禁 Kimi 反将助力其 IPO 与国产化叙事 — SumitGup · 2026-07-23
- Antirez 认为该由数学家主导 LLM 可解的开放问题 — antirez · 2026-07-23
- 哈佛 AI 与工作系列讨论:人类还剩哪些 AI 做不到的价值 — garrytan · 2026-07-23
- 开源 AI 框架应按适配度而非价格路由模型 — 0xsachi · 2026-07-23
- 美国 12 州 23 项法案围堵 AI 法人人格 — cccalum · 2026-07-23