Bio

Ken Ono is an American mathematician, born March 20, 1968 in Philadelphia, Pennsylvania. He is the Founding Mathematician at Axiom Math, the formal-mathematics AI company founded by Carina Hong, where he joined in December 2025 to lead the company's mathematical-research direction in partnership with the AxiomProver formal-verification system. He was previously the Marvin Rosenblum Professor of Mathematics and STEM Adviser to the Provost at the University of Virginia, where he held the Thomas Jefferson Distinguished University Professorship. As of May 2026, his published record spans more than 200 papers across number theory, partition theory, modular forms, and the mathematical legacy of Srinivasa Ramanujan.

At a glance

• Education: BA in mathematics, University of Chicago (1989); PhD in mathematics, UCLA (1993), advised by Basil Gordon.
• Current role: Founding Mathematician at Axiom Math since December 2025.
• Past roles: Marvin Rosenblum Professor of Mathematics, Thomas Jefferson Distinguished University Professor, and STEM Adviser to the Provost, University of Virginia (2019 to 2025); Asa Griggs Candler Professor of Mathematics, Emory University (2010 to 2019); Manasse Professor of Letters and Science, University of Wisconsin-Madison (1999 to 2011); Member, Institute for Advanced Study (1995 to 1997); earlier appointments at the University of Illinois Urbana-Champaign and Pennsylvania State University.
• Key contributions: proof of partition congruences for all primes greater than 3 (joint with Scott Ahlgren, 2000); finite algebraic formula for partition numbers (joint with Jan Bruinier); Rogers-Ramanujan identities framework (joint with Michael Griffin and S. Ole Warnaar, 2014); proof of the umbral moonshine conjecture (joint with Griffin and John Duncan, 2015); 2024 prime detection via partition functions (joint with William Craig and Jan-Willem van Ittersum); founder and director of the Spirit of Ramanujan Global STEM Talent Search.
• Awards: NSF CAREER Award (1999); Sloan Research Fellowship (1999); Packard Fellowship (1999); Presidential Early Career Award for Scientists and Engineers (2000); Guggenheim Fellowship (2003); Fellow, American Mathematical Society (2013); Fellow, American Association for the Advancement of Science.
• Personal site: uva.theopenscholar.com/ken-ono
• LinkedIn: Ken Ono
• Wikipedia: Ken Ono

Origins

Ono was born March 20, 1968 in Philadelphia, the son of Takashi Ono, a number theorist who emigrated from Japan after the Second World War and held faculty positions at Princeton, Pennsylvania, and Johns Hopkins. He completed an undergraduate degree in mathematics at the University of Chicago in 1989 and a PhD at UCLA in 1993 under Basil Gordon, the algebraic combinatorialist and student of Tom Apostol.

After short visiting positions at the University of Georgia and the University of Illinois Urbana-Champaign, Ono spent 1995 to 1997 as a member of the Institute for Advanced Study in Princeton. He held assistant and full professor appointments at Pennsylvania State University from 1997 to 2000 and at the University of Wisconsin-Madison from 1999 to 2011, where he held the Manasse Professor of Letters and Science chair. He moved to Emory University in 2010 as the Asa Griggs Candler Professor of Mathematics, then to the University of Virginia in 2019 as the Thomas Jefferson Distinguished University Professor, the Marvin Rosenblum Professor of Mathematics, and STEM Adviser to the Provost.

Career

Ono's published research record spans partition theory, the theory of modular forms, the arithmetic of L-functions, and the mathematical legacy of Srinivasa Ramanujan. The 2000 joint paper with Scott Ahlgren, Distribution of the partition function modulo m, proved that partition congruences exist for every prime modulus greater than 3, extending Ramanujan's three classical congruences for moduli 5, 7, and 11 to a complete arithmetic structure. The joint work with Jan Bruinier produced an algebraic formula for partition numbers as a finite sum of algebraic numbers. The 2014 paper with Michael Griffin and S. Ole Warnaar provided a framework for the Rogers-Ramanujan identities and their arithmetic properties. The 2015 work with Griffin and John Duncan proved the umbral moonshine conjecture, extending the original moonshine conjecture work of Richard Borcherds.

In 2024 Ono published, with William Craig and Jan-Willem van Ittersum, Partition functions detect primes, a paper proving that integer partition functions encode complete information about prime numbers, opening a new direction for the arithmetic of partitions. The result has been characterized in coverage as one of the more striking number-theoretic developments of the 2020s.

Outside the research record, Ono served as scientific consultant on the 2015 film The Man Who Knew Infinity, the biographical film about Ramanujan starring Dev Patel and Jeremy Irons; he and several mathematical colleagues advised the production on mathematical accuracy. He is the founder and director of the Spirit of Ramanujan Global STEM Talent Search, a program supporting emerging mathematicians and scientists who lack traditional institutional support, with seed grants and mentorship through partnerships with Templeton World Charity Foundation and the Expii education platform. He has also served as advisor to the United States Olympic swimming program from 2016, an unusual cross-domain assignment that has been profiled in mainstream coverage.

In 2025, Ono took leave from the University of Virginia to join Axiom Math in Palo Alto, California, as Founding Mathematician. The transition was announced in connection with the December 2025 AxiomProver result on a 20-year-old open number-theory conjecture that Ono had himself been unable to solve, a result reported by Carina Hong as a personally significant data point in the AxiomProver capability disclosure. The role at Axiom is the principal cross-academic appointment for Ono after a 32-year academic research career.

Affiliations

• Pennsylvania State University: Assistant Professor and Associate Professor, 1997 to 2000.
• University of Wisconsin-Madison: Associate Professor and Manasse Professor of Letters and Science, 1999 to 2011.
• Emory University: Asa Griggs Candler Professor of Mathematics, 2010 to 2019.
• University of Virginia: Thomas Jefferson Distinguished University Professor, Marvin Rosenblum Professor of Mathematics, and STEM Adviser to the Provost, 2019 to 2025.
• Axiom Math: Founding Mathematician, December 2025 to present.

Notable contributions

• Distribution of the partition function modulo m (Annals of Mathematics, 2000). Joint with Scott Ahlgren, the paper proved partition congruences exist for every prime modulus greater than 3, extending Ramanujan's three classical congruences to a complete arithmetic structure.
• Finite algebraic formula for partition numbers (joint with Jan Bruinier). Algebraic-number representation for the partition function on a class number theory of weak Maass forms.
• Rogers-Ramanujan identities framework (2014, with Michael Griffin and S. Ole Warnaar). Provided the arithmetic-combinatorial framework for the Rogers-Ramanujan identities and their arithmetic properties.
• Proof of the umbral moonshine conjecture (2015, with Griffin and John Duncan). The proof connected umbral moonshine to weight-1/2 mock modular forms.
• Partition functions detect primes (PNAS, 2024). Joint with William Craig and Jan-Willem van Ittersum, the paper proved that integer partition functions encode complete information about prime numbers.
• My Search for Ramanujan (2016). Co-authored with Amir Aczel, the autobiography emphasizes Ramanujan's mathematical lineage as a personal influence.
• Spirit of Ramanujan Global STEM Talent Search. Founder and director of the talent program supporting emerging mathematicians and scientists outside traditional institutional pathways.
• Public engagement. Mathematical consultant on The Man Who Knew Infinity (2015); United States Olympic swimming advisor since 2016.
• Recognition. Sloan Research Fellow (1999); Packard Fellow (1999); NSF CAREER Award (1999); Presidential Early Career Award for Scientists and Engineers (2000); Guggenheim Fellow (2003); Fellow of the American Mathematical Society (2013); Fellow of the American Association for the Advancement of Science.

Position in the field

As of May 2026, Ono occupies a distinctive position bridging classical number-theoretic research and the formal-mathematics AI category. The Founding Mathematician role at Axiom Math is structurally unusual for a senior research mathematician of his standing, particularly one with established academic appointments at the Marvin Rosenblum chair tier and a 32-year publication record. The transition is the most-watched cross-domain academic move in the AI-for-mathematics segment of the 2024 to 2026 period.

The combination of Ono's research record on partition theory and modular forms with Carina Hong's undergraduate-research and Rhodes-Scholar profile gives Axiom Math a distinctive academic-credibility configuration relative to peer mathematical-AI insurgents. Industry coverage has consistently identified Ono's affiliation as a structurally significant signal for the formal-mathematics-AI category, particularly in light of the December 2025 AxiomProver autonomous proof of an open conjecture that Ono himself had attempted.

Outlook

Open questions over the next 6 to 18 months:

• AxiomProver-driven research collaborations. Whether Ono's role at Axiom Math produces co-authored research artifacts that combine human-mathematician direction with AxiomProver-generated proofs, and the cadence at which such results appear.
• Continued pure-mathematics output. Whether Ono continues a parallel research program in partition theory and modular forms during the Axiom tenure.
• Mathematical research network at Axiom. Continued recruitment of senior research mathematicians under Ono's direction at the Founding Mathematician role.
• Spirit of Ramanujan program continuity. The talent-search program's continued operation alongside the Axiom Math role.
• Number-theoretic capability disclosures by AxiomProver. Continued autonomous-proof results on open conjectures across number theory and adjacent fields.

Sources

• Ken Ono. Wikipedia biographical entry covering education, career, and research record.
• Ken Ono UVA Open Scholar profile. University of Virginia faculty profile.
• Ken Ono full vitae. Curriculum vitae as of May 2025.
• Distribution of the partition function modulo m. The 2000 joint Annals of Mathematics paper with Scott Ahlgren on partition congruences.
• Partition functions detect primes. The 2024 PNAS paper with William Craig and Jan-Willem van Ittersum.
• Mathematics' Nearly Century-Old Partitions Enigma Spawns Fractals Solution. Scientific American profile of the partition-function research.
• Renowned Professor Ken Ono Taking Leave From Virginia To Work For AI Startup In Silicon Valley. SwimSwam coverage of the Axiom Math transition.
• Legendary US mathematician Ken Ono: From influential mentor to working for former student Carina Hong's AI startup. VnExpress coverage of the Axiom Math role.
• Ken Ono - A Renaissance Man. University of Virginia profile.
• Spirit of Ramanujan Global STEM Talent Search. Talent program founded and directed by Ono.
• My Search for Ramanujan. The 2016 autobiographical book with Amir Aczel.