八家一流数学研究机构联合组建 千人团队推进数学与AI深度融合

　　10月11日上午，丘成桐数学与人工智能实验室联盟成立仪式在清华大学求真书院求真讲堂举行。联盟由菲尔兹奖得主、清华大学讲席讲授丘成桐院士牵头，联合清华大学求真书院、清华大学丘成桐数学科学中心、北京雁栖湖应用数学研究院、中国科学院晨兴数学中心、上海数学与交叉学科研究院、东南大学丘成桐中心、河套数学与交叉学科研究院（深圳）、香港中文大学致真交叉数学科学院等八家一流数学研究机构共同组建，旨在以人工智能加速数学与交叉学科研究，以数学理论创新支撑人工智能发展，服务国家高水平科技自立自强战略。

　　第十二届全国政协副主席陈元，中国科学院院士王光谦，中国科学院院士、中国数学会理事长席南华，清华大学党委常委、副校长李志华，国际数学联盟副主席、香港数学会理事长何旭华，与实验室联盟主席丘成桐共同为联盟揭牌。北京市海淀区委书记王少峰，北京市怀柔区委常委、副区长兰雄景，中国科学院成都分院分党组书记、院长武艰，北京信息科技大学党委常委、副校长王兴芬，北京建筑大学党委常委、副校长伊廷华，中关村人工智能研究院院长邵斌，浦江实验室副主任问斌，北京市海淀区海淀镇党委书记程刚等出席，来自数学与人工智能领域的机构、企业、联盟成员单位代表以及国内各大高校教师、学生共400余人共同见证联盟揭牌。

　　丘成桐分享了对AI与数学发展的洞见，他认为这是一个令学者们最兴奋的时代，也是最危险的时代。如果能够合理使用人工智能，产生的学问、成果和影响将是划时代的；但处理不当，可能带来灾难性的后果，尤其将对中国科学技术造成负面影响。他坦言，这半年来的冲击前所未有，人工智能在短时间内完成了大量重要甚至伟大的学问，很多做法超出想象。

　　他指出，从古至今，基础科学的发展往往靠少数人推动，而人工智能是一个集大成的工具，把人类有史以来直到今天的思考通过强大算力聚合起来。虽然真理是无穷的，但AI正在不断提高理解真理的能力。他回顾，从事研究50年来见证了诸多伟大的数学进展，如今人工智能的威力，比以往的那些突破更令人震撼。

　　但他强调，中国正面临极大困难：国内人工智能大模型的性能未能达到世界领先水平。而国外人工智能大公司聚集了最有能力的学者，正在不断向前。他表示，人工智能领域的发展是指数级增长，而不是线性增长。因此，我们需要大量有学问的学者、有创造力的学生共同努力。成立实验室联盟就是要聚集优秀人才，联盟各机构的1000个数学家将共同努力，自主研发人工智能数学科学专用模型，实现非线性增长。

　　清华大学副校长李志华指出，清华大学高度重视数学与人工智能交叉方向，依托丘成桐数学科学中心和求真书院建立了本博贯通培养体系。此次汇集8家机构、千名科研人员共同组建联盟，是把我国数学科研优势转化为人工智能发展主动权的重要探索。清华将全力支持联盟建设，推动数学、人工智能与产业需求紧密结合，培养输送优秀青年人才，促进基础研究、技术开发、产业应用相互贯通。

　　王少峰表示，实验室联盟选择落地海淀，是海淀的幸事，更是中国数学界、科技界的大事。他介绍，海淀作为北京国际科技创新中心核心区，集聚AI企业2000余家、AI领域人才超9万人。教育方面，始终坚持从基础教育阶段挖掘和培养拔尖创新人才，落地北京少年人工智能学院等；着力提升科技成果转化效率，持续深耕高校服务。海淀将成为联盟发展的服务者、合作者，健全产学研协同创新机制，推动基础理论与高技术产业化取得突破。

　　席南华表示，我们正处于一个变革的时代。人工智能建立在数学基础之上，虽然目前还只是在数学花园里种出一些新的花草，距离构建数学大厦还有很大差距。他相信，数学永存，数学家则是数学不可分割的一部分。他希望联盟将在促进我国数学与人工智能健康发展方面发挥重要作用。

　　何旭华表示，人工智能在数学研究中的进展，带来不少冲击和混乱。新的研究方式与研究范式正在形成。他对人工智能参与数学研究持积极态度，认为研究能力的提升能够帮助数学家充分释放想象力、展开更多探索，从而敢于提出更艰深的问题。实验室联盟把不同领域、不同机构的研究者凝聚在一起，为数学家共同探索创造了良好契机。

　　田野指出，数学发展来自重要问题的解决，也来自新概念、新方法和理论联系的发现。数学家与人工智能可以彼此补充，共同向难题发起挑战。他尤其期待联盟在学生培养方面发挥积极作用，希望求真书院学生把扎实的数学基础训练与前沿探索相结合，尽早接触真正的研究问题，保持好奇心、大胆使用新工具，同时坚持独立思考、严格论证，保持对数学本质的追问。

　　成立仪式后，联盟成员单位研究人员就AI辅助数学研究成果作专题介绍，涵盖退化阿诺德猜想、三维黑洞熵、7维同伦球面正截面曲率、Ben Green第90号公开问题、Sylvester猜想、极小修改有界性、稳定空间非球性问题、量子算法设计、丘氏仿射法向下降算法、图统计学、AI辅助形式化验证及Chen-Yang体积猜想、数学与人工智能融合平台等多元前沿方向。

　　联盟成立背景：数学与AI深度融合成为战略制高点

　　当前，人工智能基础模型已成为全球科技竞争的核心领域。今年以来，人工智能在数学研究领域取得一系列突破性进展，引发国际数学界广泛关注与深入讨论。数学作为一切基础科学之基础，其与人工智能的深度融合已成为国际竞争的战略制高点。我国在算力、模型、工具等方面仍面临外部制约，亟须依托数学原始创新加快实现自主可控。

　　在此背景下，丘成桐院士牵头组织国内一批顶尖数学研究机构，组建丘成桐数学与人工智能实验室联盟。联盟汇聚近1000名高端数学人才和科研团队，在基础数学、应用数学和交叉学科领域形成显著集聚优势，具备以数学源头创新支撑人工智能发展的独特条件。组建联盟有利于整合全国优势科研资源，集中攻关人工智能与数学交叉领域前沿问题，为教育科技人才一体化发展提供有力支撑，为中国数学适应人工智能时代提供指引。

　　联盟设学术委员会，由丘成桐院士担任主席，各参与科研机构指定学术带头人担任委员，负责重大方向决策和学术评价。联盟采取开放共享机制，通过大型模型训练资源、形式化数学库、算力平台向参与机构开放共享，重塑人工智能时代数学科学的学术环境。

　　联盟首个数学与人工智能实验室落地求真书院，与丘成桐数学科学中心联合组建。未来，北京雁栖湖应用数学研究院、中国科学院晨兴数学中心、上海数学与交叉学科研究院、东南大学丘成桐中心、河套数学与交叉学科研究院（深圳）、香港中文大学致真交叉数学科学院将陆续在北京、上海、南京、深圳、香港5地组建数学人工智能实验室，在原有科研力量基础上加速推动人工智能与数学、交叉领域的多元融合。

　　联盟明确了现阶段的六项重点任务。1、研发数学科学专用模型，在借鉴国际先进通用大模型的同时，自主开发我国数学领域专用模型。2、建设AI辅助数学研究的基础设施，服务数学家群体，保护数学家原创，推动数学重大前沿问题的解决。3.从基础数学方向切入，以理论创新，支撑AI可解释性与安全性。4.推动数学驱动的交叉领域科技突破，将联盟研究范式拓展至量子计算、生命科学、金融经济等学科交叉领域，形成“数学基础研究、AI技术开发、领域应用落地”的创新链路。5.深化国际合作与高端人才引育，面向海外顶尖高校举办高端人工智能训练营，联合设立人才培养项目。6.办好AI与数学专业学术期刊《Journal of AI-Assisted Mathematics》，打造具有国际影响力的旗舰学术品牌。

　　联盟建立在参与单位已有实质性成果基础之上。在纯粹数学领域，清华大学求真书院学生团队借助AI证伪了退化情形的阿诺德猜想；清华大学丘成桐数学科学中心与上海数学与交叉学科研究院合作，证明了全部28种光滑同伦7维球面均可承载严格正截面曲率，解决了悬置半个多世纪的几何难题；中国科学院晨兴数学中心田野院士与Ashay Burungale合作，完成Sylvester猜想最后情形的证明；清华大学丘成桐数学科学中心马杰、徐文强等解决了Ben Green第90号公开问题。

　　在AI辅助形式化验证方面，清华大学丘成桐数学科学中心、求真书院与智能产业研究院合作的CFSG项目，正推进有限单群分类的完全形式化，主定理依赖闭包代码超过280万行；Calabi-Yau项目使用大语言模型智能体集群，在Lean 4中完成卡拉比猜想的形式化验证，共计27.3万行代码。

　　在应用与交叉领域，北京雁栖湖应用数学研究院团队在丘成桐院士带领下提出丘氏仿射法向下降算法（YAND），并指导学生研发YAND Quant Studio智能金融量化分析平台。该院应用统计学团队将现代数学理论与统计分析深度融合，面向人工智能时代的非欧氏数据难题，创新性地提出“图统计学”新理论体系，在炎症性肠病机理及癌症转移通路研究中斩获重要突破。

　　联盟参与单位已形成覆盖中学至研究生的贯通培养体系。清华大学求真书院建立数学与人工智能本科实验班、数学与人工智能硕士项目及博士研究方向，每年面向中学生举办“丘成桐青少年数学与人工智能夏令营”。北京雁栖湖应用数学研究院与北京科技大学联合设立“丘成桐数学与人工智能班”；与北京信息科技大学、北京建筑大学等高校联合制定人工智能专业培养方案已实施两年。香港中文大学致真交叉数学科学院提供八年制本博贯通课程，与香港中文大学（深圳）合作开设“丘成桐班”，建立“人工智能+数学科学”双主修培养体系。此外，由丘成桐院士推动，清华大学丘成桐数学科学中心、北京雁栖湖应用数学研究院与网易有道联合建设的数学拔尖创新人才培养与测评平台Mathstalents已于2025年8月份投入运行，以人工智能技术赋能中学数学教育。联盟产业协同生态初步形成，与众多高科技企业联动，围绕形式化数学推理、大模型深度推理等方向展开交流与合作。