Infinite Curiosity Pod with Prateek Joshi · 2025-10-30 · 45 min
Carina Hong is CEO of Axiom Math, where they're building a self-improving superintelligent reasoner, starting with an AI mathematician. She's a Rhodes Scholar, first-gen college grad and mathematics prodigy who earned dual degrees in mathematics and physics from MIT in 3 years. And a joint JD/PhD at Stanford. They just raised a $64M seed round from B Capital, Greycroft, Madrona, and Menlo Ventures. Carina's favorite books: Proofs from THE BOOK (Author: Martin Aigner, Günter M. Ziegler) (00:02) Intro (00:38) What self-improving mathematical superintelligence means (04:04) Proofs as programs: Lean and the data gap (06:36) How AI proves: human-style vs. Lean-style reasoning (10:43) Carina’s journey: from Olympiad problem-solver to theory-builder (14:47) The engine room: data, infra, and building a math knowledge graph (17:42) Verifying results: compile checks vs.
Building a $4 Billion AI Infra Company | Benny Chen, cofounder of Fireworks AI73 / 100Building AI Employees | Surojit Chatterjee, CEO of EmaPasswords Are Broken: AI Agents Need Identity | Rishi Bhargava, cofounder of DescopeAI Agents Are Taking Over Infra | Gou Rao, CEO of NeuBirdBuilding a Visual AI Platform | Brian Moore, CEO of Voxel51