{
 "generated": "2026-11-02",
 "node": {
  "id": "event:sig-0077",
  "type": "Event",
  "name": "OpenAI 开 NavierStokesAndEuler 仓库，公开 Navier-Stokes 与 Euler 结果的 Lean 证明证书，一周 1900 星",
  "slug": "sig-0077",
  "kind": "signal",
  "kind_zh": "行业信号",
  "date": "2026-09-08",
  "summary": "配合 09-08 的 Navier-Stokes 声明（见 blog 条目），把机器可检验的 Lean certificates 放到 GitHub，任何人可以自行验证而不必信任 OpenAI 的说法。上期窗口漏检，按真实日期补录。",
  "url": "https://github.com/openai/NavierStokesAndEuler",
  "evidence": [
   {
    "kind": "own",
    "label": "本站页面",
    "url": "https://xiaopingfeng.com/graph/signals/#sig-0077",
    "text": "AI 行业信号流（开源 Repo）：OpenAI 开 NavierStokesAndEuler 仓库，公开 Navier-Stokes 与 Euler 结果的 Lean 证明证书，一周 1900 星"
   },
   {
    "kind": "repo",
    "url": "https://github.com/openai/NavierStokesAndEuler",
    "text": "信号的原文出处（OpenAI GitHub）"
   }
  ],
  "entry": "derived",
  "category": "repo",
  "category_zh": "开源 Repo",
  "source_name": "OpenAI GitHub",
  "source_id": "gh-openai",
  "degree": 0
 },
 "page": "https://xiaopingfeng.com/graph/e/event/sig-0077/",
 "out": [
  {
   "type": "placed_in",
   "sentence": "OpenAI 开 NavierStokesAndEuler 仓库，公开 Navier-Stokes 与 Euler 结果的 Lean 证明证书，一周 1900 星出现在 Landscape 的「开源 Repo」",
   "direction": "out",
   "id": "layer:ai-industry-signals--2",
   "name": "开源 Repo",
   "status": "derived",
   "evidence": [
    {
     "kind": "own",
     "label": "本站页面",
     "url": "https://xiaopingfeng.com/graph/signals/#sig-0077",
     "text": "AI 行业信号流（开源 Repo）：OpenAI 开 NavierStokesAndEuler 仓库，公开 Navier-Stokes 与 Euler 结果的 Lean 证明证书，一周 1900 星"
    }
   ]
  },
  {
   "type": "involves",
   "sentence": "OpenAI 开 NavierStokesAndEuler 仓库，公开 Navier-Stokes 与 Euler 结果的 Lean 证明证书，一周 1900 星涉及OpenAI",
   "direction": "out",
   "id": "org:openai",
   "name": "OpenAI",
   "role": "issuer",
   "note": "信源：OpenAI GitHub",
   "status": "derived",
   "evidence": [
    {
     "kind": "own",
     "label": "本站页面",
     "url": "https://xiaopingfeng.com/graph/signals/#sig-0077",
     "text": "AI 行业信号流（开源 Repo）：OpenAI 开 NavierStokesAndEuler 仓库，公开 Navier-Stokes 与 Euler 结果的 Lean 证明证书，一周 1900 星"
    }
   ]
  },
  {
   "type": "mentions",
   "sentence": "OpenAI 开 NavierStokesAndEuler 仓库，公开 Navier-Stokes 与 Euler 结果的 Lean 证明证书，一周 1900 星提到GitHub",
   "direction": "out",
   "id": "org:github",
   "name": "GitHub",
   "status": "derived",
   "evidence": [
    {
     "kind": "own",
     "label": "本站页面",
     "text": "名称匹配：「GitHub」出现在信号的正文里",
     "url": "https://xiaopingfeng.com/graph/signals/#sig-0077"
    }
   ]
  }
 ],
 "in": []
}