菲尔兹奖得主 John Pardon:AI 已能读懂我潦草的手稿,「它真的理解,100%」
thesaraharminta · x · 2026-10-20
2026 年菲尔兹奖得主 John Pardon 在访谈中表示,AI 对其数学研究的作用已发生质变。
- 从拼写检查到审稿:此前 AI 对他而言只是拼写检查工具;如今它能检视高度压缩、不完整的研究笔记,并找出细微的数学错误——例如在余极限(colimits)相关命题中缺失 finite 或 sifted 这类条件,AI 能结合更广的数学上下文识别出此类遗漏
- 原话:「AI 是理解的。100%。」
- 能力边界:AI 已为他证明过几个非平凡的引理,但在他自己的研究中尚未产出重大突破
- 谨慎面(配图引述):当 AI 产出的东西人类无法理解时要小心;机器在数学的许多方面会做得更好,人类练习的空间收窄「有点不幸」——但正如人类仍跑马拉松、下棋,自己做数学的意义独立于机器做得更好
- 他还强调学生仍须亲手啃硬问题
访谈同时谈及他的好奇心驱动(大提琴、杂耍、学书法)与教学观。
「漫话AGI」频道最新
- 经济学家判断:AI 不会带来持续大规模失业,但行业剧痛难免 — robseamans · 2026-10-20
- 思想实验:多活20年换人类灭绝风险翻倍,你选吗 — inductionheads · 2026-10-20
- 创业者拖拽诺预判:18 个月后大部分 AI 工作将转向本地模型 — draginol · 2026-10-20
- Levie 论 agent swarm:人类将无法复核智能体集群工作 — dosco · 2026-10-20
- Sinofsky:AI 难进企业,因多数员工写不出给 agent 的工作流程图 — a16z · 2026-10-20
- AI 圈争论:新问题是中产消失而非底层固化 — max_paperclips · 2026-10-20