17:51
2026-09-16
8braid.com
artificial-intelligence
OpenAI's Navier-Stokes Proof Meets a New Kind of Database
8Braid reproduced OpenAI's September 8 AI-generated proof of finite-time breakdown for the Navier-Stokes equations and its Lean formalization, confirming that both the Nanoda kernel and Lean's default…