#formal proof
2 articles tagged formal proof. At twelve articles this topic starts lifting the whole site in search.
Timeline
-
What the Navier-Stokes problem is — and why OpenAI won't claim the prize
-
Claude formalizes Fermat's Last Theorem (September 5) — 13 million lines in 11 days
All articles
-
Tech · 2 min readWhat the Navier-Stokes problem is — and why OpenAI won't claim the prize
The equations — describe fluid motion; whether 3D solutions always stay smooth is a Millennium Prize Problem worth 1 million dollars
-
Tech · 2 min readClaude formalizes Fermat's Last Theorem (September 5) — 13 million lines in 11 days
Result — the first end-to-end, machine-checkable formalization of Fermat's Last Theorem in Lean, in 11 largely autonomous days