OpenAI asegura haber encontrado la solución a uno de los problemas más profundos de las matemáticas

OpenAI anunció que un modelo interno de inteligencia artificial logró resolver el problema de existencia y suavidad de las ecuaciones de Navier-Stokes, uno de los siete Problemas del Milenio. La compañía afirma que el sistema alcanzó el resultado tras 88 horas de trabajo computacional.

¿Qué son las ecuaciones de Navier-Stokes?

Estas ecuaciones describen el movimiento de fluidos como el agua y el aire, con aplicaciones críticas en aerodinámica, meteorología e ingeniería. El desafío matemático consiste en determinar si las soluciones tridimensionales pueden mantenerse regulares o si desarrollan una singularidad en tiempo finito.

• El problema fue establecido por el Clay Mathematics Institute en el año 2000.
• Cada solución válida tiene asociado un premio de un millón de dólares.

Controversia por la autoría del hallazgo

El anuncio quedó rápidamente rodeado de polémica. Matemáticos como Tristan Buckmaster, de la Universidad de Nueva York, y Levent Alpöge, investigador de Anthropic, cuestionaron la originalidad del trabajo.

• Ambos llevaban cerca de un año trabajando en una estrategia relacionada con el problema.
• Utilizaron herramientas de IA, incluyendo modelos de OpenAI, durante su investigación.
• Buckmaster sostiene que la compañía conoció sus avances antes de anunciar su propio resultado.

Respuesta de OpenAI

La empresa ha rechazado las acusaciones de haber accedido de manera indebida a información privada. OpenAI sostiene que su resultado fue obtenido de forma independiente y presentó una formalización en Lean, un sistema que permite verificar formalmente pruebas matemáticas.

Escrutinio de la comunidad científica

Aunque el trabajo técnico ha sido publicado, la demostración debe superar el riguroso escrutinio de la comunidad matemática. La revisión independiente será crucial para determinar si cumple con los criterios del Clay Mathematics Institute y para despejar las dudas sobre la independencia y autoría del descubrimiento asistido por inteligencia artificial.