董彬称AI4MATH用Lean代码否定安德森猜想

事件综述根据 1 篇报道整理，10月16日更新

北京大学教授董彬在2026未来科学·创想季活动上称，其牵头的AI4MATH团队今年4月研发的Rethlas-Archon在全自动条件下用近两万行Lean 4代码否定了悬置十余年的安德森猜想，并获Nature专题报道。 董彬同时提到，OpenAI一次性公开722篇数学手稿后已有3篇因错误被撤回，认为AI对数学的冲击已是“房间里的大象”。他主张数学家应拥抱AI，企业侧重模型训练，高校提供高质量数据与评测问题。 上述成果与撤回情况均出自董彬本人在活动上的表述。

综述由模型根据报道生成，细节以各篇原文为准。