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

IT之家 10 月 12 日消息，据北京日报报道，10 月 11 日，丘成桐数学与人工智能实验室联盟在清华大学正式成立。这个联盟打算集中攻关数学科学专用大模型、AI 辅助数学形式化证明与猜想发现、可解释人工智能以及交叉领域智能计算这些方向，说白了就是想把 AI 和数学使劲往一块儿揉。

说起来，最近 AI 在数学圈动静不小。本月初 OpenAI 一口气公开了 722 篇数学研究手稿，覆盖数论、代数几何、理论计算机科学、流体力学和统计物理等前沿领域，还顺手解决了好几个长期悬而未决的难题，确实把数学界震了一下。

联盟牵头人、清华求真书院院长丘成桐在成立仪式上聊到 AI 时代的数学发展，他说：“这倒逼我们重新思考数学的本质价值，也要求我们必须在 AI 浪潮中冲浪，而不是躲起来。”这话挺实在的，意思是躲是躲不掉的，得主动接招。

联盟还发布了 10 多项“AI+ 数学”重点成果和研究方向，围绕几何、量子计算、生命科学这些方向走，具体涉及退化阿诺德猜想、极小修改的有界性、7 维同伦球面等科学问题。

拿其中一项研究举个例子：在清华丘成桐数学科学中心和上海数学与交叉学科研究院开展的“7 维同伦球面：所有光滑结构均可以承载处处为正的截面曲”研究里，AI 主要帮着探索证明策略、简化计算，计算代数系统负责核验精确恒等式、区间界，还生成可复现的计算证书，数学家则负责构思、验证、完成论证和写论文。除了这个，AI 还在其他问题里给科学家提供思路启发，帮着做早期实验性计算。

丘成桐还说，联盟已经集结了超 1000 位数学家和科研工作者，联合了清华求真书院、丘成桐数学科学中心、北京雁栖湖应用数学研究院、中科院晨兴数学中心、上海数学与交叉学科研究院、东南大学丘成桐中心、河套数学与交叉学科研究院（深圳）、香港中文大学致真交叉数学科学院等机构。联盟会给年轻学者和学生提供前沿指导，也会推动资源整合，去摸索一条属于中国自己的数学大模型建设路径。

资料来源：原文链接