九月轰动一时的 Navier-Stokes 证明，现在被发现不是我们想的那样，那时候大家都以为它沿用了西班牙数学家的方法（“Spanish program”），但深入检查后发现两者只是表面相似，实际路径完全不同。 初始叙事，包括 OpenAI 自己都暗示证明沿着 Spanish program 推进，但一个月后，多组专家深入阅读论文 + Lean 代码后得出一致结论：这是另外一种方式，不遵循 Spanish program，甚至 OpenAI 自己都搞错了。OpenAI’s blockbuster Navier-Stokes proof isn’t what we thought it was

  • 情报分类：技术学习与提效
  • 分类依据：内容涉及技术、AI、软件工具或工程实践
  • 信息来源：资讯 / 知乎热榜
  • 发布时间：2026/10/14 10:48:32