OpenAI no ha terminado de sacar provecho de las preguntas abiertas más difíciles de las matemáticas, al menos no en cuanto al crédito por resolverlas, ya que la compañía dice que no quiere el dinero.

Días después de afirmar haber resuelto las ecuaciones de Navier-Stokes, OpenAI comunicó al New York Times que ha logrado un "progreso sustancial" en otro Problema del Milenio, uno de los siete grandes enigmas que el Instituto Clay de Matemáticas ha respaldado con una recompensa de 1 millón de dólares desde el año 2000.

OpenAI aún no ha dicho a qué problema se refiere, pero expertos, entusiastas y reporteros tienen sus teorías.

Los comentarios en redes sociales se han centrado en la Conjetura de Hodge, un enigma de 1950 sobre cómo contar los "agujeros" en formas geométricas complejas, del tipo con tantas dimensiones que nadie puede visualizarlas. El matemático William Hodge propuso un atajo utilizando álgebra en lugar de geometría para hacerlo, pero nadie ha demostrado que el atajo siempre funcione.

OpenAI no ha confirmado esa suposición, ni tampoco ha confirmado los rumores de que el modelo no lanzado detrás de este trabajo es la supuesta versión Aeon, construida para tareas de largo horizonte temporal y flujos de trabajo agenciales. Ambas son especulaciones, no declaraciones de la compañía.

El 8 de septiembre, OpenAI anunció que un modelo interno no publicado produjo una prueba verificada por Lean —Lean es un software que verifica una prueba matemática paso a paso— mostrando que las ecuaciones de Navier-Stokes, que describen cómo se mueven fluidos como el aire y el agua, pueden "explotar" en una velocidad infinita físicamente imposible. Lograrlo requirió aproximadamente 10.000 agentes de IA coordinados trabajando durante unas 88 horas.

Esto es un gran avance más allá del departamento de matemáticas. Navier-Stokes es la base del diseño de aeronaves, la predicción del tiempo y cómo los médicos modelan el flujo sanguíneo, y se había resistido a una explicación matemática completa durante casi 90 años.

Pero el anuncio fue controvertido. El matemático de la NYU Tristan Buckmaster expuso su versión en una declaración de cuatro páginas: él y el investigador de Anthropic Levent Alpöge habían estado persiguiendo discretamente una prueba relacionada durante casi un año y la terminaron el 22 de agosto, antes de que Sébastien Bubeck de OpenAI se enterara y se apresurara a publicarla primero.

Buckmaster afirma que Bubeck le dijo que dejara que OpenAI publicara el día después de su equipo o que lo escribiera solo, sin Alpöge, ya que este trabajaba en un laboratorio rival. "¿Por qué arruinarías tu carrera?", le habría dicho Bubeck cuando se negó.

Esta nueva ola de modelos de IA es tan potente que está haciendo que las matemáticas parezcan geniales. La misma semana, Anthropic dijo que su modelo Claude formalizó una prueba de 358 años del Último Teorema de Fermat en 11 días, y el matemático Terence Tao advirtió que los laboratorios de IA que compiten entre sí están agotando el suministro de problemas matemáticos difíciles y útiles más rápido de lo que se pueden encontrar otros nuevos.

OpenAI dice que no persigue el premio de 1 millón de dólares por publicar ningún resultado; utiliza los problemas como una métrica pública para medir la rapidez con la que sus modelos están mejorando. La próxima prueba de esa métrica será si el Instituto Clay, o cualquier matemático ajeno a la compañía, puede confirmar de forma independiente al menos una de sus afirmaciones, un proceso que, para presentaciones anteriores del Premio del Milenio, ha tardado años en lugar de semanas.