OpenAI 修改纳维-斯托克斯方程新闻稿及 GitHub 上的 Lean4 代码

Hacker News 讨论帖称 OpenAI 修改了关于纳维-斯托克斯方程的新闻稿，并改动了 GitHub 上的 Lean4 代码。输入未给出具体修改内容、原因或证据，相关说法尚待核实。

AI推荐理由 HN 讨论帖指出 OpenAI 修改了关于纳维-斯托克斯方程的新闻稿以及 GitHub 上的 Lean4 代码，涉及 AI 数学成果的可复现性与代码变更，对关注 AI 形式化证明和科研诚信的读者有参考价值；但输入仅有标题式摘要，未提供修改内容、原因或证据，无法确认具体改动与影响，需保留不确定性。