北大董彬：AI让数学进入更好的时代
AI 总结
北京大学博雅特聘教授、北京国际数学研究中心董彬在2026未来科学·创想季“数学与计算机科学×数字未来”对话中表示，OpenAI一次性公开722篇数学手稿后，全球数学家纷纷查看本领域哪些问题已被解决，一些领域被同行形容为“重灾区”；他同时提醒，这批稿件中已有3篇因错误被撤回，且结果主要是在现有工具上向前推进。他所在的AI4MATH团队今年4月研发的Rethlas-Archon系统，在全自动、无人类参与条件下通过构造反例否定了悬置十余年的安德森猜想，并用近两万行Lean 4代码完成形式化验证，获Nature专题报道。董彬认为，AI在知识覆盖面上已明显超过个人，推理能力仍有提升空间，但在提出假设、判断问题价值所需的“数学品味”上尚未展现优势，未来企业可侧重模型训练，高校则提供高质量数据、挑战性评测问题与理论研究。
深度见解
提供了一线数学家对AI冲击数学研究的判断：哪些能力已被超越、哪些仍属人类，以及高校与企业可能形成的分工。