El mundo académico acaba de verse sacudido por una gran noticia.

Un matemático de talla mundial de 57 años anunció de repente que renunciaba a su puesto vitalicio... para irse a trabajar para una exalumna de 24 años.

Este matemático se llama Ken Ono y ha enseñado durante muchos años en la Universidad de Virginia. La empresa a la que se ha unido ahora es Axiom Math, una startup centrada en matemáticas con IA, fundada nada menos que por su antigua alumna Carina Hong.

Lo curioso es que Ken Ono no era precisamente un entusiasta de la inteligencia artificial aplicada a las matemáticas. Pero los recientes avances de estos modelos en razonamiento y demostración le han hecho cambiar de opinión por completo. Ahora es el “Chief Mathematics Officer” de Axiom Math, encargado de entrenar modelos, diseñar estándares de pruebas y marcar la dirección de la investigación.

Axiom Math se fundó hace poco y ya ha conseguido una financiación de 64 millones de dólares. Su objetivo es claro: crear una IA capaz de razonar matemáticamente, demostrar teoremas de forma automática y realizar verificación formal, para aplicar todo esto en investigación, auditoría de seguridad y verificación de ingeniería en escenarios reales.

En cuanto a la fundadora, Carina Hong estudió matemáticas en el MIT y después hizo un doble doctorado (JD+PhD) en matemáticas y derecho en Stanford. Ya en la carrera fue nominada al premio Morgan, uno de los mayores reconocimientos a nivel universitario en matemáticas. Tras graduarse, trabajó en el equipo de IA avanzada de Meta, centrada en razonamiento matemático, y reunió a varios exinvestigadores de Meta para fundar la startup.

Ahora, muchos en el sector ven la aparición de Axiom Math como una señal: cuando los grandes modelos se topan con el cuello de botella del razonamiento, la capacidad matemática podría ser el próximo gran avance. La incorporación de Ken Ono puede verse, en cierto modo, como un voto de confianza de la academia tradicional hacia esta dirección.

Por cierto, Ken Ono es de origen japonés y Carina Hong, de origen chino. Dos generaciones, más de treinta años de diferencia, y ahora vuelven a formar equipo en la nueva carrera de la IA.