Lean, every mention
2 scenes (2025) · ← back to Lean
tap a year for its mentions
every year 2025 anyone Lisha Li 3Daniel Litt 2Amjad Masad 2Alex Rampell 1
Verbatim, from the transcripts: the passages where Lean comes up
Marc Andreessen & Amjad Masad on “Good Enough” AI, AGI, and the End of Coding
- ▶ 27:01 Amjad Masad Like the way that they're training on math, they're using this, uh, sort of like a program language, uh, provable language called lean for proofs, right? 2 times in the scene
Reid Hoffman on AI, Consciousness, and the Future of Labor
- ▶ 31:01 Alex Rampell This is like, if you're able to actually logically construct a proof for something and then validate it, um, there's a whole programming language called lean, which is for that, like that, that stuff is also fascinating.