OpenAI 修改了 GH 上的 Navier-Stokes 发布公告和 Lean4 代码
2 分•作者: rawland•14 天前
截至 9 月 11 日：https://openai.com/index/navier-stokes-solution/
对比：https://web.archive.org/web/20260908235305/https://openai.com/index/navier-stokes-solution/
另请参阅 GitHub - Git 历史记录：https://github.com/openai/NavierStokesAndEuler
查看原文
As of Sept, 11th: https://openai.com/index/navier-stokes-solution/<p>Compare to https://web.archive.org/web/20260908235305/https://openai.com/index/navier-stokes-solution/<p>Also, see GitHub - git history: https://github.com/openai/NavierStokesAndEuler