甲子光年对话北大教授董彬：AI for Math 的野心与安德森猜想突破

甲子光年张一甲与北京大学博雅特聘教授董彬长谈 AI for Math。2026年4月，董彬团队用自主构建的自动化 AI 框架解决了安德森猜想，被称为国内首次实现 AI 自主解决数学开放问题，并完成大规模形式化验证；团队将肖梁、陈华一等数学家的工作流程抽象成 skill 文件，配合自研检索工具 Matlas，AI 自主检索到 Jensen 2006 年的关键文献并构造反例。