- 发布日期
丘成桐数学与人工智能实验室联盟在清华大学成立，推动 AI 与数学深度融合
- 作者
- 姓名
- 荷鲁斯快报
- 社交账号
10月11日，丘成桐数学与人工智能实验室联盟在清华大学成立。该联盟将向数学科学专用大模型研发、AI辅助数学形式化证明与猜想发现、可解释人工智能及交叉领域智能计算等领域发起攻关，推动人工智能与数学深度融合。据北京日报报道，这一联盟的成立，正值AI对数学研究产生显著影响之际。
据IT之家此前报道，OpenAI本月初一次性公开722篇数学研究手稿，内容涵盖数论、代数几何、理论计算机科学、流体力学与统计物理等前沿领域，并解决了多项长期存在的数学难题，给数学界带来了巨大冲击。这一进展使数学界进一步关注AI在证明、猜想和计算中的潜力。联盟的成立因此被置于AI与数学关系加速变化的背景下。
联盟牵头人、清华大学求真书院院长丘成桐在成立仪式上谈及对AI时代数学学科发展的看法。他表示：“这倒逼我们重新思考数学的本质价值，也要求我们必须在AI浪潮中冲浪，而不是躲起来。”这一表态显示，联盟希望在AI浪潮中主动布局，而非回避技术变革。
据介绍，联盟发布了10余项“AI+数学”重点成果和研究方向，围绕几何、量子计算、生命科学等方向，涉及退化阿诺德猜想问题、极小修改的有界性、7维同伦球面等科学问题。这些方向既包含基础数学问题，也涉及交叉领域。联盟试图通过AI工具与数学研究结合，形成新的攻关模式。
在清华大学丘成桐数学科学中心、上海数学与交叉学科研究院开展的“7维同伦球面：所有光滑结构均可以承载处处为正的截面曲”研究中，AI用于辅助探索证明策略、简化计算。计算代数系统用于核验精确恒等式、区间界、生成可复现的计算证书。数学家则负责构思与证明，核验结果、完成数学论证和论文。此外，AI还在其他科学问题的解决中为科学家提供思路启发，辅助开展早期实验性计算等。
丘成桐表示，联盟已集结超1000位数学家和科研工作者的力量。联盟联合清华大学求真书院、丘成桐数学科学中心，以及北京雁栖湖应用数学研究院、中国科学院晨兴数学中心、上海数学与交叉学科研究院、东南大学丘成桐中心、河套数学与交叉学科研究院（深圳）、香港中文大学致真交叉数学科学院等机构。这一协作网络覆盖多地科研力量，旨在形成合力。
联盟将为年轻学者和学生提供前沿指导，并积极推动资源整合。其目标之一是探索属于中国自己的数学大模型建设路径。在AI辅助证明与猜想发现日益受到关注的当下，这一联盟的进展或将为AI与数学深度融合提供新的组织化平台。
