University of Chicago
UCLA
Carina HongFounder and CEO · AxiomResearcher↗
Researcher · Academic
Ken Ono
AxiomFounding Mathematician
University of VirginiaProfessor of Mathematics (on leave)
Born 1968
Ken Ono is a number theorist known for advancing Ramanujan’s work on patterns in numbers. Initially skeptical of AI, he took leave from the University of Virginia to join Axiom after seeing its potential to free mathematicians from routine work and help them discover and verify new results.[1]
Career & education
Current rolesAxiomDec 2025-presentFounding MathematicianUniversity of Virginia2019-presentProfessor of Mathematics (on leave)
AxiomDec 2025-presentUniversity of Virginia2019-presentPreviously
Emory University2010-2020Professor of Mathematics
University of Wisconsin-Madison1999-2011Professor of Mathematics
Emory University2010-2020University of Wisconsin-Madison1999-2011Education
Work and education history is primarily focused on AI-relevant roles and may not be comprehensive.
References
- Physics Today — interview with Ken Onophysicstoday.aip.org
First-person account of number-theory research and developing AI for mathematical discovery and proof verification.
Based on public sources. If accuracy is important, verify details using the links or references.
For corrections, updates, or requests to remove information, contact us.
Reviewed October 27, 2026 · Checked for accuracy and new information.
