[SAIR播客]陶哲轩：AI 时代的"证明消化不良"与竞赛新范式

1Key Takeaways

• https://www.youtube.com/watch?v=nbZA4N7BDCU 陶哲轩这场演讲的核心内容用大白话说就是这么几件事： 1.
• 数学界现在遇到了“消化不良” 过去几百年，数学研究的节奏很慢。一个成果出来，要经过同行评审、反复验证、慢慢消化，最后写进教科书。整个过程就像一条顺畅的生产线。 但现在AI来了，它写证明、解难题的速度飞快，像一台高速印刷机，“生产”出来的东西一下子堆满了仓库。但人类评审员根本来不及看，很多AI生成的论文质量又差，这就造成了“证明消化不良”，或者说是学术界的“交通堵塞”。 2.
• 不能用老路跑新车 陶哲轩打了个比方：AI就像刚发明的汽车，而现在的学术期刊、会议制度，还是几百年前为马车和行人修的“石板路”。车是好车，但路太窄、太乱，人车混行，结果就是谁都动不了。光升级汽车（AI）没用，必须重新修路（改革科研基础设施）。 3.
• 怎么修新路？搞竞赛！ 他的思路是：别把AI和人类放在同一个赛道里竞争，而是给它们分别建“高速公路”和“人行道”。他牵头办的SAIR竞赛，就是两条新路。 他重点介绍了其中两个比赛： 第一个比赛：蒸馏挑战 干什么？….