陶哲轩与邓煜谈 AI 数学成果：批量证明不能替代理解与溯源

陶哲轩与邓煜在 SAIR Foundation 播客中讨论 AI 数学成果，主张证明应能被人类理解、验证并追溯思想来源。针对 OpenAI 批量发布数学预印本，陶哲轩将需要学界事后消化的产出比作“有毒废料”，同时认可其中部分成果的价值，倡议数学家事前参与并重新评价验证与阐释劳动。两人还介绍了 Open Math OS 项目，计划先整合现有开源模型和研究工具，再在开源模型基础上开发自己的模型。