AxiomProver is the first AI to solve research conjectures end-to-end
Corinna Hong · AI That Can Prove It’s Right: Verification as the Missing Layer in AI — Carina Hong · Feb 26, 2026 · at 4:56
Corinna Hong is the founder and CEO of Axiom Math. She explains AxiomProver's milestone in solving open math research conjectures completely autonomously.
0:00 / 0:09exact quote · 9.4s
▶ Watch the full episode on YouTube → 720p mp4 · rendered on demand · StarZero watermark
“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.”
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 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.”
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.”
Axiom Math aims to solve a Fields Medal shortlist-worthy problem using AI
“I think that we really want Accent Prover to be able to solve one long-standing problem in mathematics that you can objectively, objectively say, even though if it's an AI, you know, or double-blind, whatever, that will be in the shortlist.”