10月11日，丘成桐数学与人工智能实验室联盟成立仪式在清华大学举行。联盟由菲尔兹奖得主、清华大学讲席讲授丘成桐院士牵头，联合八家一流数学研究机构共同组建，旨在以人工智能加速数学与交叉学科研究，以数学理论创新支撑人工智能发展，服务国家高水平科技自立自强战略。
千名数学家将研发人工智能数学科学专用模型
当前，人工智能基础模型已成为全球科技竞争的核心领域。今年以来，人工智能在数学研究领域取得一系列突破性进展，引发国际数学界广泛关注与深入讨论。
在此背景下，丘成桐牵头组织国内一批顶尖数学研究机构，组建丘成桐数学与人工智能实验室联盟。
联盟将集中攻关人工智能与数学交叉领域前沿问题，为教育科技人才一体化发展提供有力支撑，为中国数学适应人工智能时代提供指引。
丘成桐分享了对AI与数学发展的洞见，他认为这是一个令学者们最兴奋的时代，也是最危险的时代。如果能够合理使用人工智能，产生的学问、成果和影响将是划时代的；但处理不当，可能带来灾难性的后果。他坦言，这半年来的冲击前所未有，人工智能在短时间内完成了大量重要甚至伟大的学问，很多做法超出想象。
他指出，从古至今，基础科学的发展往往靠少数人推动，而人工智能是一个集大成的工具，把人类有史以来直到今天的思考通过强大算力聚合起来。虽然真理是无穷的，但AI正在不断提高理解真理的能力。他回顾，从事研究50年来见证了诸多伟大的数学进展，如今人工智能的威力比以往的那些突破更令人震撼。
他认为，国内人工智能大模型的性能尚未达到世界领先水平，而国外人工智能大公司聚集了最有能力的学者，正在不断向前。“人工智能领域的发展是指数级增长，而不是线性增长。因此，我们需要大量有学问的学者、有创造力的学生共同努力。”他说，成立实验室联盟就是要聚集优秀人才，联盟各机构的1000个数学家将共同努力，自主研发人工智能数学科学专用模型，实现非线性增长。
将保护数学家原创，推动数学重大前沿问题解决
据悉，联盟设学术委员会，由丘成桐院士担任主席，各参与科研机构指定学术带头人担任委员，负责重大方向决策和学术评价。联盟采取开放共享机制，通过大型模型训练资源、形式化数学库、算力平台向参与机构开放共享，重塑人工智能时代数学科学的学术环境。
联盟首个数学与人工智能实验室落地求真书院，与丘成桐数学科学中心联合组建。未来，北京雁栖湖应用数学研究院、中国科学院晨兴数学中心、上海数学与交叉学科研究院、东南大学丘成桐中心、河套数学与交叉学科研究院（深圳）、香港中文大学致真交叉数学科学院将陆续在北京、上海、南京、深圳、香港5地组建数学人工智能实验室，在原有科研力量基础上加速推动人工智能与数学、交叉领域的多元融合。
联盟明确了现阶段的六项重点任务，包括研发数学科学专用模型，在借鉴国际先进通用大模型的同时，自主开发我国数学领域专用模型；建设AI辅助数学研究的基础设施，服务数学家群体，保护数学家原创，推动数学重大前沿问题的解决；从基础数学方向切入，以理论创新支撑AI可解释性与安全性；推动数学驱动的交叉领域科技突破，将联盟研究范式拓展至量子计算、生命科学、金融经济等学科交叉领域，形成“数学基础研究、AI技术开发、领域应用落地”的创新链路；深化国际合作与高端人才引育，面向海外顶尖高校举办高端人工智能训练营，联合设立人才培养项目；办好AI与数学专业学术期刊《Journal of AI-Assisted Mathematics》，打造具有国际影响力的旗舰学术品牌。
参与单位已形成AI辅助数学研究成果
联盟成立仪式后，成员单位研究人员就AI辅助数学研究成果作专题介绍，涵盖退化阿诺德猜想、三维黑洞熵、7维同伦球面正截面曲率、Ben Green第90号公开问题、Sylvester猜想、极小修改有界性、稳定空间非球性问题、量子算法设计、丘氏仿射法向下降算法、图统计学、AI辅助形式化验证及Chen-Yang体积猜想、数学与人工智能融合平台等多元前沿方向。
举例来说，在纯粹数学领域，清华大学求真书院学生团队借助AI证伪了退化情形的阿诺德猜想；清华大学丘成桐数学科学中心与上海数学与交叉学科研究院合作，证明了全部28种光滑同伦7维球面均可承载严格正截面曲率，解决了悬置半个多世纪的几何难题。
联盟参与单位已形成覆盖中学至研究生的贯通培养体系。清华大学求真书院建立数学与人工智能本科实验班、数学与人工智能硕士项目及博士研究方向，每年面向中学生举办“丘成桐青少年数学与人工智能夏令营”。北京雁栖湖应用数学研究院与北京科技大学联合设立“丘成桐数学与人工智能班”；与北京信息科技大学、北京建筑大学等高校联合制定人工智能专业培养方案，已实施两年。香港中文大学致真交叉数学科学院提供八年制本博贯通课程，与香港中文大学（深圳）合作开设“丘成桐班”，建立“人工智能+数学科学”双主修培养体系。
新京报记者 张璐
编辑 张磊 校对 贾宁
