2026年10月11日，丘成桐数学与人工智能实验室联盟在清华大学求真书院举行成立仪式。联盟由清华大学讲席教授、求真书院院长丘成桐发起，联合多家数学科研机构组建，目前已汇聚千余名科研人员。它要做两件事：组织数学家参与人工智能研究、提升机器的推理能力；同时把人工智能用回数学本身，辅助证明与猜想发现。
哪些机构参与，攻关方向是什么
参与组建的机构包括清华大学求真书院、丘成桐数学科学中心、北京雁栖湖应用数学研究院、中国科学院晨兴数学中心、上海数学与交叉学科研究院、东南大学丘成桐中心、河套数学与交叉学科研究院（深圳）和香港中文大学致真交叉数学科学院。联盟公布的攻关方向有四条：数学科学专用大模型研发、AI 辅助数学形式化证明与猜想发现、可解释人工智能，以及交叉领域智能计算。丘成桐在现场表示，各高校和机构如果只是分散开展研究，难以发挥国内数学人才的整体优势，他希望未来能有 1000 名数学家共同参与相关研究，推动学术资源共享和联合攻关。
首批成果里，AI 的位置是辅助者
成立当天，联盟发布了 10 余项 AI 与数学的重点成果和研究方向，涉及退化阿诺德猜想问题、极小修改的有界性、7 维同伦球面等具体科学问题，横跨几何、量子计算、生命科学等方向。值得注意的是分工表述。在清华大学丘成桐数学科学中心与上海数学与交叉学科研究院开展的 7 维同伦球面研究中，AI 用于辅助探索证明策略、简化计算；计算代数系统负责核验精确恒等式和区间界、生成可复现的计算证书；而构思与证明、核验结果、完成数学论证和论文，仍然由数学家本人负责。AI 在其他问题中还承担了提供思路启发、开展早期实验性计算等工作。也就是说，这批成果没有把模型包装成独立发现者，而是明确把它放在探索与计算的位置上。
丘成桐的判断：数学家不能缺席
丘成桐在致辞中给出的理由很直接：人工智能的研发不能只依靠工程技术。工程手段能改善机器的运行和功能，但要进一步提升机器的思考与推理能力，离不开有深厚学术积累的数学家参与。这与近期数学界围绕 AI 批量产出数学成果的争论形成对照：争论的一方担心审稿与核验跟不上产出速度，而这个联盟给出的回答是先把核验能力组织起来，让数学家进入研发环节本身。
接下来值得看什么
联盟刚成立，公布的是方向和首批成果，还没有给出专用大模型的时间表，也未披露算力与产业合作安排。后续判断它是否兑现承诺，可以看三件事：数学科学专用大模型能否产出经得起同行核验的成果；形式化证明与计算证书这类可复现的工作流能否沉淀成公共工具；以及千余名科研人员的跨机构协作能否持续产出，而不是停留在成立仪式的名单上。
