【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页的研究论文及配套开源形式化代码。
本次项目算力消耗极为惊人，单就核心问题求解即处理约1300亿token，整项工作累计token使用量逼近3000亿，总投入成本达数百万美元级别。
大模型 Token 成本节约工具。在请求到达大模型之前自动压缩 prompt 和上下文，减少 60-95% 的 token 消耗，直接降低 API 成本。支持 Claude/OpenAI/Gemini 等主流模型，提供代理模式、CLI 包装、Python SDK 和 MCP Server 四种接入方式。内置一键安...
然而，该成果目前仍面临多方审慎审视。多位国际顶尖数学家对该证明的逻辑严密性、技术路径合理性以及成果归属权提出了不同意见；同时，部分学者指出相关前期工作可能存在知识产权归属争议；截至目前，克雷数学研究所亦未对该结果作出任何官方表态或认证。
