陶哲轩为何转向AI减速派？SAIR演讲炮轰模型公司加速数学研究

陶哲轩在SAIR最新演讲中公开呼吁AI公司放慢数学研究速度，称其无休止加速却对后果一无所知，并提出"Proof Indigestion（证明消化不良）"概念。此前他曾积极拥抱AI，2026年3月还称AI在数学领域"ready for primetime"。OpenAI回应25位菲尔兹奖得主联名公开信，宣布成立普林斯顿高等研究院的"数学与人工智能顾问小组"，但声明该小组不负责就数学内部进展提供建议。