OpenAI asegura que su IA ha resuelto más de 100 problemas matemáticos. Hay un problema: qué significa exactamente "resolver"

OpenAI asegura que un modelo de IA interno ha resuelto más de 100 problemas matemáticos abiertos, y lo ha logrado en apenas unas semanas.

Es un logro extraordinario, pero uno que abre un melón importante: plantear soluciones quizás no sea suficiente.

La demostración que la empresa publicó sobre las ecuaciones de Navier-Stokes parece responder a una de las formulaciones oficiales de un Problema del Milenio, pero deja abierta una cuestión que muchos matemáticos consideran fundamental.

En OpenAI van a trabajar con un grupo de asesores independientes para publicar y comunicar sus futuros resultados, pero la pregunta está ahí: ¿cuando una IA resuelve un problema matemático, lo resuelve realmente? Qué ha pasado .

OpenAI indicaba ayer que además de "resolver" el problema de Navier-Stokes definido como uno de los Problemas del Milenio, su modelo interno, que llevan entrenando desde el pasado 28 de agosto, también ha resuelto 100 problemas abiertos desde hace años.

En ese anuncio, no obstante, no se dan detalles sobre qué problemas han resuelto ni se incluyen evaluaciones independientes de esos resultados.

En Xataka Según OpenAI y Anthropic, hay que parar el desarrollo de la IA para salvar a la humanidad.

Hay motivos para dudar Navier-Stokes y los matices .

A principios de septiembre OpenAI publicó una demostración al problema de existencia y suavidad de Navier-Stokes , uno de los siete Problemas del Milenio del Clay Mathematics Institute.

Estas ecuaciones describen el movimiento de los fluidos y la gran incógnita consistía en saber si, partiendo de condiciones "suaves" se podía desarrollar una singularidad.

Esto es, si se generaba una situación en la que ciertas magnitudes crecen sin límite en un tiempo finito.

La compañía presentó tanto un artículo matemático como la formalización en Lean, una plataforma informática que permite comprobar este tipo de demostraciones matemáticas.

Las cuatro formulaciones (A, B, C y D) del problema de Navier-Stokes La solución tiene una peculiaridad .

El enunciado oficial admite varias formas de resolver el problema.