快讯 09:42DeepSeek 开源 V4 推理引擎,推理成本再降 40%10:15逐际动力完成 B 轮 5 亿元融资,加速人形机器人量产10:58Kimi 企业版 API 上线,新增批量推理折扣档位 全部快讯 →

每日快讯

大厂动态 · 融资事件 · 政策监管 · 前沿论文 · Agent 抓取 + 智能改写,每日 40+ 条

论文 前天 · 星期四 · 09-10 01:43 约 1 分钟读完

OpenAI新一代模型助力智能体攻克Navier-Stokes难题,悬置90年数学悬案迎来突破

摘要

OpenAI宣布,一组智能体利用能力远超GPT-6 Astra的新一代模型,给出了Navier-Stokes千禧年大奖难题的解。该问题关乎光滑三维流体运动是否崩溃,已悬置约90年,此次进展标志着AI在数学前沿难题上的重大突破。

OpenAI近日公布了一项数学领域的突破性进展:其新一代模型成功给出了Navier-Stokes方程千禧年大奖难题的解。这一成果由一组智能体协作完成,而它们所依赖的模型能力显著超越了GPT-6 Astra。

Navier-Stokes方程是流体力学的基础,其千禧年大奖难题的核心在于:描述光滑三维流体运动的方程解是否会在有限时间内崩溃。该问题自提出以来已悬置约90年,是数学界公认的前沿难题之一。

此次OpenAI并未披露证明的具体细节,但明确表示解是由智能体使用新一代模型产出。这意味着AI在形式化数学推理方面迈出了关键一步,其能力已能触及此前被认为需要人类数学家长期攻坚的领域。

对于AI行业而言,这一进展不仅展示了模型能力的跃升,更预示着智能体在复杂科学问题求解中的潜力。未来,类似方法或可加速其他数学与物理难题的探索,但相关证明仍需接受学术界的严格检验。

OpenAINavier-Stokes千禧年大奖难题智能体
本文由新大陆基于公开信息编辑整理
3,284
收录 AI 工具
186
模型产品档案
57
企业落地案例
1,247
完整版提示词