StarZero All shows Try the podcast clipper →

Lean, every mention

3 scenes (2026) · ← back to Lean

tap a year for its mentions
00315220252026episodesmentions
01220252026episodes it came up in
001.312.5220252026episodesmentions per episode

every year 2026 anyone Lisha Li 3Daniel Litt 2Amjad Masad 2Alex Rampell 1

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

loading…

Inside OpenAI’s Breakthroughs in Mathematical Reasoning Sep 8, 2026 · 1 mention

  • ▶ 14:04 Lisha Li Um, but it's just, like, so not obvious that if you're just, like, training on, say, a corpus of, like, math proofs, maybe auto-formalized and lean, that you get, um, uh, get the sort of, like, projection of, like, how did the,

Can AI Learn Mathematical Intuition? Sep 1, 2026 · 4 mentions

  • ▶ 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
Made with StarZero

Turn any episode into a week of clips.

This entire site, over 1,000 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