La compañía OpenAI dio a conocer que uno de sus modelos conceptuales logró estructurar una demostración matemática para resolver la estabilidad de las ecuaciones de Navier-Stokes, consideración catalogada como uno de los siete Problemas del Milenio. El planteamiento, de ratificarse como válido, significaría el segundo avance histórico dentro de dicha lista de enigmas desde su formulación a principios del siglo XXI.
El anuncio de la firma tecnológica detalló que el hallazgo se alcanzó a través de la coordinación de cerca de 10 mil agentes informáticos trabajando en simultáneo durante un periodo de 88 horas. La investigación arrojó una prueba analítica acompañada de una verificación mediante la plataforma Lean, un entorno especializado en la comprobación lógica rigurosa de teoremas complejas.
El dilema de Navier-Stokes busca determinar la presencia de discontinuidades o puntos de ruptura en el movimiento fluido tridimensional. El desarrollo técnico presentado por la empresa sugiere que estas irregularidades pueden generarse en lapsos finitos, argumento que deberá someterse a un prolongado escrutinio por parte de la comunidad científica independiente antes de obtener una validación oficial por el Instituto de Matemáticas Clay.
A pesar de los cuestionamientos planteados por investigadores independientes respecto al origen de los métodos utilizados, especialistas del sector coinciden en que el logro representa un precedente para la ciencia asistida por algoritmos. De superar las revisiones entre pares, el suceso marcaría la primera ocasión en que un sistema automatizado resuelve un desafío teórico de alcance global.
