AxiomProver
product on 2 shows · 7 statements across 2 episodes · said 19 times in 2 episodes since 2026
the MAD Podcast 11 
Latent Space 8
Mentions by year, every show
tap a year for its mentions
the MAD Podcast 11Latent Space 8
2026 19 mentions in 2 episodes 10 per episode
every mention on every show, scene by scene, with the transcript →
7 statements about AxiomProver, every show
Hong: Axiom Prover has scaled proof trees from 40 to 4,000 nodes
“We have seen it scale from 40 notes to 4000 notes.”
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.”
AxiomProver achieved a perfect score on the 2025 Putnam math exam
“Eight within the time limit, and then 12 out of 12.”
AxiomProver has solved four research-level open mathematical problems
“Recently, I think like a couple of weeks ago, we just announced that action prover solved these four research level open problems.”
AxiomProver is the first AI to solve research conjectures end-to-end
“It's probably the first AI to solve a research conjecture completely end-to-end and self-verifies. That means the output are fully verified, a hundred percent correct.”
AxiomProver self-improves by adding generated mathematical proofs to its skill library
“Action Prover learns to prove things, and it kind of self-improved in a way where all the things that it proved got fed back into it, into a kind of a skill library.”