HackerNews AISeptember 10, 2026OpenAI’s Navier-Stokes release included a Lean 4 formal proofRead original article →