OpenAI’s Navier-Stokes release included a Lean 4 formal proof

Article URL: https://www.johndcook.com/blog/2026/09/09/formal-method-revolution/ Comments URL: https://news.ycombinator.com/item?id=49650326 Points: 106 # Comments: 98

事件进展（1 篇报道）

1. 2026-09-11 05:22
   Hacker News OpenAI’s Navier-Stokes release included a Lean 4 formal proof

← 返回首页