StarZero All shows Try the podcast clipper →

Verify Proof

0 statements across 0 episodes · 0 bullish · 0 bearish · 1 people on the record · first statement Jun 3, 2026 by Carina Hong · said 1 times in 1 episodes since 2026 · across every show →

Mentions by year

brought up most by Carina Hong (1)

tap a year for its mentions
0011112026episodesmentions
0112026episodes it came up in
000.50.5112026episodesmentions per episode
2026 1 mention in 1 episode

every mention, scene by scene, with the transcript →

Everything said about Verify Proof, oldest first

Jun 3, 2026
Disclosure
Hong: Axiom's AXLE toolkit contains 14 Lean tools including VerifyProof
“And Excel is currently, I think, 14 like, such tools starting from Verify Proof, which is the sort of, To make sure that there's not, nothing weird you know, going on, like no, no sort of cheating by lean code.”
Carina Hong Jun 3, 2026 ▶ 1:07:59 Scaling Past Informal AI - Carina Hong, Axiom Math
Made with StarZero

Turn any episode into a week of clips.

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