证明大爆炸，数学界变天！AI把陶哲轩逼出「数学 2.0」
2026.10.15 · 观点 · 人物观点 · 本人发布
陶哲轩在加州理工发表《数学2.0》演讲，提出AI已让数学从证明稀缺进入证明过剩时代。
菲尔兹奖得主陶哲轩在加州理工学院发表《数学2.0》演讲，称AI已把数学界从「证明稀缺」推入「证明过剩」新纪元。他警告单纯让AI刷题输出人类无法理解的结果是危险的「错误对齐」，主张用AI反哺和增强人类理解。
- 陶哲轩将演讲题目改为《数学2.0》，提出证明稀缺时代终结
- OpenAI用约1万个AI智能体、88小时给出Navier-Stokes方程奇…
- OpenAI空降700多篇AI独立生成的数学论文，涵盖372个结果
- 25位菲尔兹奖得主联名警告AI目标严重错位
- 陶哲轩提出「抗癌药」思想实验，警示黑盒结果危险
为什么值得看
理解AI时代数学与科学最危险的悖论：答案过剩而理解缺失。
适合谁关注
关注AI与数学、科研范式变革的读者