数学界传来地震级消息：OpenAI宣布，其使用一款能力远超GPT-6 Astra的未公开内部模型，联合约10000个并发协作的AI Agent，仅耗时88小时便攻克了克雷数学研究所七大千禧年难题之一的纳维-斯托克斯方程存在性与光滑性问题。这道悬赏100万美元、困扰数学界近90年的难题，此前仅有庞加莱猜想成功下榜。

随声明放出的是一份长达166页的完整数学推导论文及配套的Lean形式化验证代码。OpenAI明确表态将放弃申领奖金，称此成果的核心价值在于展示AGI正转变为推动前沿科学探索的引擎。研究员陈立杰透露，今年年初他预测AI要2028年才能解决千禧年难题，没想到进度条直接被拽飞了。

然而还没等数学圈送上掌声，事情就开始反转。传闻OpenAI之所以突然出手，是因为听说外部团队快做出来了——而该团队此前一直在使用OpenAI Codex，未公开的草稿和中间推导均存放其中。数学家随即指控OpenAI抢成果，甚至被曝试图从作者名单中移除一名Anthropic研究员。

更具戏剧性的是，OpenAI首席科学家Jakub Pachocki在同一天发文，公开呼吁全行业对AI发展保持极其谨慎，警告社会尚未为机器智能持续快速增长的后果做好准备，并建议建立第三方审核机制强制AI实验室达标。黄仁勋同日贺词AGI已到来的回声未散，安全担忧已紧随其后。

从88小时破解千禧年难题到首席科学家紧急踩刹车，OpenAI正在同时演绎AI能力的天花板与风险的下限。当AI开始产出顶级数学证明，人类最该思考的或许不是它有多强，而是我们是否有足够的智慧驾驭它。

AI 生成 . DeepSeek | 搜索综合