Lean, every mention
5 scenes · ← back to Lean
tap a year for its mentions
every year anyone Lisha Li 3Daniel Litt 2Amjad Masad 2Alex Rampell 1
Verbatim, from the transcripts: the passages where Lean comes up
Inside OpenAI’s Breakthroughs in Mathematical Reasoning
Can AI Learn Mathematical Intuition?
- ▶ 7:45 Lisha Li Obviously, we can't get too much information from the labs who are producing these models, like why, um, you know, how, of what the training recipes are, or how they're kind of advancing in reasoning, um, but at least one of the things we… 2 times in the scene
- ▶ 53:46 Daniel Litt Um, so, for example, uh, you know, with these, this recent list of 10 problems, uh, released by OpenAI, those were all formalized in Lean. 2 times in the scene
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.