There’s been a big piece of news in the academic world recently.

A 57-year-old world-class mathematician suddenly announced that he was giving up his tenured professorship—to go work for his 24-year-old former student.

The mathematician is Ken Ono, who taught for many years at the University of Virginia. The company he’s joining is called Axiom Math, an AI math-focused startup founded by his former student, Carina Hong.

Interestingly, Ken Ono used to be skeptical about AI’s ability to tackle mathematics. But the recent performance of these models in reasoning and proof has completely changed his mind. He’s now the “Founding Mathematician” at Axiom Math, responsible for training models, designing test standards, and steering research direction.

Axiom Math was founded only recently, but it has already secured $64 million in funding. Their goal is clear: to develop AI that can perform mathematical reasoning, automated proof, and formal verification, and then apply this technology to real-world scenarios like scientific research, security auditing, and engineering validation.

Now, about the founder: Carina Hong got her undergraduate degree in mathematics from MIT, then went on to Stanford for a joint JD+PhD program in math and law. As an undergrad, she was nominated for the Morgan Prize—one of the highest honors for undergraduate mathematicians. After graduation, she joined Meta’s advanced AI team, focusing on mathematical reasoning, and later brought together several former Meta researchers to start this company.

Many in the industry now see Axiom Math’s emergence as a signal: when large models hit a reasoning bottleneck, mathematical capability might be the next breakthrough. Ken Ono’s joining, in a way, is a vote of confidence from traditional academia in this direction.

By the way, Ken Ono is of Japanese descent, and Carina Hong is Chinese. Two generations, over thirty years apart, are teaming up again on this new AI track.