news.volyx.in

OpenAI’s Navier-Stokes release included a Lean 4 formal proof (johndcook.com)

175 points by ibobev · 31 days ago · 177 comments on HN

The AI summary for this story hasn't been generated yet — it's produced hourly. Check back soon. Meanwhile, read the discussion on HN.