陶哲轩：AI 让数学进入「证明过剩」时代，解题能力正被重新定价

lmoroney · x · 2026-10-19

Terence Tao 近期在 Caltech 讲座「Math 2.0」和 Numberphile 访谈「No More Heroes」中公开探讨 AI 对数学的冲击：AI 正把数学带入「证明过剩」的时代，许多曾被专家视为困难的问题可以快速解决，且越来越不需要提问者具备专业能力。

Tao 认为解题本身一直是通往更有价值长期目标（建立理解）的代理指标，只优化「解决问题」可能损害数学领域的长期健康。转发者 Laurence Moroney 引申到所有课堂：当模型能给出答案，最重要的工作是解释为什么成立——下次 AI 替你解题后，关掉聊天窗口，用自己的话把解法讲给别人听。