HN 热议 · 121 分 / 119 条评论
原文：https://www.johndcook.com/blog/2026/09/09/formal-method-revolution/
OpenAI 的 Navier-Stokes 版本包含 Lean 4 正式证明
OpenAI’s Navier-Stokes release included a Lean 4 formal proof
摘要 · HN 热议 · 121 分 / 119 条评论
阅读原文 · Hacker News →
大模型0 条评论 · 观点来自社区
评论区 0 条讨论