#Lean
3 articles tagged Lean. At twelve articles this topic starts lifting the whole site in search.
Timeline
-
Claude formalizes Fermat's Last Theorem (September 5) — 13 million lines in 11 days
-
Formal proofs, explained — the machinery that makes AI math believable
-
An AI touched ten open math problems — and a Fields Medalist nodded
All articles
-
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
-
Tech · 2 min readFormal proofs, explained — the machinery that makes AI math believable
Formal proofs encode every logical step in languages like Lean for mechanical checking
-
Tech · 2 min readAn AI touched ten open math problems — and a Fields Medalist nodded
OpenAI's internal model Astra claims to have solved or advanced ten open problems