陶哲轩在SAIR演讲中转向AI减速派，称数学界面临证明消化不良

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