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

news.ycombinator.com

saved by: 0 people
related read on: The part of Navier-Stokes no one is talking about discussion