Ken Ono, one of the most prominent figures in modern number theory, has taken leave from the University of Virginia to join Axiom Math, an AI startup founded by his former student, Carina Hong.