Lean, every mention
2 scenes (said by John Coogan) · ← back to Lean
tap a year for its mentions
every year anyone John Coogan 2
Verbatim, from the transcripts: the passages where Lean comes up
Weekly Recap: Casey Neistat, OpenAI Cracks Math, The Future of ChatGPT, Apple x F1, Intel Layoffs
- ▶ 3:25 John Coogan Using this, this, uh, program called Lean that is a formal math proof verifier, and there's rumors that Google's building their system to leverage that a lot.
- ▶ 15:37 John Coogan Uh, Daniel lit shows Cheryl on the open AI team saying the model solves these problems without tools like lean, which is a math verifier or coding.