实体库 · 事件 · 行业信号

OpenAI 开 NavierStokesAndEuler 仓库，公开 Navier-Stokes 与 Euler 结果的 Lean 证明证书，一周 1900 星

OpenAI 开 NavierStokesAndEuler 仓库，公开 Navier-Stokes 与 Euler 结果的 Lean 证明证书，一周 1900 星（行业信号，2026-09-08）：配合 09-08 的 Navier-Stokes 声明（见 blog 条目），把机器可检验的 Lean certificates 放到 GitHub，任何人可以自行验证而不必信任 OpenAI 的说法。上期窗口漏检，按真实日期补录。

• 类别行业信号 · 事件
• 日期2026-09-08
• 分类开源 Repo · 在 AI 行业信号流里看这一条 ↗
• 信源OpenAI GitHub
• 链接github.com/openai/NavierStokesAndEuler ↗

关系 每条写成一句话：主语 → 宾语，点开看证据

• OpenAI 开 NavierStokesAndEuler 仓库，公开 Navier-Stokes 与 Euler 结果的 Lean 证明证书，一周 1900 星涉及OpenAI 发布 / 出台方信源：OpenAI GitHub
  证据 1

  • 本站页面：AI 行业信号流（开源 Repo）：OpenAI 开 NavierStokesAndEuler 仓库，公开 Navier-Stokes 与 Euler 结果的 Lean 证明证书，一周 1900 星

• OpenAI 开 NavierStokesAndEuler 仓库，公开 Navier-Stokes 与 Euler 结果的 Lean 证明证书，一周 1900 星出现在 Landscape 的「AI 行业信号流 · 02 开源 Repo」
  证据 1

  • 本站页面：AI 行业信号流（开源 Repo）：OpenAI 开 NavierStokesAndEuler 仓库，公开 Navier-Stokes 与 Euler 结果的 Lean 证明证书，一周 1900 星

• OpenAI 开 NavierStokesAndEuler 仓库，公开 Navier-Stokes 与 Euler 结果的 Lean 证明证书，一周 1900 星提到GitHub
  证据 1

  • 本站页面：名称匹配：「GitHub」出现在信号的正文里

出处

• 本站页面：AI 行业信号流（开源 Repo）：OpenAI 开 NavierStokesAndEuler 仓库，公开 Navier-Stokes 与 Euler 结果的 Lean 证明证书，一周 1900 星
• 代码仓库：信号的原文出处（OpenAI GitHub）

它的邻居 箭头从「谁」指向「对谁」

数据

• /api/graph/entity/event:sig-0077 JSON：这个实体和它的全部关系、证据
• 在全图里打开 看它在整张图里的位置
• kb.json · Turtle · JSON-LD · 关系 CSV