OpenAI 开源 NavierStokesAndEuler 仓库，附带 Lean 证书

OpenAI 在 GitHub 发布 openai/NavierStokesAndEuler 新仓库，包含与 Navier-Stokes 和 Euler 结果配套的 Lean 证书，供获取与核查。