A Math Legend and Prodigy Team Up to Develop an AI Mathematician

Ken Ono, a titan of modern number theory, has spent his career at the pinnacle of academia, famously translating the work of the legendary self-taught genius Srinivasa Ramanujan into rigorous modern proofs. Ono’s research has uncovered the hidden, predictable structures governing integer partitions, a feat that earned him international acclaim and leadership roles within the American Mathematical Society. Yet, at age 57, Ono made the improbable decision to leave his tenured position at the University of Virginia for the volatile world of Silicon Valley. He joined Axiom, a startup founded by Sarah Hong—a 24-year-old math prodigy and former student of Ono’s—to pursue a project that many believe could define the next era of mathematics.At Axiom, the goal is nothing less than "mathematical superintelligence," an AI capable of making discoveries that transcend the boundaries of human academic specialization. While Ono maintains that human intuition will always be essential due to the vast, infinite nature of math, he is driven by the potential for machine-assisted discovery to promote a diffusion of ideas that humans, bounded by their specializations, might never see. This partnership between the seasoned legend and the rising prodigy represents a high-stakes bet on the future, blending decades of academic wisdom with the disruptive energy of youth to write a new chapter in mathematical history.