Carina Hong

Carina Hong is the founder and CEO of Axiom Math, an AI startup building an autonomous "AI mathematician" that can generate and formally verify its own proofs. A Guangzhou-born first-generation college student, she finished dual MIT degrees in math and physics in three years, won the Morgan Prize, became a Rhodes Scholar at Oxford, then left a Stanford PhD-and-JD track to start Axiom in March 2025. Her thesis is blunt: "Math is AGI." Within roughly nine months the company raised about $264M total, reached a reported $1.6B valuation, and pulled researchers from Meta FAIR, Meta GenAI, and Google Brain/DeepMind.