AI 正在“摧毁”数学吗?

9月11日,陶哲轩、邓煜等25位菲尔兹奖得主联合署名发布公开宣言《人工智能在数学中的严重错位》,直指当前AI在数学领域的应用正在偏离学科发展核心,引发学界对技术介入学术研究边界的广泛讨论。这一声明的导火索,是3天前OpenAI公布的一项看似“突破性”的成果。

AI 正在“摧毁”数学吗?

OpenAI 88小时攻克千禧年难题遭同行质疑

9月8日,OpenAI宣布其尚未公开的新模型仅用约88小时,调动1万个智能体便提出了纳维-斯托克斯存在性与光滑性问题的解决方案。该问题是克雷数学研究所列出的七个“千禧年大奖难题”之一,长期悬而未决,消息发出后迅速引发各界关注。
但仅隔数小时,纽约大学数学教授特里斯坦·巴克马斯特便公开提出质疑,认为OpenAI在获悉他及其他研究者相关研究的进展后,利用大规模算力抢先完成了证明。这一争议直接成为数学界爆发集体声明的导火索。

25位菲尔兹奖得主联名痛批AI目标与数学核心错位

联合宣言明确指出,数学研究的根本目的不是给出简单的对错答案,而是形成概念认知与全新洞见。当下AI企业将攻克数学难题作为模型能力评测基准,其目标和数学研究的核心目标出现严重错位,这类目标失衡问题同样蔓延至其他科研、创意行业乃至全社会。
宣言指出,当前AI快速产出数学结论的趋势正在破坏传统学术机制:不少AI得到的数学解法仓促对外公布,缺少完整推导撰写、新方法提炼,也缺少对前人研究成果的引用,由此引发署名归属、抄袭等学术伦理争议。
这一担忧并非首次被提出。2026年6月2日,凝聚了数学界广泛共识的《人工智能与数学莱顿宣言》正式发布,获国际数学联盟支持,目前已有数千人联署。宣言强调,对于数学这一专业领域而言,最宝贵的资源是学生与思想。如果AI快速生产出缺乏缜密论证的思想,且不能经过数学家之间的充分验证和讨论、融入数学知识体系并进一步发展,那么这些思想永远都不会真正“活起来”,数学家之间至关重要的人类知识传承链条也会因此被切断。

学界热议:是技术冲击还是利益博弈

宣言发布后引发广泛讨论,不同群体观点差异显著。有网友调侃这是“马车师傅抵制汽车”,认为AI能解决长期未解的数学难题是技术进步红利,只要结果正确就有价值;也有学者指出,当前AI做数学的模式类似“只给答案不给推导”的拉马努金式输出,虽有一定参考价值,但完全缺乏对数学逻辑本身的启发,无法推动学科底层创新。
更多观点指向利益层面的冲突:有从业者直言“无非是利益相关”,AI公司抢占数学研究成果,挤压了传统数学家的生存空间,甚至可能导致下一代人才失去培养路径——未来研究者只需掌握调参、写提示词的技巧,却不懂数学研究的核心逻辑,最终造成人才断层。
也有澄清声音指出,数学家并非反对AI用于数学研究,而是反对当前AI公司唯结果论、忽视学术伦理的发展模式,担忧这种功利化的路径会毁掉数学研究“追求理解而非答案”的核心价值。

多方呼吁:在技术浪潮中守牢学术核心价值

联合宣言明确表示,AI带来的种种问题亟需来自学科共同体内部、开发这些技术的公司以及更广泛的社会的共同应对。声明提出的核心诉求包括:

  • 为数学研究的写作与思想提炼留足时间窗口,禁止仓促公布未经过验证的数学结论;
  • 要求AI企业标注所使用的前人研究成果,尊重学术署名与知识产权规则;
  • 明确AI产出的数学内容需要人类数学家接手消化、验证,融入数学知识体系后才能被视为有效成果。
    宣言同时提到,AI本身具备助力、加速数学研究与认知探索的潜力,数学界也需要主动适应技术变革。这项技术最终会为数学带来增益还是破坏,很大程度上由掌握AI技术的人所决定。