Le milieu académique vient d’être secoué par une grosse nouvelle.

Un mathématicien de renommée mondiale, âgé de 57 ans, a soudainement annoncé qu’il renonçait à son poste de professeur titulaire à vie — pour aller travailler pour une ancienne étudiante de 24 ans.

Ce mathématicien s’appelle Ken Ono et il a enseigné pendant de nombreuses années à l’Université de Virginie. L’entreprise qu’il vient de rejoindre s’appelle Axiom Math, une start-up spécialisée dans l’IA appliquée aux mathématiques, fondée par une de ses anciennes étudiantes, Carina Hong (洪乐澜).

Fait intéressant, Ken Ono n’était pas particulièrement optimiste quant à l’usage de l’IA en mathématiques auparavant. Mais les récentes avancées des modèles dans le raisonnement et la démonstration ont complètement changé sa vision. Il occupe désormais le poste de « Chief Mathematician » chez Axiom Math, où il est chargé d’entraîner les modèles, de concevoir les standards de test et d’orienter la recherche.

Axiom Math, fondée récemment, a déjà levé 64 millions de dollars. Leur objectif est clair : créer une IA capable de raisonnement mathématique, de démonstration automatique et de vérification formelle, puis appliquer ces technologies à la recherche scientifique, à l’audit de sécurité et à la validation en ingénierie.

Quelques mots sur la fondatrice : Carina Hong a étudié les mathématiques au MIT, puis a poursuivi un double doctorat (JD+PhD) en mathématiques et droit à Stanford. Dès sa licence, elle a été nominée au prix Morgan — l’une des plus hautes distinctions pour les étudiants en mathématiques. Après ses études, elle a intégré l’équipe IA avancée de Meta, où elle s’est spécialisée dans le raisonnement mathématique, avant de réunir un groupe d’anciens chercheurs de Meta pour lancer sa start-up.

Aujourd’hui, de nombreux acteurs du secteur estiment que l’apparition d’Axiom Math est un signal fort : alors que les grands modèles atteignent un plafond en matière de raisonnement, la capacité mathématique pourrait bien être leur prochain levier de percée. L’arrivée de Ken Ono est aussi, d’une certaine manière, un vote de confiance du monde académique traditionnel pour cette orientation.

Petite anecdote : Ken Ono est d’origine japonaise, Carina Hong est d’origine chinoise. Deux générations, plus de trente ans d’écart, qui font à nouveau équipe sur cette nouvelle piste de l’IA.