HeadlinesBriefing favicon HeadlinesBriefing.com

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

Hacker News •
×