10月11日，丘成桐数学与人工智能实验室联盟成立仪式在清华大学求真书院举行，联盟由清华大学讲席教授、求真书院院长丘成桐发起，联合多家数学科研机构，汇聚国内数学与人工智能领域的科研力量。目前，这个联盟已联合清华大学求真书院、中国科学院晨兴数学中心、上海数学与交叉学科研究院等8家数学科研机构，汇聚超1000名科研人员。它的核心任务，是共同研发具有自主原创性的数学科学专用大模型，推动AI与数学深度融合。北京日报返朴
成立仪式上，丘成桐有一连串身份：清华大学讲席教授、求真书院院长、这个新联盟的主席，他在仪式上谈到了OpenAI公开722篇数学手稿一事。作为菲尔兹奖得主，他在致辞中把当下称为学者们最兴奋的时代，也是最危险的时代。他说这倒逼数学家重新思考数学的本质价值，要在AI浪潮中冲浪而不是躲起来，并说自己从1969年开始做学问，从未见过学术界受到如此大的冲击。青蜂侠返朴财经网
这场被多位数学家称为"冲击"甚至"海啸"的事件，直接导火索在5天前。10月6日，OpenAI在GitHub上一次性公开了722篇由内部AI模型生成的数学手稿，涉及372个成果组，涵盖数论、几何、代数、理论计算机科学等多个领域。中国青年报
半年之内，AI成果的速度和规模超出数学家预期
尽管部分AI生成结果仍待核验、甚至经历修正或撤回，但这些解答被公开的速度和规模，已经远远超出许多研究者的预期。丘成桐在致辞中说，有史以来没见过半年内可以有这么多如此重要、甚至可以讲伟大的学问被很快完成。OpenAI自己的更新记录显示，10月7日公司撤回了三份手稿，一处符号错误使其中一篇的关键论证失效，并影响了依赖这一论证的另外两篇工作；同一天，另有14份手稿接受修订。返朴知识分子
争议很快升级到学术规范层面。同样是10月7日，陶哲轩在个人博客转载了人类数学协会（AHM）的声明，批评OpenAI大规模发布数学手稿的方式，呼吁数学家停止与这家公司合作，强调科学应以人类理解为中心。但数学界并非铁板一块地拒绝AI——丘成桐自己就已在研究中使用AI，媒体注意到他的新论文在致谢中感谢了GPT和Claude。真正的问题从来不是AI能不能做数学，而是结果怎么发布、谁来负责验证。知识分子量子位
联盟要做的，是把资源拼起来"共同造一台机器"
联盟公布的主攻方向包括四个：数学科学专用大模型研发、AI辅助数学形式化证明与猜想发现、可解释人工智能，以及交叉领域智能计算。技术路线是双向的：一方面用AI探索数学猜想、辅助定理证明；另一方面以数学理论创新改进AI的底层算法、模型架构和推理能力。成员机构之间将共享算力、模型训练资源和形式化数学库，并陆续在北京、上海、南京、深圳、香港布局数学人工智能实验室。财经网返朴
成立仪式同时展示了首批产出：借助AI构造退化阿诺德猜想的反例，以及利用AI智能体、27.3万行代码完成卡拉比猜想的形式化验证。返朴
丘成桐解释组织逻辑时说，AI是不停学习、不断进步的非线性体系，而国内科研力量分散，用线性增长追指数增长最后难免跟着走。所以他希望通过联盟让1000个数学家共同努力，打造一台机器，做成自主原创的数学AI模型。他同时坦承，国产大模型性能尚未达到世界领先水平，经费和资源都远远不够。返朴知识分子
数学界的分歧不在"机器能不能证明"，而在结果能不能被核验
中国科学院院士席南华说得更直白：仅有数学定理并不构成数学，只有定理就像建筑只有砖块，形成不了建筑。在他看来，解决难题的意义在于过程能加深理解、产生新思想新方法——就像欧几里得证明素数无穷多个之后，欧拉又用无穷级数给出另一个证明，由此打开了解析数论的大门。知识分子
冲突的核心是发布规则和责任归属。企业批量产出数学成果的模式与数学界遵循的学术规范产生了冲突：企业不受学术规则约束，发布成果不需要经过同行严谨核验，甚至允许错误内容流出。席南华形容当前局面是"旧的秩序失去了，新的秩序没有产生"，他也表示不必因此陷入焦虑，新共识正在形成，数学界完全可以和AI产业界一起，逐步建立一套各方都能接受的规则体系。财经网
国际数学联盟副主席何旭华则指出，OpenAI公布的结果有很多按照科学标准来看不可复现，不仅缺乏可读性，也没有经过认真检查；宣称问题已解决之后，数学家还要投入可能比此前更多的精力去理解和判断对错。他希望联盟参与讨论人机协作成果的发表标准：结果要达到什么程度、按什么规范写出来，才能做到可读、可解释、可验证。知识分子
关于AI与人的分工，丘成桐给出的边界是：AI已能有效解决给定的问题，但找重要的问题、开创数学的前沿、判断方向怎么走，AI不懂。返朴
对学数学的人：作业、考试和博士培养都在被重新设计
中国科学院院士田野在成立仪式上说得很直接：数学的作业、考试模式都要调整。他的顾虑很具体：一篇博士论文的题目很可能在AI帮助下几分钟就能做出来，而非常困难的问题AI做不出来，人也可能做不出来。在他看来，以前强调的计算等能力AI已经完成得很好，对学生的要求反而更高：要真正理解知识、有创造力、能判断前沿方向。中国青年报知识分子
调整已经开始。清华大学丘成桐数学科学中心副教授徐文强介绍，在丘成桐推动下，求真书院鼓励学生在老师和博士后带领下更早接触前沿问题，同时反复提醒他们：不能只得到AI给出的答案，而要检验自己是否真正理解了知识本身。效率的变化也在发生——雁栖湖应用数学研究院常务副院长刘正伟提到，课题组一名学生通过与AI及几位老师互动，仅用一个月，就将一些算法的运行速度提升至原来的千倍量级，达到国际领先水平。丘成桐最担心的是年轻人：一些在应试教育中成长的学生，一旦考试比不过机器，就可能不想再做研究。知识分子
接下来看什么
目前的证据显示，联盟拿出的还是组织形态和首批成果：共享算力与形式化数学库刚刚宣布，五城实验室要"陆续布局"，722篇AI手稿中相当部分仍待核验，人机协作成果的发表规则远未定型。两个可观察的节点已经摆在明处。其一是丘成桐创办的新刊《Journal of AI-Assisted Mathematics》，由他担任主编，将于2027年年初发布，International Press of Boston已在官网列出该刊。其二是"1000个数学家共同造一台机器"能否真的汇成原创的数学大模型。如果这种集中资源的组织方式跑通，它参照的就不只是数学一个学科——面对AI的批量产出，基础学科第一次以联盟的方式组织起自己的回应。返朴
