INVESTIGACION
OpenAI afirma que su IA resolvió más de 100 problemas matemáticos, con debate sobre qué se considera “resolver”
OpenAI dice que un modelo interno, entrenado desde el 28 de agosto, ha resuelto más de 100 problemas abiertos y una formulación del Problema del Milenio de Navier-Stokes. Sin embargo, no detalla qué problemas ni hay evaluación independiente. La prueba, formalizada en Lean, cumple el enunciado con fuerza externa y mantiene abierto el debate.
Qué ha ocurrido
OpenAI asegura que un modelo interno ha resuelto más de 100 problemas matemáticos abiertos y presentó una demostración para el problema de existencia y suavidad de Navier-Stokes en las formulaciones que permiten aplicar una fuerza externa (C y D). La prueba se formalizó en Lean. No se han publicado los problemas concretos ni evaluaciones independientes. El Clay Mathematics Institute señaló que la solución parece válida pero el proceso de revisión lleva tiempo, y OpenAI no reclamará el premio asociado.
Qué significa para creadores
El caso ilustra por qué conviene comunicar los avances de IA con cautela: una prueba que encaja en el enunciado puede no cerrar la cuestión científica de fondo. Al cubrir o usar estos hitos, subraya siempre las condiciones del resultado (p. ej., necesidad de fuerza externa), la ausencia de verificación independiente y la diferencia entre validez formal (Lean) y comprensión humana. Evita extrapolar capacidades a otros ámbitos hasta que haya revisión externa clara.
Fuente y contexto
Según Xataka (22/09/2026), OpenAI entrenó el modelo desde el 28 de agosto y ha creado un grupo asesor independiente de nueve matemáticos para ayudar a publicar y comunicar resultados; no cobran de OpenAI y sus recomendaciones no son vinculantes. El debate incluye críticas recogidas por Scientific American y reflexiones en el blog de Terence Tao sobre la distancia entre demostración formal y entendimiento matemático.