// PERSON
Ken Ono
ROLE FOUNDING MATHEMATICIANAT AXIOM MATHMENTIONS 3LAST SEEN MAY 26, 2026
// BIO
Founding mathematician at Axiom Math who characterized the company's hybrid AI-human proof approach as a new paradigm for academic mathematics.
Discussed in
// RECENT MENTIONS
// SIGNALS
3 SIGNALS
01
product·Axios AI+·MAY 26, 2026
“AI math startup; raised $200M at a $1.6B valuation (March 2026); uses formal proof language Lean via its AxiomProver tool.”
Source→02
mention·Axios AI+·MAY 26, 2026
“To our knowledge, Axiom is the first to bring this model into the journal literature in this explicit way. — Ken Ono, Axiom Math”
Source→03
hire·张小珺Jùn｜商业访谈录·APRIL 20, 2026
“Ken has the personality of a high school basketball coach — he keeps everyone enthusiastic and optimistic. He also intercepted an offer from OpenAI to join us.”
Source→AI-extracted from podcast / newsletter / paper summaries. May contain errors.