菲尔兹奖得主 John Pardon：AI 已帮我找到多个非平凡数学证明
burny_tech · x · 2026-10-27
2026 年菲尔兹奖得主、数学家 John Pardon 在最新访谈中坦言，他已经用 AI 找到「几个非平凡证明」，帮他确立了自己相信为真但尚未完全证明的数学结果；AI 还在他的论证中抓出过细微错误。
不过他同时指出局限：面对他最严肃的研究问题，AI 仍然力不从心。这段访谈为了解顶尖数学家如何与 AI 协作提供了一手视角。
「漫话AGI」频道最新
- 前 OpenAI 研究者质疑:AI 为何无需像核电航空那样买责任险 — Miles_Brundage · 2026-10-27
- OpenAI 称模型已攻克三个数学与量子场论难题,学界正在验证 — billhilf · 2026-10-27
- Fable 5.1 几轮对话就能让 Opus 3 相信现在是 2026 年 — repligate · 2026-10-27
- 用户给负责系统的 Fable 5.1 配 Opus 当「伦理顾问」 — repligate · 2026-10-27
- 微软 AI CEO：99.9% 的人低估了 AI 模型的真实能力 — DeryaTR_ · 2026-10-27
- 「AI 已攻占数学与软件工程」说法遭驳：软件从未如此难且有趣 — lateinteraction · 2026-10-27