ClueHacker News
Archiveverified release

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

Posted by ibobev on 2026-09-10 · johndcook.com

Discussion record

Score
179
Comments
178
Read
Unavailable

The discussion on Hacker News · The article

Full-thread reading

No publishable full-thread summary is available for this retained record.

The summary gate never changes the score, comment count, story metadata, or retained-history figures above.