丘成桐数学与人工智能实验室联盟成立，推动 AI 与数学深度融合

10 月 11 日，丘成桐数学与人工智能实验室联盟在清华大学正式揭牌成立。该联盟旨在向数学科学专用大模型研发、AI 辅助数学形式化证明与猜想发现、可解释人工智能及交叉领域智能计算等前沿方向发起攻关，致力于推动人工智能与数学学科的深度融合。OpenAI 本月初曾一次性公开 722 篇数学研究手稿，内容涵盖数论、代数几何、理论计算机科学等多个前沿领域，解决了多项长期存在的数学难题，给全球数学界带来巨大冲击。面对这一变革，联盟牵头人、清华求真书院院长丘成桐表示，这倒逼人们重新思考数学的本质价值，要求学术界必须在 AI 浪潮中主动应对，而非回避挑战。联盟发布超 10 余项“AI+ 数学”重点成果和研究方向，聚焦几何、量子计算、生命科学等领域。在针对退化阿诺德猜想问题、极小修改的有界性以及 7 维同伦球面等科学问题的研究中，人工智能被用于辅助探索证明策略和简化复杂计算。在具体科研实践中，清华大学丘成桐数学科学中心、上海数学与交叉学科研究院等项目采用人机协作模式。AI 负责核验精确恒等式、区间界并生成可复现的计算证书，计算代数系统提供数据支持，而数学家则专注于构思证明策略、完成论证逻辑并撰写论文。目前，联盟已集结超过 1000 位数学家和科研工作者的力量，联合清华大学求真书院、北京雁栖湖应用数学研究院、中国科学院晨兴数学中心、东南大学丘成桐中心、河套数学与交叉学科研究院（深圳）、香港中文大学致真交叉数学科学院等机构。未来，联盟将为年轻学者和学生提供前沿学术指导，并通过积极推动资源整合，探索属于中国自己的数学大模型建设路径，以期为全球基础科学突破贡献中国智慧。据悉，除了上述核心任务外，该联盟还致力于在其他科学问题的解决中为科学家提供思路启发，并辅助开展早期实验性计算工作。