StarZero All shows Try the podcast clipper →

AxiomProver

also referred to as: axiom prover

5 statements across 1 episodes · 4 bullish · 0 bearish · 1 people on the record · first statement Feb 26, 2026 by Corinna Hong · said 11 times in 1 episodes since 2026 · across every show →

Mentions by year

brought up most by Corinna Hong (11)

tap a year for its mentions
00811512026episodesmentions
0112026episodes it came up in
007.50.51512026episodesmentions per episode
2026 11 mentions in 1 episode

every mention, scene by scene, with the transcript →

Everything said about AxiomProver, oldest first

Feb 26, 2026 positive
Assertion Not checkable as stated
AxiomProver autonomously proves theorems publishable in major mathematical journals
“Currently the batch of papers, Axiom Prover has autonomously proven and mathematicians have written You can probably get into Journal of Number Theory, Journal of Algebra, like that level.”
Corinna Hong Feb 26, 2026 ▶ 43:12 AI That Can Prove It’s Right: Verification as the Missing Layer in AI — Carina Hong
Feb 26, 2026 positive
Assertion Supported
AxiomProver achieved a perfect score on the 2025 Putnam math exam
“Eight within the time limit, and then 12 out of 12.”
Corinna Hong Feb 26, 2026 ▶ 4:02 AI That Can Prove It’s Right: Verification as the Missing Layer in AI — Carina Hong
Feb 26, 2026 positive
Assertion Supported
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.”
Corinna Hong Feb 26, 2026 ▶ 4:50 AI That Can Prove It’s Right: Verification as the Missing Layer in AI — Carina Hong
Feb 26, 2026
Disclosure
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.”
Corinna Hong Feb 26, 2026 ▶ 28:40 AI That Can Prove It’s Right: Verification as the Missing Layer in AI — Carina Hong
Feb 26, 2026 positive
Assertion Not checkable as stated
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.”
Corinna Hong Feb 26, 2026 ▶ 4:56 AI That Can Prove It’s Right: Verification as the Missing Layer in AI — Carina Hong
Made with StarZero

Turn any episode into a week of clips.

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