丘成桐数学与人工智能实验室联盟成立
丘成桐数学与人工智能实验室联盟成立
10月11日，丘成桐数学与人工智能实验室联盟 成立仪式 在清华大学举行。联盟由清华大学讲席讲授丘成桐牵头，联合清华大学求真书院、清华大学丘成桐数学科学中心、北京雁栖湖应用数学研究院、中国科学院晨兴数学中心、上海数学与交叉学科研究院、东南大学丘成桐中心、河套数学与交叉学科研究院（深圳）、香港中文大学致真交叉数学科学院等8家一流数学研究机构共同组建，旨在以人工智能加速数学与交叉学科研究，以数学理论创新支撑人工智能发展，服务国家高水平科技自立自强战略。
当前，人工智能基础模型已成为全球科技竞争的核心领域。今年以来，人工智能在数学研究领域取得一系列突破性进展，引发国际数学界广泛关注与深入讨论。数学作为一切基础科学之基础，其与人工智能的深度融合已成为国际竞争的战略制高点。我国在算力、模型、工具等方面仍面临外部制约，亟须依托数学原始创新加快实现自主可控。
揭牌仪式现场。主办方供图
在此背景下，丘成桐牵头组织国内一批顶尖数学研究机构，组建丘成桐数学与人工智能实验室联盟。第十二届全国政协副主席陈元，中国科学院院士王光谦，中国科学院院士、中国数学会理事长席南华，清华大学党委常委、副校长李志华，国际数学联盟副主席、香港数学会理事长何旭华，与联盟主席丘成桐共同为联盟揭牌。
联盟汇聚近1000名高端数学人才和科研团队，在基础数学、应用数学和交叉学科领域形成显著集聚优势，具备以数学源头创新支撑人工智能发展的独特条件。组建联盟有利于整合全国优势科研资源，集中攻关人工智能与数学交叉领域前沿问题，为教育科技人才一体化发展提供有力支撑，为中国数学适应人工智能时代提供指引。
联盟明确了现阶段的六项重点任务。1、研发数学科学专用模型，在借鉴国际先进通用大模型的同时，自主开发我国数学领域专用模型。2、建设AI辅助数学研究的基础设施，服务数学家群体，保护数学家原创，推动数学重大前沿问题的解决。3.从基础数学方向切入，以理论创新，支撑AI可解释性与安全性。4.推动数学驱动的交叉领域科技突破，将联盟研究范式拓展至量子计算、生命科学、金融经济等学科交叉领域，形成“数学基础研究、AI技术开发、领域应用落地”的创新链路。5.深化国际合作与高端人才引育，面向海外顶尖高校举办高端人工智能训练营，联合设立人才培养项目。6.办好AI与数学专业学术期刊《Journal of AI-Assisted Mathematics》，打造具有国际影响力的旗舰学术品牌。
联盟设学术委员会，由丘成桐担任主席，各参与科研机构指定学术带头人担任委员，负责重大方向决策和学术评价。联盟采取开放共享机制，通过大型模型训练资源、形式化数学库、算力平台向参与机构开放共享，重塑人工智能时代数学科学的学术环境。
会上，联盟成员单位研究人员就AI辅助数学研究成果作专题介绍，涵盖退化阿诺德猜想、三维黑洞熵、7维同伦球面正截面曲率、Ben Green第90号公开问题、Sylvester猜想、极小修改有界性、稳定空间非球性问题、量子算法设计、丘氏仿射法向下降算法、图统计学、AI辅助形式化验证及Chen-Yang体积猜想、数学与人工智能融合平台等多元前沿方向。
来自数学与人工智能领域的机构、企业、联盟成员单位代表以及国内各大高校教师、学生共400余人参加成立仪式。