证明核心构造曝光:漩涡螺旋收缩拉长,速度发散而动能有限,已过 Lean 验证
Dr_Singularity · x · 2026-09-09
DrSingularity 补充 OpenAI 求解 Navier–Stokes 的关键数学构造:解形成一种沿轴拉伸同时向内螺旋收缩的漩涡,像意大利面一样越来越细越长。随着漩涡占据的区域不断缩小,流速可以发散,而总动能保持有限——这正是有限时间奇点的形成机制。据称该证明证明了光滑 3D 流体可从光滑初始条件发展出速度爆破的奇点,并已在 Lean 中通过形式化验证;OpenAI 称证明由一个显著强于 GPT-6 Astra 的系统发现。
所属事件:OpenAI 公布纳维-斯托克斯奇点证明细节(2 条相关)→
「研究」频道最新
- ValsAI 发布 Tax Agent Bench：391 道专家题考 LLM 企业税务研究 — JenniferHli · 2026-09-09
- 首批实验室证据：扩大 Agent 群体规模也能提升性能，或是新的 scaling law — Afinetheorem · 2026-09-09
- OpenAI 宣称 88 小时破解千禧年难题 Navier-Stokes — nordicinst · 2026-09-09
- ICML 2026 最佳论文「LLM 记忆了多少数据」被 AI 实习生以不到 8 美元复现 — _akhaliq · 2026-09-09
- DeepMind 开放 AlphaGenome Atlas：90 亿个人类基因组突变预测可搜索查询 — JMateosGarcia · 2026-09-09
- Buckmaster 与 Alpöge 论文全公开：欧拉方程 112 页等三篇 — xennygrimmato_ · 2026-09-09