OpenAI avanza hacia la solución de la conjetura de Hodge tras su intento con Navier‑Stokes

OpenAI habría llegado a una fase avanzada en la búsqueda de una solución para la conjetura de Hodge, el segundo de los siete Problemas del Premio Milenio que aún no tiene respuesta. La empresa ya había intentado resolver el problema de Navier‑Stokes con un modelo interno llamado "Doug", cuyo entrenamiento costó varios millones de dólares y cuyo resultado sigue sin confirmarse oficialmente. Según una persona cercana al proyecto, los investigadores esperan una solución pronto, aunque la publicación podría retrasarse mientras se gestiona la comunicación, tras la polémica generada por el anuncio de Navier‑Stokes.

El objetivo de OpenAI con estos retos matemáticos no está del todo claro. Algunos internos creen que una demostración podría alimentar los procesos de auto‑mejora recursiva que la compañía prioriza, mientras que otros ven la iniciativa como una forma de validar la capacidad de sus modelos de gran escala para razonamiento abstracto. El jefe de investigación, Jakub Pachocki, había señalado en la presentación de Astra que la prioridad sería desarrollar IA capaz de optimizarse a sí misma, no resolver problemas matemáticos per se.

La comunidad matemática ha recibido la noticia con escepticismo y cierta irritación. Varios matemáticos expresan preocupación porque la participación de la IA en la investigación fundamental podría redefinir la práctica del campo, mientras que otros consideran que la intervención de sistemas de aprendizaje profundo podría abrir nuevas vías de descubrimiento. En cualquier caso, la posible solución a la conjetura de Hodge —que pregunta si ciertas propiedades geométricas pueden describirse siempre mediante bloques algebraicos más simples— tendría implicaciones profundas en topología algebraica y teoría de números.

Queda por ver si OpenAI publicará una prueba formal y cómo será validada por los revisores del Clay Mathematics Institute, organismo que otorga los premios Milenio. La empresa parece estar tomando lecciones del anuncio anterior y podría esperar a obtener un consenso interno antes de hacer un comunicado oficial. Mientras tanto, la expectativa en los círculos de IA y matemáticas sigue alta, y el desarrollo de modelos cada vez más capaces de razonamiento simbólico podría marcar un punto de inflexión en la colaboración entre inteligencia artificial y teoría matemática.