Carina Hong
Founder and CEO of Axiom working on AI-driven mathematical reasoning, formalization (Lean) and systems that conjecture, prove, and self-improve.
Best podcasts with Carina Hong
Ranked by the Snipd community
103 snips
Nov 4, 2025 • 56min
Building an AI Mathematician with Carina Hong - #754
Carina Hong, founder and CEO of Axiom, discusses her groundbreaking work on creating an AI mathematician. She highlights the convergence of advanced reasoning capabilities, formal proof languages like Lean, and breakthroughs in code generation as key trends revitalizing AI in mathematics. Carina delves into the challenges of translating informal proofs into machine-verifiable formats, the concept of self-improvement through conjecturing and proving, and the potential applications in high-stakes software verification.
13 snips
Dec 4, 2025 • 33min
What AI Is Missing for Real Reasoning? Axiom Math’s Carina Hong on how to build an AI mathematician
Carina Hong, co-founder and CEO of Axiom Math, is on a mission to enhance AI's reasoning through machine-checkable mathematics. She discusses why current AI models struggle with complex math and presents three pillars essential for an AI mathematician. Carina emphasizes the need for a hybrid approach, combining formal verification and neural networks. She explores the limits of intuition in math, critiques existing benchmarks, and advises on practical paths for using AI in mathematics, all while navigating the intriguing landscape between AGI and superintelligence.
