北大团队AI智能体Pharos约20小时找到证明思路，经数学家核验

11月5日，北京大学博雅特聘教授董彬接受澎湃新闻专访时表示，数学不应被窄化为证明定理，AI有望打破学科壁垒，推动数学与人工智能共同进化。

董彬团队与数学合作者今年9月公开了宫冈-森重文判据的特征零代数证明。团队开发的智能体Pharos在只输入问题的自主运行中找到证明思路，从项目创建到目标被系统接受用时约20小时，随后由数学合作者理解、重写、发展论证并核验正确性。在273条已验证事实中，4条进入最终主定理的依赖链，其余探索路径也间接促成了最终结果。

董彬认为，AI能够在已有数学框架内提出新的思路，数学家负责方向把控和宏观研判，将繁复推演交由AI承担。他同时提醒，学生直接依赖AI完成课业会丧失高阶思维能力的自主训练。