Personal de OpenAI cree que la conjetura de Hodge, uno de los Problemas del Milenio, podría resolverse relativamente pronto, según The Information. El reporte pone nombre al reto sobre el que la empresa ya había dicho tener avances sustanciales, pero no equivale a una solución: hasta el 17 de septiembre OpenAI no había publicado una prueba y el Clay Mathematics Institute seguía clasificando la conjetura como no resuelta. La cautela importa porque la propuesta anterior de OpenAI para Navier-Stokes provocó una disputa sobre crédito, trabajo no publicado y la forma en que una compañía de IA entra en una comunidad académica basada en revisión y colaboración.
El reporte pone nombre al próximo objetivo
The Information informó el 17 de septiembre que empleados de OpenAI esperan que la conjetura de Hodge se resuelva relativamente pronto, de acuerdo con una persona familiarizada con el trabajo. El medio añadió que la compañía todavía estudia cómo colaborar con la comunidad matemática y comunicar cualquier resultado después de la controversia que acompañó su anuncio sobre Navier-Stokes.
La señal no apareció de la nada. Cuatro días antes, una portavoz de OpenAI había dicho a The Washington Post que la compañía logró “avances sustanciales” en otro Problema del Milenio y que analizaba cómo compartirlos con cuidado. El nuevo reporte identifica ese problema, pero no aclara qué parte de una eventual demostración está terminada, quién la revisó ni cuándo podría publicarse.
FomoEra había cubierto el rumor previo, que hablaba de empresas de IA con soluciones matemáticas importantes sin identificar compañías ni problemas. La mención de Hodge es el desarrollo verificable que cambia esa historia.
Gerardo Pavez
Qué intenta demostrar la conjetura de Hodge
La conjetura pertenece a la geometría algebraica y conecta dos maneras de estudiar espacios definidos por ecuaciones. Una observa su estructura global mediante herramientas topológicas; la otra busca describir partes de esos espacios con objetos algebraicos más concretos. En términos técnicos, propone que ciertas clases de Hodge en variedades algebraicas proyectivas complejas no singulares son combinaciones racionales de ciclos algebraicos.
La intuición es que determinados rasgos detectados de forma abstracta deberían poder construirse con piezas definidas por ecuaciones. El Clay Mathematics Institute señala que el resultado se conoce en algunos casos especiales, entre ellos los de dimensión menor que cuatro, pero sigue abierto en dimensión cuatro. Resolverlo de manera general implicaría un avance central para comprender la relación entre la forma de esos espacios y las ecuaciones que los generan.
Como los otros problemas de la lista de Clay, Hodge tiene asociado un premio de un millón de dólares. Sin embargo, una prueba publicada no activa un pago inmediato. Las reglas exigen que aparezca en un medio académico que cumpla los requisitos, que pasen al menos dos años y que el resultado obtenga aceptación general en la comunidad matemática. Clay tampoco acepta envíos directos.
Navier-Stokes sigue siendo un antecedente, no un veredicto automático
OpenAI anunció el 8 de septiembre que un sistema interno había producido una solución propuesta para el problema de existencia y regularidad de Navier-Stokes. Según la compañía, unos 10,000 agentes trabajaron durante 88 horas y una formalización en Lean requirió otras 17 horas. El resultado inició el proceso de escrutinio matemático, pero eso no equivale todavía al reconocimiento formal del premio por parte de Clay.
El anuncio también abrió una pelea por el crédito. Los matemáticos Tristan Buckmaster y Levent Alpöge trabajaban en un resultado relacionado; Buckmaster cuestionó si OpenAI pudo beneficiarse de interacciones previas con Codex y criticó la carrera por anunciar primero. OpenAI sostuvo que su trabajo fue independiente y dijo que una investigación interna no encontró que el material de Buckmaster hubiera influido en el sistema. Esa contradicción no está resuelta por una declaración de ninguna de las partes.
El episodio explica por qué el modo de presentar un eventual resultado sobre Hodge importa casi tanto como el calendario. Una colaboración transparente puede ordenar autorías, acceso a borradores y revisión externa, mientras que un anuncio sin una prueba disponible dejaría a la comunidad evaluando una promesa corporativa y no un teorema.
Lo que falta para hablar de una solución
El siguiente hito comprobable no es otro mensaje en redes ni una expectativa interna, sino un manuscrito público con una demostración completa. Después vendrían la revisión independiente, la búsqueda de errores y, si resiste, el largo proceso de aceptación previsto por Clay.
Por ahora, el cambio noticioso es más limitado: un reporte ubica a la conjetura de Hodge detrás de los avances que OpenAI había reconocido sin nombrar. El problema sigue oficialmente abierto y cualquier titular que lo dé por resuelto se adelanta a la evidencia disponible.
