OpenAI 的 Navier-Stokes 版本包含 Lean 4 正式证明

文章网址：https://www.johndcook.com/blog/2026/09/09/formal-method-revolution/ 评论网址：https://news.ycombinator.com/item?id=49650326 积分：136 # 评论：132

摘要仅供参考,请点击来源链接查看全文。演示条目为示意。