Lean
A formal proof programming language that allows mathematicians to write proofs that can be verified by a computer, producing certificates of correctness and enabling atomic-level collaboration.
Save the 5 videos on Lean to your own pod.
Sign up free to keep building your knowledge base on Lean as more episodes are added.
Videos Mentioning Lean
Agents @ Work: Dust.tt — with Stanislas Polu
Latent Space
A formal proof system mentioned in the context of AI and mathematics research.
The design process is dead. Here’s what’s replacing it. | Jenny Wen (head of design at Claude)
Lenny's Podcast
Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472
Lex Fridman
A formal proof programming language that allows mathematicians to write proofs that can be verified by a computer, producing certificates of correctness and enabling atomic-level collaboration.
Mistral: Voxtral TTS, Forge, Leanstral, & Mistral 4 — w/ Pavan Kumar Reddy & Guillaume Lample
Latent Space
A formal mathematical language and proving system that Mistral is working on, providing a verifiable way to test reasoning capabilities.
🔬Top Black Holes Physicist: GPT5 can do Vibe Physics, here's what I found
Latent Space
A language for formal verification mentioned in the context of mathematical proof.