陶哲轩为何转向AI减速派：AI解数学题引发知识拥堵争议

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