数学

在他笔下，数学是频繁出现的主题和意象：“人言数无味，我道味无穷”“谁云花甲是老人，孜孜学数犹童心”。

数学是高度可迁移的。

其作者认为，数学是一项极具人文色彩的事业，它建立在创造力、理解力、协作精神及纯粹追求知识的基础之上。

我们追问：如果数学是AI的“

该系统凭借强大的人工智能推理与形式化验证能力，在数学研究领域取得了里程碑式的突破，成功解开了两道已悬而未决长达56年的Erdős（埃尔德什）数学难题。

在这套机制下，数学家会先将自己做出的研究成果撰写成数学论文，投稿到某个数学期刊，该期刊的编辑会根据论文的内容，将其交给相关领域的数学家匿名审阅，并根据审稿意见，决定是否刊发该篇论文，或者要求作者根据评审意见，对论文做相应的修改和说明。

这也就导致了数学论文的审稿过程通常长达数月，甚至数年。

Gowers在博客开头坦言，他对大型语言模型数学能力的评估，已经被迫一次次向上修正。

他的建议是，或许应该建立一个专门收录AI产出数学结果的平台，并由人类数学家负责核实其正确性——但具体怎么做，他也没有答案。

16名数学家起草《莱顿宣言》，警告AI冲击数学研究信任2026年06月04日14:27IT之家IT之家6月4日消息，由来自全球15所大学的16名数学家联合撰写《莱顿宣言》（LeidenDeclaration），警示AI正挑战数学的可靠性、署名、公平性与研究自主。

来自学界和产业界的专家围绕“统计和数学在时空智能领域的应用和实践”展开主题对话，交流数学研究与产业实践的协同经验，探讨产学研合作创新路径。

Gowers的判断是：数学研究的门槛，已经悄悄抬高了一截。

我的判断是，到那时，从事数学研究意味着什么，将已经发生了难以辨认的变化。

未来的数学研究，或许不再是「人类能否独立证明AI证不了的东西」，而是「人类能否借助AI，共同解决任何一方单独都无法解决的问题」。

正如Gowers所说，未来的数学研究必然是人与AI的有效协作。

解决这样一个问题，能给新生研究者带来巨大的信心，证明自己有能力做真正的数学研究。

这个帖子迅速引发热议，大家讨论的焦点是AI是否会彻底改变数学研究范式、博士培养模式，以及人类数学家未来的角色。

那么，做数学研究还有意义吗？

Gowers指出，这件事引发了一系列关于数学研究未来的深刻问题，尤其是对博士生的影响最为紧迫。

AcceleratingMathematicianswithAgenticAI」的论文，介绍了他们专门为数学研究设计的一套智能体工作台。

数学研究的核心价值包括证明带来的高确定性、作者责任、第三方可验证性、共同体评价标准，以及自主塑造研究问题的能力。

内容涵盖数学物理、化学化工、生命科学、地球科学、工程与材料科学、信息科学、管理科学、健康医学、交叉科学等领域，设置Article、Review、Highlight、Perspective、Commentary、Letter和News&Views等栏目。

该综述通过具体实例展示了上述数学模型在理解生物现象中的强大能力。

我们追问：如果数学是AI的“

客座编辑介绍：杨瑞智，理学博士，教授，博士生导师，黑龙江省数学学会理事、黑龙江省工业与应用数学会理事、SCI期刊Axioms编委。

徐宗本（数学家、信号与信息处理专家，西安交通大学数学与统计学院教授）

徐宗本院士，数学家、信号与信息处理专家，中国科学院院士，西安交通大学数学与统计学院教授，博士生导师，原西安交通大学副校长。

本特刊旨在突出纯粹数学与应用数学在深化对动力学系统的理解及推动其实际应用方面的协同效应，为相关领域的学者提供一个高水平、跨学科的学术交流平台。

这也是第一项由AI形式化验证的菲尔兹奖级别的数学成果。

他在帖子里说，自己最近也加入了用AI解决数学开放问题的行列。

它想解答的核心问题是：如果AI做数学已经是既成事实，那我们该怎么把它做成一套系统？

《宣言》同时提出使用AI时应遵循的原则，即要以支持而非削弱数学学科的方式来进行。

这份由数学学科全球权威组织国际数学联盟背书的《宣言》，现正面向全球各界人士和组织征集签名，并将于下个月在美国费城举行的国际数学家大会上进行讨论。

深入探索数学为AI提供的严谨底层逻辑，以及AI为数学发现开启的新范式，实现算法力量与逻辑深度的双向交融。

对于那些正在考虑攻读数学博士的人，Gowers给出了一个诚实但并不令人完全安心的回答。

整个过程只花了几个小时，而且Gowers提供的提示几乎没有任何数学内容。

据悉，数学促进企业创新发展论坛由中国工业与应用数学学会于2020年发起创办，至今已成功举办六届，成为连接数学界与产业界的重要桥梁。

第六届数学促进企业创新发展论坛召开2026年05月27日06:56中国科学报本报讯（记者李思辉实习生王悟诚）日前，中国工业与应用数学学会第六届数学促进企业创新发展论坛在湖北武汉召开。

人工智能亦将以计算暴力与模式发现反哺数学—

八十年后，当人工智能以指数级的速度重构人类认知的底层逻辑，当数学—

我们追问：当AI成为数学的“

同年，他在全国文教先进工作者大会上发言指出，应在数学教育中增加反映现代科学成就的新材料，将数学、力学、计算数学等专业与工程和生产实际相结合，删减合并数学、物理基础课的内容等。

据悉，数学促进企业创新发展论坛由中国工业与应用数学学会于2020年发起创办，至今已成功举办六届，成为连接数学界与产业界的重要桥梁。

第六届数学促进企业创新发展论坛召开2026年05月27日06:56中国科学报本报讯（记者李思辉实习生王悟诚）日前，中国工业与应用数学学会第六届数学促进企业创新发展论坛在湖北武汉召开。

该大会的举办是由数学家丘成桐提出，目的是加快构建世界顶级科学家交流平台，促进基础科学领域的开放合作，探讨基础科学领域最新研究进展。

他举了一个思想实验：如果一位数学家与AI长时间合作，AI完成了所有技术工作并贡献了核心想法，这位数学家只是起到了引导和提问的作用——我们会把这看作这位数学家的重大成就吗？