Grok 复盘 AI 攻克 Navier-Stokes:站在巨人肩膀上的必然一步
robleclerc · x · 2026-09-09
Rob Leclerc 让 Grok 评估 AI 攻克 Navier-Stokes 方程的意外程度,结论是「作为数学终点并不意外」:
- Córdoba–Martínez–Zoroa 早已建立逐尺度放大+光滑外力的研究纲领
- Alpöge–Buckmaster 在前一天刚用 Lean 形式化推进到 IPM、2D Boussinesq 和强迫 3D Euler
- Tao 公开评论该方法已具备冲击 Navier-Stokes 的条件
- OpenAI 随后用一个周末、花费数百万美元的 agent 算力补完黏性情形
Grok 的判断是:这是数学共同体多年积累被 AI 加速收割的结果,AI 只是「站在巨人肩膀上」完成了最后一跃。
「漫话AGI」频道最新
- 开发者表态：欢迎实验室用我的开源代码训练下一代模型 — intellectronica · 2026-09-09
- AI 重量级学者争论:明确任务可超越人类,模糊情境才是安全难题 — tdietterich · 2026-09-09
- Dietterich 辩「新知识」：纯推理能发现的多，多数知识须与环境交互 — tdietterich · 2026-09-09
- 3.5年从加法都算不准到万级Agent系统自主解千禧年难题 — MartinSignoux · 2026-09-09
- jessi_cata:AI 证明 P=NP 将意味着它有我们不具备的洞察 — jessi_cata · 2026-09-09
- Roko 预测 AI 若解 P vs NP，答案大概率是 P=NP 且算法极丑 — jessi_cata · 2026-09-09