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: 113 # Comments: 109