OpenAI证明纳维-斯托克斯方程后，加州大学伯克利分校数学界面临抉择

OpenAI宣布用AI模型攻克了数学界悬而未决的纳维-斯托克斯方程存在性与光滑性问题，在加州大学伯克利分校数学系引发震动。这道题是克雷数学研究所2000年选定的七个"千禧年大奖难题"之一，解题者可获100万美元奖金。据OpenAI研究科学家Noam Brown在社交平台透露，这次求解动用了约1万个AI智能体（可自主运行的AI系统），成本高达"数百万美元"，远超奖金本身。伯克利数学教授、1998年菲尔兹奖得主Richard Borcherds坦言，他原本预计这种水平的能力还要十年才会出现，AI进步之快超出想象。他直言，照这个趋势发展，几年内人类做数学研究将变得多余，甚至建议研究生"AI在数学上很可能永远比你强"，并称已有不少学生因此退学或陷入焦虑。 不过，伯克利数学博士生Robin Huang对AI的能力并不买账。她承认自己在研究中用过AI，但觉得它"又笨又低效"。她认为AI公司追逐未解数学难题是"极其冷血的行为"，正在数学界制造被抢先发表的恐惧，让同行之间相互提防。OpenAI的解法也正受到审视：纽约大学数学教授Tristan Buckmaster公开指控，相关AI模型可能是在OpenAI Codex中利用他和合作者的提示词训练出来的，并称OpenAI因数学家Levent Alpöge与竞争对手Anthropic的关系而拒绝为其署名。这场风波的核心矛盾在于：AI以数百万美元的成本攻克百万美元难题，证明了大规模扩展推理算力的威力，但也让数学界不得不面对署名归属、训练数据伦理和职业前景三重冲击。Brown则预言，一年后人人都能用上解决此类难题的AI——对数学研究者而言，这既是工具，也是悬在头顶的变量。