打开网易新闻 查看精彩图片

2026年6月，来自全球多个国家的16位数学家联合发布了一份措辞严肃的文件——《莱顿人工智能与数学宣言》。

宣言发布时已获得逾130个签署人支持，核心信息并非反对AI进入数学领域，而是明确划定了一条底线：数学不能在AI的浪潮中失去自己的灵魂。

AI正在改变数学，但也带来了真实的风险

过去两年，AI在数学领域的表现堪称惊艳。谷歌DeepMind旗下的AlphaProof和AlphaGeometry系统已能解决国际数学奥林匹克竞赛级别的问题，OpenAI的模型据报道推翻了一项长期存在的数学猜想。AI似乎正在成为数学研究的强力助手，乃至独立参与者。

但数学家们担心的，不是AI太强，而是AI的使用方式正在侵蚀数学研究的根基。

宣言指出，AI生成的数学证明难以融入既有的论证流程，无论是形式证明还是非正式推演，都面临验证困难的问题。

更棘手的是传播问题。一旦AI的数学成果通过新闻稿或博客文章提前扩散，后续即便发现重大错误，纠错的代价也极为高昂，错误信息可能已经在学术圈乃至公众认知中生根。

多伦多大学数学家丹尼尔·利特说得直接："许多AI数学初创公司急于发布未经核实或未正确解读的研究成果。这些成果大多正确，但也没什么意思。当然，公司有经济动机去夸大其研究成果的趣味性。"

这里面有一个结构性矛盾：商业公司的利益驱动，与数学研究要求严谨、缓慢、透明的文化之间，存在根本性的张力。

另一个被宣言点名的问题是数据归属。AI模型在训练时大量抓取arXiv等学术数据库中的论文，但生成答案时却极少正确引用所依据的人类研究成果。知识的来源被抹去，但知识被用于牟利，这对学术共同体而言并不公平。

宣言要求的，是透明度和人类判断力

这份11页的文件提出了一系列具体建议，核心方向是：公开AI在研究中的使用情况、强化同行评审流程、投资公共计算基础设施，以减少学术界对大型科技公司的依赖。

宣言的联合起草人、荷兰莱顿大学人工智能人类学家罗德里戈·奥奇加梅表示，其中最易推行的一项是工具使用信息披露，也就是论文作者必须说明自己在哪些环节使用了AI，以及如何使用。这一要求在当前的学术规范中仍处于灰色地带。

宣言的更深层关切，是人类在数学创造中的不可替代性。国际数学联盟副主席乌尔里克·蒂尔曼在支持声明中写道："数学是，而且应该始终是，一项深刻的人类事业。"

这并非保守主义的反弹，而是一种认识论上的坚守。数学的价值不仅在于得出正确答案，更在于理解为什么正确、这个答案意味着什么、它与其他数学结构之间有什么联系。

这些判断，目前仍然需要人类数学家来完成。

利特的表态颇具代表性。他说，他认为AI是"非常重要且强大的技术，有潜力帮助我们解决许多有趣的数学问题"，但同时补充道："我认为这些工具本身并不能做到这一点。"

工具与主体之间的界限，正是宣言试图守护的边界。

国际数学联盟秘书长克里斯托夫·索格尔在联盟的支持声明中写道，这份宣言"促使人们思考和讨论我们想要保护什么、我们愿意改变什么以及我们在哪些方面需要更清晰的认识"。

这场对话并不会止步于一份文件。下个月，顶尖数学家将聚集费城，参加由国际数学联盟主办的国际数学家大会，莱顿宣言所引发的讨论，预计将在那里继续发酵。

数学是现代科学的地基，几乎所有严肃的自然科学和工程领域，最终都要依赖数学的严谨性作为支撑。

如果这个地基的验证标准被悄悄降低，代价将远不止数学界一家。