丘成桐数学与AI实验室联盟清华揭牌，主攻数学大模型与可解释AI

10月11日，丘成桐数学与人工智能实验室联盟在清华大学正式揭牌。该联盟由清华求真书院院长丘成桐牵头，瞄准数学科学专用大模型研发、AI辅助数学形式化证明与猜想发现、可解释人工智能及交叉领域智能计算等方向展开攻关，试图为AI与数学的深度融合建立新的研究支点。

联盟成立之际发布了10余项“AI+数学”重点成果与研究方向，覆盖几何、量子计算、生命科学等领域，具体涉及退化阿诺德猜想问题、极小修改的有界性、7维同伦球面等科学问题。其中一项由清华大学丘成桐数学科学中心与上海数学与交叉学科研究院合作开展的研究，聚焦“7维同伦球面：所有光滑结构均可以承载处处为正的截面曲”。在该项工作中，AI承担了辅助探索证明策略、简化计算的任务，计算代数系统用于核验精确恒等式、区间界并生成可复现的计算证书，数学家则负责构思与证明、核验结果并完成数学论证和论文。AI还在其他科学问题的解决中提供思路启发，辅助开展早期实验性计算。

丘成桐在成立仪式上谈及AI时代数学学科的发展。他表示，这倒逼人们重新思考数学的本质价值，也要求必须在AI浪潮中冲浪，而不是躲起来。这一表态的背景是，本月初OpenAI一次性公开了722篇数学研究手稿，内容涵盖数论、代数几何、理论计算机科学、流体力学与统计物理等前沿领域，并解决了多项长期存在的数学难题，给数学界带来巨大冲击。

从联盟的研究布局看，其思路并非让AI替代数学家的核心论证工作，而是将AI嵌入证明策略探索、计算简化与结果核验等环节，形成人机分工的协作模式。这种定位能否在数学基础研究领域产出可复现、可验证的成果，将直接影响AI辅助数学研究的可信度与推广路径。