OpenAI afirma resolver tres grandes problemas científicos, la academia debe verificarlos

OpenAI anunció que uno de sus modelos de inteligencia artificial, aún sin publicar, logró avances en tres problemas abiertos de matemáticas, informática teórica y física. La empresa afirma que uno de sus modelos internos refutó la Hipótesis del Tiempo Exponencial (ETH), una conjetura de la informática teórica que la comunidad aceptaba como cierta, vigente desde finales de los años noventa. Según los reportes, un grupo independiente de expertos revisará esta prueba junto con los otros dos resultados presentados por la compañía, en un ejercicio de validación externa poco habitual para anuncios corporativos de IA.

La empresa sostiene que el resultado fue obtenido mediante un sistema de inteligencia artificial todavía no presentado públicamente y que supera ampliamente las capacidades de GPT-6 Astra, uno de sus modelos más recientes.

Sin embargo, el anuncio ha generado un intenso debate en la comunidad científica, tanto por la trascendencia del hallazgo como por las dudas surgidas sobre el proceso utilizado para alcanzar la demostración matemática.

Un problema matemático que llevaba más de 90 años sin resolverse

Las ecuaciones de Navier-Stokes son fundamentales para comprender cómo se comportan los fluidos, desde el movimiento del agua y el aire hasta fenómenos tan complejos como las corrientes oceánicas, el flujo sanguíneo o la aerodinámica de los aviones.

Aunque estas ecuaciones fueron formuladas en el siglo XIX por Claude-Louis Navier y George Gabriel Stokes, uno de los grandes interrogantes matemáticos asociados a ellas permanecía abierto: determinar si una solución inicialmente estable puede evolucionar hasta desarrollar una singularidad, es decir, un punto donde ciertas variables crecen sin límite en un tiempo finito.

La resolución de este problema había sido considerada durante décadas uno de los mayores desafíos de la matemática moderna.

OpenAI afirma haber encontrado la respuesta

Según la compañía, su sistema de IA logró demostrar que las ecuaciones sí pueden desarrollar una singularidad en tres dimensiones bajo determinadas condiciones.

La solución fue presentada mediante un documento técnico de 165 páginas, acompañado de una formalización completa en Lean, un lenguaje especializado que permite verificar rigurosamente cada paso de una demostración matemática.

De acuerdo con OpenAI, la prueba demuestra que un fluido inicialmente en reposo y sometido a una fuerza externa suave puede evolucionar hasta alcanzar una singularidad en un tiempo finito, manteniendo al mismo tiempo una energía total limitada.

El episodio llega apenas semanas después de otro hito similar: OpenAI publicó soluciones a tres problemas de matemáticas y física que llevaban décadas sin resolverse, tras una tanda anterior en la que la compañía había difundido cientos de artículos generados por IA. De hecho, el 6 de octubre OpenAI publicó una colección de cientos de trabajos matemáticos elaborados por uno de sus modelos más avanzados, entre los que había propuestas de solución para problemas que llevaban años, incluso décadas, resistiéndose a los mejores especialistas. La comunidad científica se mantiene cautelosa: validar matemáticamente estas pruebas toma tiempo, y especialistas han cuestionado la forma en que la empresa comunica resultados que, de confirmarse, cambiarían el rol de la IA en la investigación básica.

En este escenario es importante que tengamos en cuenta una premisa esencial: que un modelo de IA entregue una demostración formalizada no implica automáticamente que haya resuelto el problema científico en discusión. La comunidad académica debe comprobar que los razonamientos son válidos, que la formalización encaja en el enunciado apropiado y que las conclusiones resisten el escrutinio de los expertos. Todavía no sabemos si la academia dará su visto bueno a todos los resultados que están entregando los modelos de IA de OpenAI, pero probablemente no tendremos que esperar mucho para comprobarlo.