StarZero Try the podcast clipper →

New School Of Mathematicians

topic on 1 show · 1 statements across 1 episodes

the MAD Podcast

1 statements about New School Of Mathematicians, every show

MAD Assertion Not checkable as stated
Almost all younger-generation mathematicians accept Lean as a formal proof verifier
“Almost all of the new school of mathematicians are accepting Lean.”
Corinna Hong Feb 26, 2026 ▶ 56:42 AI That Can Prove It’s Right: Verification as the Missing Layer in AI — Carina Hong

← every entity, every show

Made with StarZero

Turn any episode into a week of clips.

This entire site, thousands of episodes across every show 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