StarZero All shows Try the podcast clipper →

Lean, every mention

4 scenes · ← back to Lean

tap a year for its mentions
0021422025episodesmentions
0122025episodes it came up in
0011222025episodesmentions per episode

every year anyone John Coogan 2

Verbatim, from the transcripts: the passages where Lean comes up

loading…

Weekly Recap: Casey Neistat, OpenAI Cracks Math, The Future of ChatGPT, Apple x F1, Intel Layoffs Jul 26, 2025 · 2 mentions

  • ▶ 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.

OpenAI Just Cracked the World’s Toughest Math Challenge — Here's How Jul 22, 2025 · 2 mentions

  • ▶ 1:49 unnamed speaker Using this, this, uh, program called lean that is a formal math proof verifier.
  • ▶ 14:04 unnamed speaker On the open AI team saying the model solves these problems without tools like lean, which is a math verifier or coding.
Made with StarZero

Turn any episode into a week of clips.

This entire site, over 500 episodes transcribed, diarized, checked and made playable, runs on the StarZero media pipeline. Drop in your own episode and the podcast clipper finds the moments worth sharing, cuts them, captions them, and reframes them for every feed.

Try the podcast clipper Learn more