Un profesor de matemáticas de 57 años, de repente deja su puesto fijo y se va a trabajar para su exalumna de 24 años. Si esto hubiera pasado hace diez años, probablemente habría sido un cotilleo gracioso en el mundo académico. ¿Pero ahora? Tal vez sea la señal más interesante del sector de la IA.

El protagonista de la historia se llama Ken Ono, matemático de origen japonés, que pasó muchos años en la Universidad de Virginia y tenía la carta ganadora de la titularidad. A su edad, lo lógico sería relajarse y disfrutar de su reputación académica. Sin embargo, se lanzó a una startup llamada Axiom Math, con el cargo de "matemático fundador", que suena misterioso pero en realidad significa liderar el entrenamiento de modelos de IA, diseñar benchmarks y definir la dirección científica.

Lo más curioso es que su nueva jefa, Carina Hong, solo tiene 24 años y fue su alumna. ¿Y cuán brillante es ella? Completó una doble titulación en matemáticas y física en el MIT en 3 años, ganó el Premio Morgan, que es el máximo galardón para estudiantes de matemáticas en Norteamérica, y luego empezó un doctorado doble en matemáticas y derecho en Stanford. Pero a mitad de camino, lo dejó para emprender. Antes trabajó en el equipo de IA avanzada de Meta, tiene contactos potentes, reunió a varios exinvestigadores de Meta y, poco después de fundar la empresa, levantaron 64 millones de dólares, con una valoración de 300 millones.

¿Por qué Ken Ono cambió de opinión? Él mismo admite que antes no creía en que la IA pudiera hacer matemáticas, pensaba que esos modelos no eran más que calculadoras. Hasta que vio en persona cómo los modelos más recientes resolvían problemas de razonamiento y demostración matemática, y su visión cambió por completo. El objetivo de Axiom Math es claro: convertir la IA en un "matemático" real, capaz de razonar, escribir demostraciones y realizar verificaciones formales. Al parecer, ya han resuelto varios problemas que llevaban décadas desafiando a la academia, y su negocio ya empieza a escalar: la ingeniería financiera y la auditoría de seguridad están en la cola.

Detrás de todo esto hay un razonamiento más profundo: el desarrollo de los modelos fundacionales ha llegado a un punto en el que la capacidad de razonamiento es el cuello de botella, y las matemáticas pueden ser la clave para superarlo. El salto de Ken Ono supone, en cierto modo, el respaldo del mundo académico a esta vía. ¿Ganarán esta apuesta? El tiempo lo dirá, pero al menos, de momento, esta combinación es de lo más estimulante.