OpenAI 公开证明细节：流体将演化成螺旋拉长的漩涡奇点
OpenAI · x · 2026-09-09
OpenAI 补充披露纳维-斯托克斯解法的技术细节：团队给出解析证明并用 Lean 完成形式化，证明在 Navier-Stokes 动力学下流体可在有限时间内形成奇点。
- 解的结构是一个漩涡（vortex）：向内螺旋旋转、越来越拉长，「像意大利面一样」
- 同帖重申约 1 万个 agent 协作 88 小时完成、执行前沿评估安全防护等信息
所属事件:OpenAI 公布纳维-斯托克斯奇点证明细节(2 条相关)→
「模型」频道最新
- K2 Horizon 开源六个规模模型，0.9B 版 AIME 拿 48.5 分 — kimmonismus · 2026-09-09
- IFM 开源 K2 Horizon 全家桶:6 个尺寸、每模型 20T tokens、连 reward-hacking 审计都公开 — kimmonismus · 2026-09-09
- IFM K2 Horizon 全家桶:0.9B到375B六款模型一套工具链 — kimmonismus · 2026-09-09
- 开发者上线聚合站，汇集 OpenAI 纳维-斯托克斯证明各方表态 — NathanpmYoung · 2026-09-09
- Meta 发布个人智能体 Muse,由自研 Muse Spark 1.3 驱动 — AIatMeta · 2026-09-09
- GLM-5.3 访谈:性价比、AA 新智能指数与 Flash 架构 — philipkiely · 2026-09-09