丘成桐牵头8家机构千名学者攻坚数学专用大模型

# 丘成桐牵头8家机构千名学者攻坚数学专用大模型 时间： 2026年10月11日（联盟成立仪式）；2026年10月12日（多家媒体报道） 地点： 北京清华大学求真书院求真讲堂 人物： - 丘成桐——菲尔兹奖首位华人得主、清华大学讲席教授、中国科学院外籍院士 - 清华大学求真书院（数学科学领军人才培养基地） - 北京雁栖湖应用数学研究院 - 中国科学院晨兴数学中心 - 上海数学与交叉学科研究院 - 东南大学丘成桐中心 - 河套数学与交叉学科研究院（深圳） - 香港中文大学致真交叉数学科学院 - 清华大学丘成桐数学科学中心 事件详情： 2026年10月11日上午，菲尔兹奖得主、清华大学讲席教授丘成桐院士牵头，联合清华大学求真书院、北京雁栖湖应用数学研究院、中国科学院晨兴数学中心、上海数学与交叉学科研究院、东南大学丘成桐中心、河套数学与交叉学科研究院（深圳）、香港中文大学致真交叉数学科学院等八家顶尖数学研究机构，在清华大学求真书院求真讲堂正式成立「丘成桐数学与人工智能实验室联盟」，汇聚近千名数学家与科研人员，目的是以人工智能加速数学与交叉学科研究。 联盟设学术委员会，由丘成桐担任主席，各参与机构学术带头人任委员。联盟采取开放共享机制，通过大型模型训练资源、形式化数学库、算力平台向参与机构开放共享，重塑人工智能时代数学科学的学术环境。 首个数学与人工智能实验室落地清华求真书院，与丘成桐数学科学中心联合组建。未来，北京雁栖湖应用数学研究院、中国科学院晨兴数学中心、上海数学与交叉学科研究院、东南大学丘成桐中心、河套数学与交叉学科研究院（深圳）、香港中文大学致真交叉数学科学院将陆续在北京、上海、南京、深圳、香港五地组建数学人工智能实验室。 联盟同时公布六项重点任务： 1. 研发数学科学专用模型，在借鉴国际先进通用大模型的同时，自主开发我国数学领域专用模型。 2. 建设 AI 辅助数学研究的基础设施，服务数学家群体，保护数学家原创，推动数学重大前沿问题的解决。 3. 从基础数学方向切入，以理论创新支撑 AI 可解释性与安全性。 4. 推动数学驱动的交叉领域科技突破，将联盟研究范式拓展至量子计算、生命科学、金融经济等学科交叉领域，形成"数学基础研究、AI 技术开发、领域应用落地"的创新链路。 5. 深化国际合作与高端人才引育，面向海外顶尖高校举办高端人工智能训练营，联合设立人才培养项目。 6. 办好 AI 与数学专业学术期刊《Journal of AI-Assisted Mathematics》，打造具有国际影响力的旗舰学术品牌。 丘成桐在仪式现场透露，联盟名字中"AI"既指"人工智能"，也含"AI Assisted Intelligence（AI 辅助智能）"之意，希望让数学家用上真正懂数学的 AI 助手。 背景： - 今年以来，人工智能在数学研究领域取得一系列突破性进展——OpenAI 一夜发布 722 篇 AI 数学手稿、GPT-6 Astra 攻克多项 Erdős 未解问题，引发国际数学界广泛关注与讨论。 - 数学作为一切基础科学之基础，其与人工智能的深度融合已成为国际竞争的战略制高点。我国在算力、模型、工具等方面仍面临外部制约，亟须依托数学原始创新加快实现自主可控。 - 八家机构同时也是过去十年中国数学界最重要的"丘成桐体系"基本盘：求真书院是数学领军人才主基地，北京雁栖湖应用数学研究院主攻工业应用，晨兴数学中心是中科院数学学科的核心，东南大学丘成桐中心、河套交叉数学研究院、香港中文大学致真交叉数学科学院分别在长三角、粤港澳承担差异化任务。 - 丘成桐的博士生、2025 年菲尔兹奖得主王虹的工作正是 AI 辅助数学证明的代表性方向，丘成桐本人近期多次公开支持"AI 是数学家工具，不是替代者"的立场。 影响： - 对国内 AI 赛道：数学专用大模型首次以"国家队+学术联盟"形式立项，填补国内在形式化推理、定理证明专用模型上的空白 - 对数学共同体：原始创新保护被写入章程（"服务数学家原创"），回应数学界对 AI 训练是否剽窃数学家原创成果的担忧 - 对国际竞争：中国在 AI 与基础科学融合赛道上首次以"自主可控"叙事构建体系，与 OpenAI、Anthropic、Google 等生成式模型路线形成差异化 - 对教育：联盟第 5 任务"海外训练营"瞄准引育高端人才，对应"8 年内中国本土培养学者拿下菲尔兹奖"的丘成桐个人目标 - 对学术出版：自办英文期刊《Journal of AI-Assisted Mathematics》意味着中国数学界将在 AI 辅助证明出版方向建立新阵地 总结： 丘成桐把"AI 数学"从美国大模型公司的零散刷题，变成中国数学共同体的基础设施工程。这是我国首次以学术联盟方式同时回答三个问题：能不能做（专用模型）、怎么做（AI 辅助数学家原创）、做什么（六项任务延伸到交叉学科）。联盟把"自主可控"作为对冲外部算力制约的支点，但能否在 OpenAI 已经放完 722 篇数学手稿的情况下快速跟进，仍要看清华求真书院首个实验室落地后的模型与节奏。 参考来源： - https://news.sciencenet.cn/htmlnews/2026/10/572782.shtm - https://www.21jingji.com/article/20261012/herald/ce70ad02bff2615765cb8d3b8878ba3c.html - https://news.sina.com.cn/o/2026-10-11/doc-iniuwkha0561145.shtml - https://finance.eastmoney.com/a/202610123892146517.html - https://www.cernet.edu.cn/rd/gao_xiao_cheng_guo/gao_xiao_zi_xun/202610/t20261012_2781360.shtml - https://www.zaobao.com.sg/news/china/story20261012-9821517 - https://www.thepaper.cn/newsDetail_forward_34234115