AI攻克世纪数学难题，顶尖数学家抱团抵制，而他们担心的并不是丢了工作

9月8日，OpenAI正式宣布，其通过多智能体系统协作，仅用88小时就完成了克雷数学研究所千禧年七大难题之一纳维-斯托克斯方程的形式化证明，该难题悬赏100万美元，已困扰数学界近百年。消息公布后，原本应被视为数学界里程碑的突破，却掀起了轩然大波。

88小时攻破世纪难题，OpenAI靠万级智能体协作跑通证明

纳维-斯托克斯方程是描述流体运动的核心方程，克雷数学研究所2000年提出的官方题面允许通过构造光滑外力驱动流体在有限时间内发生爆破来解题。OpenAI采用分步推进的策略：先投入约100个智能体用50小时解决了无黏性的欧拉方程爆破问题，随后将并发智能体规模扩大至约1万个，最终攻破了保留黏性项的纳维-斯托克斯方程证明，总耗时仅88小时。此次突破被OpenAI视为大语言模型在形式化证明领域的标志性成果。

25位菲尔兹奖得主联名抗议，矛头直指AI目标与数学界错位

9月11日，陶哲轩在个人博客公开了《人工智能在数学中的严重错位》联名声明，首批签署的25位菲尔兹奖得主横跨近半个世纪的数学研究周期，包括2024年获奖者邓煜、1978年获奖者Deligne等。声明并未否定AI的数学研究价值，也未要求禁止AI进入数学领域，而是明确指出人工智能公司的商业目标与数学界的公共目标严重不符：AI企业将数学难题视为产品基准、发布会噱头和商业竞赛的燃料，而非需要长期沉淀、可传承的公共知识。
陶哲轩将AI时代前积累的优质开放数学问题比作“低本底钢”——即1945年核试验前生产的、未被放射性污染的钢材，是不可再生的精密科研资源。判断一个问题是否值得研究，依靠的是几代数学家的直觉和经验筛选，筛出的每一个问题都是不可再生资源，AI企业无序开采这些难题作为竞赛燃料，本质是在挥霍整个数学界的公共积累。
联名信同时援引了比尔·盖茨关于AI冲击入门级岗位的担忧，指出数学家真正焦虑的不是丢工作，而是当AI直接