北大教授董彬：数学家应拥抱AI，更重视提出新问题

在2026未来科学·创想季“数学与计算机科学×数字未来”跨界对话上，北京大学北京国际数学研究中心博雅特聘教授、北京中关村学院常务副院长董彬分享了他对AI与数学关系的观察。他提到，OpenAI公开722篇数学手稿后，许多研究者会去查看自己领域是否已有重大问题被解决，评估“受灾程度”；其中已有3篇稿件因错误被撤回。

董彬是国内较早研究AI与数学交叉的学者之一。他于2016年将研究方向转向深度学习，2023年转向大语言模型，并与北京大学数学科学学院同事组建AI4MATH团队。2026年4月，该团队牵头研发的AI系统Rethlas-Archon在全自动、无人类参与条件下，通过构造反例否定了交换代数领域悬置十余年的安德森猜想，并用近两万行Lean 4代码完成形式化验证，相关成果曾获Nature专题报道关注。

在董彬看来，AI自主验证推理能力的增强是关键转折点；他相信数学与AI会共进化。数学家应主动拥抱AI，并在借助AI拓展视野的同时，更重视提出新问题、新概念和构建新理论体系。