Get the app
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
83 snips
Nov 4, 2025
• 56min
Building an AI Mathematician with Carina Hong - #754
chevron_right
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.
The AI-powered Podcast Player
Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
Get the app