StarZero All shows Try the podcast clipper →

AxiomProver

also referred to as: axiom prover

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

Mentions by year

brought up most by Carina Hong (7), RJ Haneke (1)

tap a year for its mentions
0041812026episodesmentions
0112026episodes it came up in
0040.5812026episodesmentions per episode
2026 8 mentions in 1 episode

every mention, scene by scene, with the transcript →

Everything said about AxiomProver, oldest first

Jun 3, 2026
Disclosure
Hong: Axiom Prover is an ensemble of multiple post-trained models
“Action Prover is an ensemble system of multiple models that we do post-training.”
Carina Hong Jun 3, 2026 ▶ 37:25 Scaling Past Informal AI - Carina Hong, Axiom Math
Jun 3, 2026
Assertion Not checkable as stated
Hong: Axiom Prover has scaled proof trees from 40 to 4,000 nodes
“We have seen it scale from 40 notes to 4000 notes.”
Carina Hong Jun 3, 2026 ▶ 37:18 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