陶哲轩：AI时代，数学研究与教育将走向何方

前些天OpenAI在GitHub上放出了722篇AI写的数学手稿，连黎曼猜想这种顶级难题都碰了。模型试了约4000个问题，平均每题烧3小时算力。有数学家直接放话：这要是人做出来的，绝对是菲尔兹奖级别。

陶哲轩没慌，也没喊着要守住人类阵地。他直接把整个问题的框架翻了过来。他说，过去一百年数学界都在熬“证明稀缺”，谁能解题谁就是英雄。但现在AI打破了这事——证明能靠电脑一行行查对错，文献又全在网上，AI简直天生适合干这个。

不过AI有个致命毛病：能力参差不齐。它能几分钟搞定困扰人类几十年的定理，却不知道该解什么题。它擅长数据多的死题，不擅长判断哪个方向值得挖。

所以解题其实只是个代理目标。未来的Math 2.0不是让AI替人做题，而是让人负责定方向，AI负责加速验证。最大的障碍从来不是技术，是咱们的想象力——能不能接受不再以“谁先解出这道题”为核心竞赛。