菲尔兹奖得主实测: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」频道最新
- Jean-Vincent:编程语言的进步常源于「解决问题很难」这个过程 — jjvincent · 2026-09-11
- AI 消耗量分三波浪潮:2026 年 2 月 Agent 用量已超人类 — AccBalanced · 2026-09-11
- Novosad 赞同 Hassabis 的 AI 安全制度构想,反对削弱美国实验室 — paulnovosad · 2026-09-11
- Ultraventures 创始人:AI 跳过钻研过程,「公共知识」或被侵蚀 — jjvincent · 2026-09-11
- 经济学家:通往安全 AGI 要靠大实验室内部工程师,而非外部踩刹车 — paulnovosad · 2026-09-11
- 长文反驳 AI 灭绝论:所谓「10% 灭绝风险」是为逃避产品责任 — gerardsans · 2026-09-11