陶哲轩为何转向AI减速派：SAIR演讲谈证明消化不良

陶哲轩在SAIR最新演讲中公开呼吁AI公司放慢数学研究节奏，称AI在生成解答和Lean形式化验证上加速，但理解、同行评审和写入教科书环节几乎停滞，形成他所说的Proof Indigestion（证明消化不良）。