mathematical-superintelligence
(2)
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.
Tudor Achim
Tudor Achim is the cofounder and CEO of Harmonic, the Palo Alto AI lab he started in 2023 with Robinhood founder Vlad Tenev to build what they call Mathematical Superintelligence. Harmonic's system Aristotle reached gold-medal performance on the 2025 International Math Olympiad while formally verifying every proof in Lean 4, a feat that put a roughly 40-person startup alongside OpenAI and Google DeepMind. A former competitive pianist turned machine-learning researcher, Achim previously cofounded the self-driving company Helm.ai and worked on ranking at Quora. He argues that mathematics is the route to AI that does not hallucinate.