菲尔兹奖得主 John Pardon：AI 能读懂我最潦草的证明草稿，抓错 100% 准

kimmonismus · x · 2026-10-20

2026 年菲尔兹奖得主 John Pardon 表示，AI 已成为他数学工作的核心工具，而就在一个月前它还「没什么用」。他在采访中说，AI 最大的价值是校对和找错：即使他写得极简、解释糟糕、充满个人草注的句子，AI 也能完全理解——「The AI understands. 100%」。例如他把「all colimits」误写成漏掉 finite 或 sifted 修饰时，AI 能指出「你漏了一个词」，而做到这一点必须理解全局语境。他以前要把证明反复读四五遍才确信无误，现在有了这种确定性。他称这一年的进展对数学界是「改变世界」的，一年前他的答案还会相反。