OpenAI afirma que su IA encontró una solución a uno de los grandes problemas matemáticos del siglo XX
La inteligencia artificial acaba de entrar en uno de los territorios más difíciles de la ciencia. OpenAI afirma haber encontrado una solución al problema de existencia y suavidad de las ecuaciones de Navier-Stokes, uno de los siete Problemas del Milenio de las matemáticas.
El problema lleva aproximadamente 90 años sin una solución aceptada y busca determinar si las ecuaciones que describen el movimiento de los fluidos pueden desarrollar singularidades en determinadas condiciones.
OpenAI publicó un documento con la solución propuesta y una formalización de la demostración utilizando Lean, un lenguaje utilizado para expresar y verificar formalmente pruebas matemáticas.
Una IA más potente que los modelos conocidos
Según OpenAI, la solución fue producida por un sistema interno que es significativamente más capaz que GPT-6 Astra, el modelo que la compañía presentó recientemente.
La compañía no se limitó a utilizar la IA para generar una respuesta. El objetivo fue emplearla como parte de un proceso de investigación capaz de abordar un problema matemático que durante décadas ha permanecido fuera del alcance de una solución definitiva.
El resultado representa una demostración de hasta dónde pueden llegar los sistemas de IA cuando dejan de utilizarse únicamente como asistentes y empiezan a participar directamente en procesos de investigación.
El resultado todavía necesita validación independiente
Existe, sin embargo, una diferencia fundamental entre que una compañía publique una demostración y que la comunidad matemática considere el problema oficialmente resuelto.
La propuesta de OpenAI todavía debe pasar por un proceso de revisión y comprobación independiente. Por eso, en este momento es más preciso hablar de una solución propuesta por inteligencia artificial que de un problema matemático oficialmente resuelto.
La situación también ha generado un debate sobre la procedencia de las ideas utilizadas durante el proceso de investigación y sobre la manera en que los sistemas de IA deben reconocer las contribuciones de investigadores humanos.
La ciencia puede estar entrando en otra etapa
El verdadero impacto de este anuncio podría ir más allá de Navier-Stokes.
Si los sistemas de inteligencia artificial consiguen participar de manera cada vez más efectiva en problemas matemáticos, físicos, químicos o biológicos extremadamente complejos, podrían convertirse en herramientas capaces de acelerar investigaciones que actualmente requieren años de trabajo.
Eso no significa que los científicos vayan a desaparecer. Por el contrario, será necesario verificar los resultados, comprender las demostraciones y determinar cuándo una respuesta generada por una máquina realmente constituye un nuevo descubrimiento.
Comentarios
Publicar un comentario