Investigadores de OpenAI anunciaron esta semana haber resuelto el problema de Navier-Stokes, uno de los siete desafíos matemáticos más complejos del mundo sin solución durante casi un siglo. Aproximadamente 10,000 agentes de inteligencia artificial trabajaron coordinadamente durante 88 horas para producir el resultado.
El problema, sin resolver por aproximadamente 90 años, pregunta si las ecuaciones que describen el movimiento de fluidos pueden desarrollar una singularidad matemática, donde una cantidad se vuelve ilimitada en tiempo finito. Navier-Stokes es uno de los siete Problemas del Milenio, una lista de las preguntas abiertas más difíciles en matemáticas compilada por el Instituto de Matemáticas Clay.
OpenAI reporta que su sistema produjo una prueba que una singularidad puede formarse en tiempo finito desde un estado inicial suave y físicamente razonable, y que esta prueba ha sido formalizada y verificada en Lean, un lenguaje de verificación de pruebas que matemáticos usan para detectar errores lógicos.
Este avance marca un punto de inflexión en cómo la inteligencia artificial colabora con la investigación científica. Conforme los sistemas de IA evolucionan hacia colaboradores de investigación más sofisticados, garantizar acceso generalizado es fundamental para apoyar a científicos y matemáticos mientras navegan y definen el futuro de sus disciplinas durante esta era transformadora. Para universidades e institutos de investigación en Centroamérica, esto abre puertas a herramientas de cálculo avanzadas que podrían acelerar descubrimientos en campos desde la meteorología hasta la ingeniería hidráulica.
