突发！OpenAI官宣88小时突破NS方程千禧年难题

刚刚，OpenAI 发文投下一颗重磅新闻，称他们使用一种比 GPT-6 Astra 更强大的、未公开的下一代前沿大模型，联合约 10000 个并发协作的 AI Agent，仅耗时 88 个小时，便攻克了克雷数学研究所设立的七大千禧年难题之一 —— 纳维 – 斯托克斯方程（Navier-Stokes Equation）的存在性与光滑性问题。

纳维–斯托克斯方程可以理解为流体世界里的牛顿第二定律。

在这份 166 页论文中，流体最初处于静止状态，随后受到一个在空间和时间上都有限、处处光滑的外力。

流体向内旋转并沿轴向拉伸，涡旋核心不断收缩，局部速度随之增大。图片来源：OpenAI

随着奇点时刻临近，剧烈流动的区域不断收缩，速度持续增大。图片来源：OpenAI 论文

这份结果背后的 Agent 组织方式非常惊人。

OpenAI 同步开源了纳维–斯托克斯与欧拉方程结果的 Lean 形式化代码。

消息公布没多久，这份证明就卷入了一场用户数据和成果所属的争议。

Buckmaster 称，两人在 8 月 15 日取得了带光滑外力的三维不可压缩欧拉方程有限时间奇点结果，并于 8 月 22 日完成 Lean 验证。

链接：https://x.com/SebastienBubeck/status/2097379411691516310

OpenAI 从 8 月 28 日开始训练这款内部模型。

https://openai.com/index/navier-stokes-solution/

https://x.com/OpenAI/status/2097374640582668336

https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf

https://cims.nyu.edu/~tristanb/statement.pdf

https://x.com/SebastienBubeck/status/2097379411691516310

【开源免费】AutoGPT是一个允许用户创建和运行智能体的（AI Agents）项目。用户创建的智能体能够自动执行各种任务，从而让AI有步骤的去解决实际问题。

项目地址：https://github.com/Significant-Gravitas/AutoGPT

项目地址：https://github.com/geekan/MetaGPT/blob/main/docs/README_CN.md