Axiom Prover
product
3 mentions
2 recordings
first heard Feb 2026
last heard 3 Jun
±0 this month
Formal verification system used by Axiom Math
Trend
No mentions in the last 30d.Widen the range to see when Axiom Prover was said.
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