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

https://www.youtube.com/watch?v=nbZA4N7BDCU 陶哲轩这场演讲的核心内容用大白话说就是这么几件事： 1. 数学界现在遇到了“消化不良” 过去几百年，数学研究的节奏很慢。一个成果出来，要经过同行评审、反复验证、慢慢消化，最后写进教科书。整个过程就像一条顺畅的生产线。 但现在AI来了，它写证明、解难题的速度飞快，像一台高速印刷机，“生产”出来的东西一下子堆满了仓...