甲小姐对话董彬：AI for Math，无尽的前沿
董彬团队利用自主构建的自动化 AI 框架解决了安德森猜想，实现了国内首次由 AI 自主解决数学开放问题并完成大规模形式化验证。北京大学博雅特聘教授董彬及其团队在 AI for Math 领域取得突破，引发全球数学家关于代码与数学受 AI 冲击的激烈辩论。对话内容涵盖董彬从清华附高到北大数院的求学经历、其“黄金一代”同窗韦东奕、许晨阳等人的事迹，以及他对基础学科价值、AI 对就业影响和教育重构的看法。
摘要由 AI 生成
2026 年 9 月 4 日，北京大学博雅特聘教授董彬及其团队宣布利用自主构建的自动化 AI 框架成功解决了著名的安德森猜想。这是中国首次由人工智能系统独立解决数学领域的开放性问题，并完成了大规模的形式化验证工作。该成果引发了全球数学界关于代码与数学受 AI 冲击的激烈讨论。在相关对话中，董彬回顾了自身从清华附高到北大数院的求学经历，提及了韦东奕、许晨阳等“黄金一代”同窗的事迹，并深入探讨了基础学科价值、人工智能对就业市场的影响以及教育体系重构等议题。
相关事件RELATED EVENTS
关键实体KEY ENTITIES
北京国际数学研究中心北京大学甲小姐董彬
报道态势 · 每日报道量LANGUAGE SPLIT
实体关系
信号强度SIGNALS
关键词热度