陶哲轩在SAIR演讲转向AI减速派，喊话模型公司别解数学问题

陶哲轩在SAIR最新演讲中公开喊话模型公司，称AI公司无休止加速却对后果一无所知，必须慢下来。他提出Proof Indigestion（证明消化不良）的说法，认为AI只在生成解答和Lean形式化验证两步加速，理解、同行评审、写入教科书三步几乎为零，会造成知识拥堵，并担忧数学家创造力丧失与AI生成证明污染下一代训练数据。