陶哲轩说 AI 会多出证明，但数学不会更快

xiaohu · x · 2026-07-28

陶哲轩认为，AI 未来会让“证明写出来”这一步越来越常见，但数学研究整体未必因此加速。

在国际数学家大会的报告里，他把数学研究拆成一条流水线：找到证明、验证正确性、写到人能读懂、被同行接受、进入教材。他的判断是，AI 可能主要提速第一步，后面几步仍高度依赖人类，而且更有价值。他还提醒，证明写得过于顺滑反而可能有害，因为那些“卡住人”的地方，往往正是理解的关键。给同行的建议是：常态化披露 AI 使用、把精力从抢着解题转向消化证明、以及别发表自己都讲不清的结果。