OpenAI’s Navier-Stokes release included a Lean 4 formal proof
By ibobev · 2026-09-10 · 128 points · 127 comments
https://www.johndcook.com/blog/2026/09/09/formal-method-revolution/
By ibobev · 128 points · 127 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews