Axiom Math's Fix for AI's Specification Problem
Carina Hong reveals why AI struggles with creative math: humans can't specify. Axiom Math builds discovery tools to bridge intuition with formal verification.
Scaling Past Informal AI - Carina Hong, Axiom Math
With Brandon Anderson, R.J. Haneki, Carina Hong · Sunday, June 7, 2026
This episode features Carina Hong, CEO of Axiom Math, discussing her company's vision for formal verification as the foundation for superintelligence and AGI, backed by a significant Series A funding round. Hong details Axiom's use of Lean to achieve superhuman performance in mathematics, tackles the challenges of specification and mathematical discovery in AI-driven proofs, and introduces the AXL API to foster collaborative formal verification. She also outlines the broad commercial applications of verified AI, particularly in mission-critical hardware and evolving software domains.
Axiom Math's $200M Round: Verified AI Scales Brilliance, Not Just Fixes Errors
Carina Hong, Axiom Math CEO, argues verified AI with formal data will 'scale brilliance' to AGI, challenging informal LLMs.
Axiom CEO: Why Formal Verification Is Your Next AI Bottleneck
Carina Hong, Axiom Math CEO, says formal verification isn't just for academics. Its commercial future in hardware and AI software is 'all or nothing.' Learn why.
AI Can't Create, Humans Can't Specify: Axiom Math's Solution
Carina Hong of Axiom Math reveals AI's limits in creative discovery and autoformalization. Learn how interactive AI can bridge the gap in complex system specification.
Axiom Math's Formal AI Crushes Putnam Exam with Perfect Score
Carina Hong reveals how Axiom Math's 'Lean data' and formal verification drove their AI to a perfect Putnam score, scaling brilliance beyond error correction. Learn why this approach matters for ambitious founders.