Lean, every mention
3 scenes (2025) · ← back to Lean
tap a year for its mentions
every year 2025 anyone Carina Hong 32RJ Haneke 27Dr. Jasper Zhang 4Guillaume Lample 3Yi Tay 1Shawn Wang 1Jeff Dean 1Anima Anandkumar 1Alex Lupsasca 1
Verbatim, from the transcripts: the passages where Lean comes up
⚡️Math Olympiad gold medalist explains OpenAI and Google DeepMind IMO Gold Performances
- ▶ 6:25 Dr. Jasper Zhang Problems to Lean, and then they use Lean to kind of prove the, the, the problems, uh, to prove the, uh, solve the problems, and, and this year, uh, no longer need, need that, and the same for OpenAI, too. 2 times in the scene
- ▶ 19:23 Dr. Jasper Zhang So, for example, uh, for the logical thinking and reasoning, I think we can, uh, a lot of people trying to use lean, uh, because, like, 2 times in the scene
- ▶ 23:24 unnamed speaker Uh, and then I think the, the last followup I had was about a comment that you made, uh, maybe like three comments into your, your comments, uh, which is, uh, about, about the usage of lean and, uh, and then like sort of verifiability. 7 times in the scene