#Lean
2 articles tagged Lean. At twelve articles this topic starts lifting the whole site in search.
Timeline
-
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 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