数学

2026年6月2日，由16位多国数学家起草的《莱顿宣言：AI与数学》发布，其中提出23条建议，面向个体数学家、数学组织、资助方与政策制定者，核心关切包括证明与理解、作者归属、可独立验证的论证、共享评估标准及学科自主权；

西北大学数学系教授布赖娜·

早在2026年夏，菲尔兹奖得主、加州大学洛杉矶分校数学系教授陶哲轩就在国际数学家大会公开讲座上，将这种AI高速生成证明、人类来不及验证理解的状态定义为“证明消化不良”。

据《新科学家》报道，伦敦大学学院数学系教授弗朗西斯·

”与之形成鲜明对比的是，麻省理工学院数学系教授、美国艺术与科学院院士帕维尔·

该联盟由清华大学求真书院、清华大学丘成桐数学科学中心、北京雁栖湖应用数学研究院、中国科学院晨兴数学中心等8家机构组建，拥有1000名科学家，设立学术委员会统筹方向，建立数据算力共享机制，制定成果评价与伦理规范。

国际数学联盟副主席、香港数学会会长何旭华则从合作机制的角度补充：AI在数学研究中的进展带来不少冲击和混乱，“新的研究方式与研究范式正在形成”，但他对AI参与数学研究持积极态度，认为研究能力的提升能够帮助数学家充分释放想象力、展开更多探索，从而敢于提出更艰深的问题；

据《纽约时报》报道，早在手稿发布之初，牛津大学数学教授、克雷数学研究所所长马丁·

作为克雷数学研究所七大千禧年难题之一，该问题悬赏100万美元，但OpenAI明确表示不会申领奖金。

这种转变本身，折射出数学界对AI态度在过去一年间的急剧变化，更反映出重建AI与数学研究生态的紧迫性。

这份宣言试图为AI时代的数学研究划定底线，但其约束力仍依赖于共同体的自觉认同。

2026年，人工智能（AI）正在切实改变数学研究的运行方式。

机器能否涉足数学研究不再是争议话题，如何核验、理解并传承机器生成的海量证明，成为摆在全球数学界面前最现实的难题。

陶哲轩在2026年10月的演讲《Math 2.0》中提出，数学正从“证明稀缺”走向“证明富足”，但他同时提醒，开放问题“更像是灯塔，而非目的地”，解题过程本身所获得的东西

2026年6月2日，由16位多国数学家起草的《莱顿宣言：AI与数学》发布

他相信，数学永存，数学家则是数学不可分割的一部分，希望联盟在促进我国数学与AI健康发展方面发挥重要作用。