A Math Legend and Prodigy Create AI Mathematician

Ken Ono, a renowned mathematics genius at the University of Virginia and former vice president of the American Mathematical Society, made the improbable choice at age 57 to leave academia and join a Silicon Valley startup called Axiom Math. He is leaving to work alongside 24-year-old math prodigy and former student Carina Hong.

Hong dropped out of her joint law and math studies at Stanford after raising $64 million to build the first truly capable machine mathematician, with the goal of teaching artificial intelligence to prove theorems rather than just predicting words.

In the race toward mathematical superintelligence, Axiom Math competes against three main approaches: formal verification languages like Lean, natural language models that excel at analogies, and hybrid architectures that attempt to combine both intuition and ironclad logic.

This shift in artificial intelligence was underscored by the 2025 International Mathematical Olympiad, where experimental reasoning systems from OpenAI and Google DeepMind achieved scores meeting the gold medal threshold by solving five out of six problems under strict, unassisted conditions.

Recognizing how rapidly these models are advancing, Ono relocated across the country to serve as Axiom's founding mathematician, designing complex problems to test and push these systems to their limits.