北京大学数学团队是国际上最早布局AI for Math方向的研究团队之一，搭建了覆盖FATE、Matlas/LeanSearch、Rethlas/Archon/Danus/Iteris的完整技术链条，此前成功攻克安德森猜想，近期独立完成庞加莱猜想的形式化验证工作。