AI引发数学家集体“抗议”，人类数学家护城河在哪里？
AI引发数学家集体“抗议”，人类数学家护城河在哪里？AI再次引起数学界地震。
日前，16位知名数学家在荷兰莱顿大学发布了名为《莱顿宣言》的文件，明确反对AI滥用。文件目前已收到全球超600名数学家支持及国际数学联盟等机构背书。不少数学家担忧：如果AI解题成了唯一标杆，人类长久以来珍视的理解力、洞察力和判断力可能会慢慢被挤走。
近日，OpenAI宣布用AI模型解决了一个关于点与点之间距离的数学问题，推翻了80年经典数学猜想。而今年2月以来，AI工具AxiomProver已让8篇数学硬核领域论文现身预印本平台arXiv，其中5篇已被权威数学期刊接收。
当AI不断在前沿领域“攻城拔寨”，这些数学家反对的究竟是什么？高校数学教育又将去往何方？对此，记者采访了多位人工智能和数学领域的专家。
AI时代数学正从“证明稀缺”转向“证明过剩”
在刚刚结束的高考中，2026年高考I卷数学卷被6款主流大模型轻松拿下，满分150分，全员超135分，最高148分，选择题与多选题全员满分。在数学研究方面，AI更是展现出了惊人能力，而且“随着可学习数据集的不断丰富以及算力的提升，AI还会在推演能力和速度方面展现对一般人的降维打击。”复旦大学计算与智能创新学院教授张军平说。
有人刻薄地评论，数学家们对AI的反对，令人想起了工业革命刚刚开始时，工人集体砸机器的场景。但是细究宣言内容可以发现，这些数学家们反对的是对AI工具的滥用，导致低质量论文泛滥，并提出所有证明的正误和责任由人类作者全权承担；而且反对科技公司利用数学成果训练AI后反向垄断，从而导致研究门槛提高。知名数学家陶哲轩就公开表示，在AI的助力下，数学正在从“证明稀缺”时代进入“证明过剩”时代。
上海财经大学计算机与人工智能学院副教授崔万云谈到，大模型善于攻克看似“高深”的确定性认知任务，如数学、编程、逻辑推理。“凡是能给出明确反馈的任务，模型就能通过海量的试错与强化不断逼近正确。代码能不能跑通，证明是否逻辑自洽，这些清晰的对错信号，就是模型攀升的阶梯。这也是数学家们担心证明泛滥、论文泛滥的重要原因之一。”
人类数学家成为最后的“守门员”
正如计算机的出现改变了数学研究“一张纸、一支笔”的计算模式，AI的突飞猛进显然重塑数学研究的格局，并让数学研究的分工悄然改变。
长期以来，数学问题求解的过程可分为三个部分：证明生成、证明验证以及证明消化。过去最有价值的是生成部分，而如今，AI工具的出现让生成部分出现了井喷。当生成成本被AI无限压缩，证明消化的价值愈发重要。
“从这点来看，AI非但没有攻破人类数学家的护城河，而人类数学家是最后的‘守门员’，起着辨伪的把关作用。”上海财经大学数学学院教授王艳华认为，未来数学研究者不仅要用好AI工具做研究，更需要将AI辅助生成的证明读懂、讲透，并实际应用到物理世界。事实上，在《莱顿宣言》中也提到了证明必须是数学的基石，不能为了快就牺牲严谨性；结论必须能独立复现验证，不能黑箱操作。
更值得关注的是，AI在跨领域知识的调用与重组上表现出很强的能力。AI在几何研究中可以用到代数数论知识。但反观数学界，很少同时有人精通代数和离散几何。王艳华直言：“AI已经可以成为数学研究者拓宽思路的重要工具，未来将有更多跨学科成果出现。”
警惕AI滥用削弱思考和推理能力
在学者们看来，当机器接过基础研究中的“体力劳动”，人终于可以全力以赴进行“脑力劳动”——去创造。问题在于，AI的滥用正不断削弱人类的思考和推理能力。
牛津大学计算机科学系主任莱斯利·安·戈德堡就曾警告：AI生成的错误论文就像建在烂地基上的房子，后续的研究盖在上面迟早会塌。“说到底，顶尖数学家们反对的不是AI本身，而是对于工具的滥用。”华东师范大学数学科学学院副院长程涛认为，无论机器如何发展，创新能力、提好问题的能力依旧是机器无法取代人类的关键，“人类数学家的直觉无可替代”。王艳华也提到，AI眼下还无法替代数学家完成复杂的原创理论的构建，更不会有数学思想与数学审美。
不过，眼下在高校，培育这份创新能力面临诸多挑战。多位教师在接受记者采访时都无奈地谈到，越来越多学生习惯用AI完成课堂作业，甚至用AI提供的思路参加数学建模比赛，完成毕业论文。
“以具体计算为例，虽然用AI可以又快又准，可在数学课上我们依旧强调让学生手写计算过程。这种练习确实不能快速得到答案，却是提升逻辑能力和推理能力的必经之路。”王艳华说。多所高校在制定AI使用规范的同时，还在强化教学改革。程涛表示：“说到底，确定性是可以被穷举和学习的，而创造力不能。”
正如崔万云所说的，当AI越来越强大，人就越被推向那个只有人才能回答的问题：接下来，我们要往哪里走？
数学正是最适合用AI来解决难题的领域，居然还有老不死跳出来阻挠AI应用。 不见不散 发表于 2026-6-16 17:26
数学正是最适合用AI来解决难题的领域，居然还有老不死跳出来阻挠AI应用。
醒醒
形式主义和逻辑主义都死翘翘了，AI没那本事
这是嫌AI拉出来的垃圾太多，人看不过来了 AI证明哥德巴赫猜想了么？ 看太多ai产屎反而会降低人的判断力和逻辑能力
跟看短视频差不多
—— 来自 OnePlus PGP110, Android 15, 鹅球 v4.0.100-alpha 这篇文章一看就是AI写的
不见不散 发表于 2026-6-16 17:26
数学正是最适合用AI来解决难题的领域，居然还有老不死跳出来阻挠AI应用。
一年前我也是你这个想法，结果这一年来，客户不断的提供各种AI生成的“技术方案”把我干崩溃了，表面上看这些方案很完整，但细究之下，太多问题，而我要指出这些AI生成物中的问题，有需要空耗自己的逻辑思维能力提出疑问，现在我也和文章末尾那句话一样：不是反对AI本身，而是反对工具的滥用。
这一年里，我没有见到老客户因为使用了AI工具带来的创造性的成果的上涨，反而是把以前被我三句话干死的方案，通过AI胡编乱造又秽土转生了。 humphrey 发表于 2026-6-16 17:33
醒醒
形式主义和逻辑主义都死翘翘了，AI没那本事
这是嫌AI拉出来的垃圾太多，人看不过来了 ...
你只是证明了AI不一定能解决问题，而不是证明了AI解决出来的问题是错误的。 蠕动 发表于 2026-6-16 17:44
一年前我也是你这个想法，结果这一年来，客户不断的提供各种AI生成的“技术方案”把我干崩溃了，表面上看 ...
你的客户？你的客户都是数学家吗？ 本帖最后由 Evelynn 于 2026-6-16 18:02 编辑
以后的可研就是AI提供方法，AI编写，AI审稿，读者用AI总结。所有的工作都由AI进行，AI生产的论文爆炸，也没有资源去给这些论文一一校对，所有人都不知道AI写的究竟是对还错的。 我还以为是指责ai时代民间数学家增加导致审稿压力巨大的事儿 AxiomProver
这名儿有点五彩斑斓的黑的美 确实ai产出了大量的屎
—— 来自 vivo V2309A, Android 16, 鹅球 v3.5.99 不见不散 发表于 2026-6-16 17:26
数学正是最适合用AI来解决难题的领域，居然还有老不死跳出来阻挠AI应用。
喷了，没有数学发展，这些ai模型根本没法进步。建筑物反过来嘲讽钢筋水泥墨守成规了 会有新一代的善于使用AI的数学家的。 不见不散 发表于 2026-6-16 17:26
数学正是最适合用AI来解决难题的领域，居然还有老不死跳出来阻挠AI应用。
最新的AI数学笑话：https://www.zhihu.com/question/2045506276537393433 Re:Source 把数学家当非洲标记工用.... 也不用太担心，oai搞数学实际上对后续发展算是有点不利的，o系列吸引不到多少人用，还不是老老实实gpt5.5 coding agent去了
日后也不会往这方向继续投入太多了 目前ai的优秀实践基本都是生成固定流程，让ai真的天马行空的自由操作完全是猜。
至今没有看到ai真的产出真的超越人的能力，只是让极少部分人才能理解和复刻的东西东西变成大部分人都可以尝试的程度罢了。看起来直接一步到位得到的结果，但如何确认结果的有效性和可用性又成了问题。最终能够验证成果和目的是否对应的，仍然不是大多数人。
—— 来自 Xiaomi 25042PN24C, Android 16, 鹅球 v4.0.100-alpha 数学是门科学 会计算只是数学的基础，数学思维和创新才是数学家做的事儿 计算再快在复杂也就是个有能力的计算器罢了 更值得关注的是，AI在跨领域知识的调用与重组上表现出很强的能力。AI在几何研究中可以用到代数数论知识。但反观数学界，很少同时有人精通代数和离散几何。王艳华直言：“AI已经可以成为数学研究者拓宽思路的重要工具，未来将有更多跨学科成果出现。”
我比较期待这个，不知道以后会不会有科研成果爆发性增长的阶段 楼里某人完美展示了ai信徒的嘴脸
虽然我对某领域的专业知识狗屁不懂，但是你们这些反对ai的专家肯定还不如ai，谁反对ai谁就是守旧的老不死 ai写高考试卷有啥意义，拿来挑战尖端领域就行了
—— 来自 vivo V2218A, Android 16, 鹅球 v4.0.100-alpha AI作为辅助工具很好用，但前提是你得能分辨它搞出来的东西是不是对的，不然大概率是造屎 主要是没人知道AI生成的证明是不是幻觉 所以需要真正的数学家确认一下是否正确
啥时候东西方数学AI独立发展可以互相挑刺找问题的话说不定还有意思 那ai能解人类能解的数学踢吗，大学及以上的，如果可以的话也不错 就我在2年前的体验来说基本不行，不知道最近会不会好 认识一些在搞 ai4math 的朋友，得到一些说法是，目前 AI 能对数学研究提供的最大的帮助主要集中于为一些数学陈述构造反例的能力非常强（实现上应该是 gpt 5.5 外挂了一些特化的文献检索系统），经常能从其他方向的文献里搬过来一些有用的构造，进而可以帮助确定人类数学家正在关心的问题的陈述中哪些条件是必要的，这点上 AI 占了知识面的便宜确实能给出来很多本来干想几个月也不一定想得出来当然也不值得花几个月去想的东西
至于过两年会怎么样就只有天知道了
铃森冬 发表于 2026-6-16 21:41
认识一些在搞 ai4math 的朋友，得到一些说法是，目前 AI 能对数学研究提供的最大的帮助主要集中于为一些数 ...
所以ai在交叉学科有发展前景？毕竟人来搞需要太多时间和精力，而且很难直观的排除费时但无用的问题。
—— 来自 Xiaomi 25042PN24C, Android 16, 鹅球 v4.0.100-alpha ai写程序能铺开来主要还是有个编译器大爹能把关，跑不通就是跑不通
在其他行业的哪有这么好的守门员 希望之花 发表于 2026-6-16 23:35
ai写程序能铺开来主要还是有个编译器大爹能把关，跑不通就是跑不通
在其他行业的哪有这么好的守门员 ...
有的，ai色图，几把硬了的图就是好图
—— 来自 S1Fun 希望之花 发表于 2026-6-16 23:35
ai写程序能铺开来主要还是有个编译器大爹能把关，跑不通就是跑不通
在其他行业的哪有这么好的守门员 ...
实际上，编译不通过的那根本不叫事，所有发布的bug都是编译能通过发了 认识的还在科研岗位的数学系同学都高度拥抱ai中
而且ai还导致了一个很反直觉的事就是导致年轻人，没背景的人更难出头
在ai大量灌水论文的大背景下，现在你不是名校出身不是跟着大师在做，根本没有真人来审你的稿
论坛助手,iPhone hannibal007 发表于 2026-6-16 20:15
数学是门科学 会计算只是数学的基础，数学思维和创新才是数学家做的事儿 计算再快在复杂也就是个有能力的计 ...
数学不是科学！！！！
ai就是个菜刀，你指望菜刀帮你做一份红焖羊肉吗
—— 来自 鹅球 v3.5.99 novalli 发表于 2026-6-16 23:15
所以ai在交叉学科有发展前景？毕竟人来搞需要太多时间和精力，而且很难直观的排除费时但无用的问题。
— ...
现代数学研究里一个领域的问题借用了另一个领域的技术才取得突破是很常见的现象（比如费马大定理的证明），然后钻研某个问题的人往往缺乏其他领域的知识背景。过去的解决办法很可能是拿着卡住的问题四处去找同行问碰碰运气，某种意义上现在的顶尖模型已经很代替很大一部分这个功能了
可以很确切的说，现在的大语言模型有很强的把一些想法在不同领域之间迁移的能力，当然从其他领域借来的想法到底对解决问题有没有价值，还得是真的在这个问题上钻研了很久的人类才有最好的判断 AI先证明黎曼猜想再说吧 你用lean做这个显然是不行的。
我只敢用ai加lean做很小很具体的问题，大论文里的一部分这样。 默默沉睡 发表于 2026-6-16 17:39
AI证明哥德巴赫猜想了么？
黎曼猜想好像也还没被AI证明 iriyano 发表于 2026-6-17 00:19
认识的还在科研岗位的数学系同学都高度拥抱ai中
而且ai还导致了一个很反直觉的事就是导致年轻人，没背景的 ...
这个问题在各个领域都普遍存在，ai消灭了行业中低入门水平的岗位，新人入行机会骤降
页:
[1]
2