陶哲轩在SAIR演讲中呼吁AI公司放慢数学研究节奏

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