Axiom Prover
product
3 mentions
2 recordings
first heard Feb 2026
last heard 3 Jun
↑3 vs the 12 months before
Formal verification system used by Axiom Math
Trend
Peak in the week of 21 Feb — 2 mentions across 1 series.
Moments
newest first · ▶ plays the momentRJ HanekeLatent Space: The AI Engineer Podcast · 🔬Scaling Past Informal AI - Carina Hong, Axiom Math · 37:21 · 3 Jun
…So you sorry, Axiomprover is the is the L L M?…
Carina HongThe MAD Podcast with Matt Turck · AI That Can Prove It’s Right: Verification as the Missing ... · 53:56 · 26 Feb
…We we all have this sort of emotional response when Axiom Prover approved Faust conjecture proved that almost all primes are partially regular, partial Vendever conjecture, which is one part of the original Vendever conjecture that had been open for f ninety years.…
Carina HongThe MAD Podcast with Matt Turck · AI That Can Prove It’s Right: Verification as the Missing ... · 43:18 · 26 Feb
…I mean you can think about currently the the batch of um papers Axiom Prover has autonomously proven and mathematicians have written.…
All 3 moments