OpenAI le dijo a The New York Times que ha logrado "avances sustanciales" en un segundo Problema del Premio Millennium, días después de afirmar haber resuelto el problema de Navier-Stokes. La empresa no ha identificado el problema ni ha proporcionado un calendario para divulgar su trabajo.

Las especulaciones en línea, que OpenAI no ha confirmado, se han centrado en la Conjetura de Hodge, una cuestión matemática de 76 años sobre cómo contar los "agujeros" en formas geométricas complejas. La conjetura, propuesta por el matemático William Hodge en 1950, sugiere que el álgebra puede ofrecer un atajo para analizar estructuras geométricas. Nadie ha demostrado que el atajo funcione en todos los casos.

Los siete Problemas del Premio Millennium fueron establecidos por el Clay Mathematics Institute en 2000, con un premio de un millón de dólares asociado a cada problema. Solo uno de los siete, la Conjetura de Poincaré, ha sido resuelto, y las directrices del instituto exigen que una solución propuesta sea aceptada por la comunidad matemática antes de otorgar el premio. OpenAI afirma que no persigue el dinero. En cambio, la empresa ha descrito los problemas como un punto de referencia público para medir la rapidez con la que mejoran sus modelos.

OpenAI tampoco ha confirmado la especulación de que un modelo no lanzado involucrado en el trabajo sea una versión llamada "Aeon", supuestamente diseñada para tareas de largo plazo y flujos de trabajo agénticos. Tanto la teoría de la Conjetura de Hodge como los reportes sobre Aeon permanecen sin verificar y no son declaraciones de la empresa.

Una publicación en redes sociales citada en la especulación decía:

gpt-6-astra gpt-6-astra-aeon
^ new slugs added to a statsig feature flag that appeared ~30 mins ago in Codex Desktop
"aeon" means "an immeasurably or indefinitely long period of time, an age, or eternity"
— leo 🐾 (@synthwavedd) September 3, 2026

https://x.com/synthwavedd/status/2095536656023470365?ref_src=twsrc%5Etfw

El anuncio anterior de OpenAI sobre Navier-Stokes indicó que un modelo interno no lanzado había producido una demostración verificada en Lean, un software que revisa demostraciones matemáticas un paso lógico a la vez. Como este software verifica cada paso de manera mecánica, una demostración completa en Lean puede ser revisada por otros en lugar de aceptarse bajo confianza. demostración trataba sobre si las ecuaciones de Navier-Stokes —que describen el movimiento de fluidos como el aire y el agua— pueden "explotar" hacia una velocidad infinita físicamente imposible. OpenAI afirmó que el esfuerzo involucró cerca de 10.000 agentes de IA coordinados que trabajaron durante aproximadamente 88 horas. Las ecuaciones son importantes para el diseño de aeronaves, la meteorología y el modelado del flujo sanguíneo, y habían resistido una explicación matemática completa durante casi 90 años. El anuncio de OpenAI está disponible en OpenAI.

El Clay Mathematics Institute no ha completado su revisión de la demostración de Navier-Stokes de OpenAI. Una disputa separada sobre el crédito también sigue sin resolverse. El matemático de la NYU Tristan Buckmaster dijo en una declaración de cuatro páginas que él y el investigador de Anthropic Levent Alpöge habían trabajado en una demostración relacionada durante casi un año y la habían completado antes del 22 de agosto, antes de que Sébastien Bubeck, de OpenAI, se enterara de su trabajo e intentara publicar primero.

Buckmaster afirmó que Bubeck le dijo que permitiera que OpenAI publicara un día después de su equipo o que redactara el artículo solo, sin Alpöge, porque Alpöge trabajaba en un laboratorio competidor. Buckmaster dijo que Bubeck supuestamente le preguntó: "¿Por qué arruinarías tu carrera?"

Estos desarrollos ocurren mientras las empresas de IA abordan tareas matemáticas cada vez más difíciles. Anthropic informó esa misma semana que su modelo Claude formalizó en 11 días una demostración de 358 años de antigüedad del Último Teorema de Fermat. El matemático Terence Tao ha advertido que la competencia entre laboratorios de IA podría agotar el suministro de problemas matemáticos difíciles y útiles más rápido de lo que se descubren otros nuevos.

La siguiente prueba para las afirmaciones de OpenAI será la verificación independiente por parte del Clay Mathematics Institute o de matemáticos externos. Las revisiones de candidaturas anteriores al Premio Millennium han tomado años en lugar de semanas, y el segundo problema enfrentará el mismo obstáculo una vez que OpenAI lo identifique y divulgue su trabajo.