来源：科技日报

(资料图)

科技日报记者 张梦然

当地时间8日，据OpenAI官方社交媒体及外媒网站消息，OpenAI发布声明称，一个比GPT-6 Astra更强、尚未公开的下一代模型，组织约1万个AI智能体，用88小时给出了纳维—斯托克斯方程存在性与光滑性问题的证明，并同步公开166页论文和Lean（计算机定理证明器）验证代码。

该题是克雷数学研究所七大千禧年难题之一，悬赏100万美元求解，OpenAI称不会申领奖金。该事件目前已引发数学界争议，有数学家质疑AI是在访问了他们正在做的研究后才做出了成果。

OpenAI披露，内部模型8月28日起开始训练。首批智能体启动约88小时后，系统9月5日得到解法，Astra再用17小时完成Lean形式化。

该数学问题核心是三维流体能否永远平滑，还是有限时间出现奇点。OpenAI未证明无外力解必然光滑，而选择克雷题目的C、D方向：构造有限且处处光滑的外力，使光滑解不能维持到所有时间。

此次取得成果的关键不只在模型，也在组织。AI智能体分组拿到不同题面，可读缓存互联网、跑代码并组内交流；近100个智能体先用约50小时做出无外力欧拉方程有限时间奇点，随后资源转向纳维—斯托克斯，由Codex汇总思路并交叉分发。

但争议也马上随之而来。消息公布后，美国纽约大学教授特里斯坦·布克马斯特称，他与一名Anthropic研究员此前在相近方向得到带光滑外力的欧拉方程有限时间奇点，并完成Lean验证；因曾用Codex处理过对话，他质疑OpenAI模型是否接触会话影响了训练数据，并称对方曾提议由他单独发表。

OpenAI官方称，研究人员和AI智能体未见其成果，也未为解题访问特定用户数据，但不能完全排除相关产品数据曾以某种方式参与训练，并强调双方欧拉问题外力设定不同。OpenAI将此成果称为通用AI（AGI）进入前沿科学发现的信号，结论仍待数学界独立检验。

总编辑圈点

又一道难题被AI拿下了。现在人们已经发现，做数学证明这件事，可以被AI变成一条流水线——人类需要冥思苦想、反复推敲，AI却能把研究资料、跑代码、做验证这些步骤串在一起自动跑完。换句话说，人类学者刚摸到一个方向，AI智能体大军就可能进场将之碾平，这无疑将是AI对所有领域的突袭。而更该警觉的，是菲尔兹奖得主、华裔数学家陶哲轩在9日发表的评论：好问题将要比好答案更稀缺。

关键词： 奇点 定理 千禧年 ai智能体 openai