Alex Kontorovich
Everything Alex personally uses, recommends, or has created — plus things they don't recommend — sourced from their own show and appearances on other podcasts.
Top picks
Ranked by repeated personal use, excluding sponsorships.
Personal use in 1 episode
"I had a lot of experience with Lean and with using AI. I started doing Lean before AI existed in the sense that we understand it now, and it was very painstaking... Lean is software that allows you to check all kinds of things... the computer says, 'Yes, this line does follow by logical inference from the goal state on the previous line.'"
▶ 1:15:49Recent episodes
All →Showing 3 of 5 products
Clear filtersMentioned in 1 episode
"So it was Anthropic, and how it was done was AI systems just got really, really good at... thirteen million lines later, they had a sorry-free formal Lean proof of Fermat's Last Theorem. It's just absolutely shocking."
Mentioned in 1 episode
"They'll write Lean code that builds on top of Mathlib, builds on top of the Prime Number Theorem Plus project or whatever, and checks that it has indeed solved this problem down to the axioms."
Mentioned in 1 episode
"Thirty years ago, there was a documentary of Andrew Wiles, and there's a great scene, I think they even run it right at the very beginning... He's sitting there at his desk, and he's describing the moment when he realizes what the solution is."
1 recommended · 0 sponsored · 0 warned against · 0 episodes