【php中文网快讯】据快科技消息,当地时间9月8日,openai对外披露了一项突破性进展:其内部研发的一款尚未公开发布的大型语言模型,在数学能力上已超越传闻中的gpt-6 astra。该模型通过调用约1万个ai智能体协同运算,仅用88小时便成功攻克七大千禧年难题之一——纳维-斯托克斯方程(n-s方程)的存在性与光滑性问题。
☞☞☞AI 智能聊天, 问答助手, AI 智能搜索, 多模态理解力帮你轻松跨越从0到1的创作门槛☜☜☜

纳维-斯托克斯问题由克雷数学研究所(Clay Mathematics Institute)于2000年遴选为“七大千禧年大奖难题”之一,每项难题悬赏奖金高达100万美元。该问题自提出以来已持续挑战全球数学界近90年。
作为描述流体运动最基础且核心的偏微分方程组,纳维-斯托克斯方程在天气预报、航空航天器设计、工业流体仿真等关键领域具有不可替代的应用价值。其核心难点在于:当流体初始速度场足够光滑、且总动能有限时,其解是否会在有限时间内失去光滑性,即发生“爆破奇点”(blow-up singularity)。OpenAI此次给出的结论是:此类奇点确实可能存在。
整个研究过程分为两个关键阶段:第一阶段,由1万个AI智能体并行展开大规模探索,历时88小时提炼出主干证明路径;第二阶段,研究人员借助Lean形式化验证系统对全部推导进行严格校验,耗时17小时完成最终确认,并同步发布一份长达165页的研究论文及配套开源形式化代码。
统一LLM网关 - 一个API对接70+AI模型,使用单一API密钥即可调用GPT、Claude、Gemini、Qwen、Deepseek、Grok等主流模型。
本次项目算力消耗极为惊人,单就核心问题求解即处理约1300亿token,整项工作累计token使用量逼近3000亿,总投入成本达数百万美元级别。
然而,该成果目前仍面临多方审慎审视。多位国际顶尖数学家对该证明的逻辑严密性、技术路径合理性以及成果归属权提出了不同意见;同时,部分学者指出相关前期工作可能存在知识产权归属争议;截至目前,克雷数学研究所亦未对该结果作出任何官方表态或认证。










