数学

数学是一门需要长期打磨的技艺，整个探索过程离不开艰苦钻研、深度思考，最终产出成果带来的成就感也是科研旅程里不可缺失的部分。

数学是语言加上逻辑，是人类唯一能把大自然的无数种表象缝合在一起，推演一万步还不穿帮的工具。

数学是语言，而语言最主要的目的，是创造新的词汇、新的表达、新的语法，组出新的句子，让我们能够更准确、更优雅地描述一件事情。

数学是一个非常有活力的生态系统，其中有本科生、博士生、导师、研究人员，也有在工业界工作的人;

数学是抽象的，我们真正接近它，很大程度上要依靠想象力，发展出思考和驾驭抽象概念的能力。

数学是一个非常开放的体系，一些重要问题被解决后，会解锁很多新问题，带来更多新的可能性。

多年前，在南京大学小百合网络论坛还热闹的岁月里，孙智伟的个人签名档上写着这样一句话：“数学是富有想象的科学，也是最有理智的艺术。

“数学是富有想象的科学，也是最有理智的艺术。

”10月11日，中国科学院外籍院士、清华大学讲席教授丘成桐在“丘成桐数学与人工智能实验室联盟”（以下简称联盟）成立仪式上直言，欧美已有大批顶尖科学家参与到AI大模型的发展中。

联盟创始成员包括清华大学求真书院、丘成桐数学科学中心，北京雁栖湖应用数学研究院，中国科学院晨兴数学中心，上海数学与交叉学科研究院，东南大学丘成桐中心，河套数学与交叉学科研究院（深圳），香港中文大学致真交叉数学科学院等聚焦数学与交叉学科的高校与科研机构。

清华丘成桐数学科学中心副教授徐文强：年轻学子最需要守住三样东西：一是永远保持对未知的好奇心，这是所有创新的源头；

”10月11日，中国科学院外籍院士、清华大学讲席教授丘成桐在“丘成桐数学与人工智能实验室联盟”（以下简称联盟）成立仪式上直言，欧美已有大批顶尖科学家参与到AI大模型发展中。

清华大学丘成桐数学科学中心副教授徐文强：年轻学子最需要守住三样东西。

丘成桐数学家要联合并参与AI的发展

因为AI的赋能之下，需要更高层次的数学思维和数学思考。

他还提出，在人工智能的赋能之下，更高层次的数学思维和数学思考更加急需，并判断未来对顶尖数学家、一流数学家的需求会增加，“而且会大大增加”。

焦虑很正常，AI对数学的影响已经是“房间里的大象”。

从“数学大国”到“数学强国”

一次斩获菲尔兹双奖，中国是否已是数学强国？

这类猜想恰恰击中了现有数学工具的盲区。

在帮这位教授证明了一个困扰其多年的猜想后，孙智伟猛然惊醒：时代变了，数学工具正在发生质的飞跃。

在帮这位教授攻克了一个困扰其多年的猜想后，孙智伟猛然惊醒：时代变了，数学工具正在发生质的飞跃。

作为一个数学工作者和一个数学机构（负责人），我对这样一个时代的到来非常期待。

在演讲一开始，陶哲轩提出了一个“AI能力猜想”（AICapabilityConjecture）：未来，AI可能在可接受的成本和一定程度的人类监督下，完成部分研究级数学工作。

我不是在欣赏现代数学的辉煌，我看到了现代数学的局限性。

梅纳德说，不同于很多AI涉足数学的尝试（包括上个月那篇晦涩难懂的纳维-斯托克斯方程成果），这篇新论文“行文非常出色。

我相信，如果从底层机理、数学基础上能发展出新的理论支撑的话，未来AI或许将会更多是“脑力”，而非电力。

这都关乎AI的数学基础。

一个学生经过五年学习，掌握各种数学知识、阅读艰深的论文，最终在数学前沿作出自己的贡献——这是攻读博士学位的重要回报之一，也是判断他能否独立开展研究的标准。

即便是微小改进——包括梅纳德2024年的成果，该成果收紧了x轴上3/4位置所能容纳零点数量的上限——都会被视作重大突破，因为这类研究常常开辟全新的数学分支。

McMullen：我首先注意到的是，前沿AI实验室似乎没有充分考虑自身行为对数学共同体造成的直接影响。

一个新的结果，怎样才能从个人的发现，变成整个数学共同体能够理解、继承并继续发展的知识?

从数学家、整个学术界以及科学界的标准来看，这种做法没有达到科学研究的规范，也与数学共同体通常相互尊重的惯例相悖。

在数学共同体里有一个惯例：如果一小群人正在为一个问题投入大量精力，并且不断取得进展，其他人通常不会突然加入，试图抢在他们之前解决它。

现在数学共同体担心的是，这种标准正在受到冲击：同一个问题，也许AI几周就能够解决。

同样令人担忧的是，数学共同体本身有一条人才进入的路径：一个人在高中开始喜欢数学，上大学以后选择数学专业，发现自己很擅长，再继续攻读数学博士。

这是一条不断为数学共同体输送新人的路径。

此后，数学共同体还会花上多年甚至更长时间，通过报告、讨论、简化和教学，把一个高度专业的证明逐渐变成其他数学家能够理解和使用的知识。

25位数学家真正质疑的是另一件事：当AI公司开始把攻克著名数学难题当成衡量模型能力的Benchmark，数学共同体真正关心的“理解”，是否正在被“解出多少题”这个更容易被量化的目标取代。

声明开篇就指出，AI公司的目标与数学共同体的目标正在出现“严重失衡”。

换句话说，北大没有发现她，没有特别培养她，甚至差点摧毁她对数学的信心。

联盟汇聚近1000名高端数学人才和科研团队，在基础数学、应用数学和交叉学科领域形成显著集聚优势，具备以数学源头创新支撑人工智能发展的独特条件。

董彬是国内较早研究AI与数学交叉的学者之一。

从“四常”到“五常”，从物理世界的权力格局到数学世界的智力版图，一道长达六十年的壁垒，正在被两位30出头的中国数学家推倒。

在这90年里，数学世界的权力版图几经变迁，但“同届双响”的俱乐部始终只有四个名字。

在此背景下，丘成桐牵头组织国内一批顶尖数学研究机构，组建丘成桐数学与人工智能实验室联盟。

10月11日，丘成桐数学与人工智能实验室联盟成立仪式在清华大学举行。

澎湃新闻从清华大学获悉，2026年10月11日，丘成桐数学与人工智能实验室联盟在清华大学成立。

丘成桐数学与人工智能实验室联盟成立现场。

丘成桐数学与人工智能实验室联盟成立

丘成桐数学与人工智能实验室联盟在清华大学成立

我国的学者们需要联合起来，积极研发数学科学专用大模型，探索数学与AI深度融合的发展道路。

未来数学与AI如何融合？

但最终，我们会找到一个合理的规则系统、大家都能接受的文化，共同促进数学与AI的发展。

学者联合助推数学与AI融合

我国学者需要联合起来，积极研发数学科学专用大模型，探索数学与AI深度融合的发展道路。

问：当优秀学者联合起来助推数学与AI融合，中国是否会迎来在数学领域弯道超车的历史机遇？

此前的几周内，以OpenAI和Anthropic为代表的AI公司，也几乎每隔几天就有AI数学“突破”发布在社交媒体上，几乎涉及了所有人们耳熟能详的数学难题，从而引发了媒体的围观与报道，也在学术界内部引起了争议。

以OpenAI和Anthropic为代表的AI公司，几乎每隔几天就有AI数学“突破”发布在社交媒体上，引发了媒体的围观与报道。