Tag: formal-verification
1 post
OpenAI published its proof. Navier–Stokes is not settled yet.
OpenAI published its proof. Navier–Stokes is not settled yet.
The Lean code makes OpenAI’s claim inspectable. Machine checking, expert review, prize recognition, and provenance remain separate.