OpenAI内部模型88小时攻克千禧难题，数学界争议未平

【区角快讯】就在当地时间9月8日，OpenAI抛出了一枚震撼学术界的“深水炸弹”。其一款尚未公开、数学推理能力据称远超GPT-6 Astra的内部大模型，在约1万个AI智能体的协同作战下，仅用88小时便完成了纳维-斯托克斯存在性与光滑性问题的证明。这道由克雷数学研究所在2000年提出的千禧年大奖难题，悬赏高达100万美元，已困扰全球数学界近90年之久。

作为描述流体运动的基础方程，纳维-斯托克斯方程广泛应用于气象预报及飞行器设计等领域。该难题的核心在于探究：若流体初始状态平滑且总动能有限，其速度是否会在有限时间内趋向无穷大，即产生奇点。OpenAI给出的结论相当大胆——这种爆破奇点是可能存在的。整个求解过程分为两个阶段：首先是万级智能体并行探索，耗时88小时锁定核心思路；随后花费17小时，利用Lean形式化证明系统进行严谨核验，最终输出了长达165页的论文及配套代码。

值得注意的是，此次算力消耗堪称天文数字。仅求解环节就消耗约1300亿token，项目总消耗逼近3000亿token，成本高达数百万美元。回顾历史，七大千禧难题中仅有庞加莱猜想被人类数学家攻克。若此次成果能通过全球同行的严格评审，它将成为第二个被攻克的千禧难题。然而，顶尖数学家们对此反应复杂，质疑声集中在证明逻辑、成果归属乃至前期研究的版权争议上。截至目前，克雷数学研究所尚未正式认定该证明成立，千禧大奖也未颁发。

此前，OpenAI已发布的史上最强模型GPT-6 Astra曾一举解决5道悬而未决的Erdős数学难题，包括1931年的解离集猜想及极值图论中的Erdős-Sós猜想。这些题目数十年来令无数顶尖学者束手无策。从某种角度看，AI在纯数学领域的突破速度，或许正预示着科研范式的根本性重构。