AxiomProver self-improves by adding generated mathematical proofs to its skill library
Corinna Hong · AI That Can Prove It’s Right: Verification as the Missing Layer in AI — Carina Hong · Feb 26, 2026 · at 28:40
Corinna Hong, founder and CEO of Axiom Math, explains how Axiom Prover iteratively builds mathematical reasoning capability.
0:00 / 0:10exact quote · 10.4s
▶ Watch the full episode on YouTube → 720p mp4 · rendered on demand · StarZero watermark
“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.”
quote is from the automated transcript, cleaned for reading: filler sounds and stutters are removed, nothing is rephrased. names can be misheard (the analysis reads context, assessments check outside sources). how →
More from Corinna Hong
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 achieved a perfect score on the 2025 Putnam math exam
“Eight within the time limit, and then 12 out of 12.”
Today's AI can solve math problems that take human researchers months
“I think that we are at a threshold of mathematical renaissance, which is to realize that there are so many unsolved problems that will currently take, say, researchers months to crack, or even technical lemmas in those really longstanding conjectures that we b…”
True AI reasoning engines require verifiable rewards for intermediate proof steps
“If you want to have a reasoning engine that really truly masters at logic and mathematical reasoning, then you need to somehow get verifiable reward for the proof steps.”
Axiom's proof verifier is 100 times faster than open-source alternatives
“So a lot of the sort of like verify, verify proof is actually, you know, one of our prover tools that's about to be released, and that's actually a hundred times faster than The other counterparts that are the open source, like effort, cloud comparator.”