OpenAI 修改了 Navier-Stokes 的新闻稿和 GitHub 上的 Lean4 代码。
截至9月11日： https://openai.com/index/navier-stokes-solution/
比较于 https://web.archive.org/web/20260908235305/https://openai.com/index/navier-stokes-solution/
此外，请查看GitHub - 版本历史： 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