陶哲轩与邓煜谈 AI 数学成果：批量证明不能替代理解与溯源
陶哲轩与邓煜在 SAIR Foundation 播客中讨论 AI 数学成果，主张证明应能被人类理解、验证并追溯思想来源。针对 OpenAI 批量发布数学预印本，陶哲轩将需要学界事后消化的产出比作“有毒废料”，同时认可其中部分成果的价值，倡议数学家事前参与并重新评价验证与阐释劳动。两人还介绍了 Open Math OS 项目，计划先整合现有开源模型和研究工具，再在开源模型基础上开发自己的模型。
#开源生态
钛媒体AI 评分6262
InterconnectsAI 评分5454 Nathan Lambert 批评开放权重模型的网络风险讨论忽视政策取舍
Nathan Lambert 认为，仅因网络风险禁止开放权重模型、却允许前沿闭源模型 API 继续发展，可能削弱美国 AI 竞争力并扩大网络攻防差距。他指出，闭源模型的防护并不完善，而部分敏感机构近期只能在隔离网络中部署开放权重模型，因此限制开放权重也会影响防御能力的扩散。
