10月11日，丘成桐数学与人工智能实验室联盟在清华大学成立。新京报报道，联盟由丘成桐牵头，联合八家数学研究机构组建，旨在利用人工智能辅助数学及交叉学科研究，同时以数学理论推动AI发展。[1]
联盟的工作计划包括研发数学科学专用模型、建设研究基础设施、开展AI可解释性与安全性研究，以及推进交叉学科应用、国际人才合作和学术期刊建设。首个实验室落地清华大学求真书院，与丘成桐数学科学中心联合组建；其他参与机构计划陆续建立相关实验室。[1]
北京日报现场报道显示，成员单位介绍了多项AI辅助数学研究成果和方向。部分研究中，AI承担探索证明思路、辅助计算等任务，数学家负责论证和结果核验。[2]
联盟成立确立了合作框架，专用模型研发和后续实验室布局仍属于推进中的计划。对这一方向的持续观察，应落在模型是否帮助研究者解决具体问题，以及成果能否得到严谨检验。
联盟还将通过学术委员会组织重大研究方向的决策和学术评价，由丘成桐担任主席、参与机构指定学术带头人担任委员。报道介绍，合作机制涉及模型训练资源、形式化数学库与算力平台共享，意在让参与机构共同使用研究工具和基础设施。[1]
这一组织方式把模型开发、数学研究和成果评价放入同一合作框架。对数学专用模型而言，能够生成推导只是研究流程的一环，证明中的前提、计算和逻辑仍需逐步核验。在北京日报介绍的研究案例中，计算代数系统用于检查恒等式、区间界并生成可复现的计算证书，AI则帮助研究者探索策略和简化计算。[2]
由此可见，联盟关注的不仅是模型能力，还包括研究材料如何复现、学术贡献如何评价，以及数学家如何有效使用这些工具。
来源：
[1] 新京报，2026-10-11：https://www.bjnews.com.cn/detail/1791728032129598.html
[2] 北京日报，2026-10-11：https://xinwen.bjd.com.cn/content/s6acaf83be4b0e42f8f0169b7.html