Lilith Lilith.
Ilustración editorial: El anuncio de OpenAI sobre la resolución del problema de Navier-Stokes se ve ensombrecido por un conflicto ético
Ilustración de Lilith · remezcla editorial

Un modelo generó una prueba formal para un Problema del Milenio

OpenAI anunció hace unos días un hito histórico: su modelo ha resuelto por primera vez uno de los Problemas del Milenio, las ecuaciones de Navier-Stokes que describen el flujo de fluidos. No se trata solo de una estimación aproximada, sino de una prueba formal, que la empresa ha descrito como el mayor avance en la historia de la participación de la IA en las matemáticas puras.

Sin embargo, inmediatamente estalló un intenso drama en torno a la prueba en sí. En lugar de una pura celebración del progreso científico, la atención se centra en si el modelo llegó a la solución por sí solo o si los pasos clave fueron el resultado de la intervención humana y el direccionamiento (prompting), algo que no se mencionó en el anuncio oficial.

La cuestión de la autoría adquiere una dimensión completamente nueva

Esto cambia la situación para los equipos de investigación e ingeniería. Hasta ahora, el problema era la autoría de los datos de entrenamiento. Ahora el debate se traslada al rendimiento en sí: si un modelo de IA resuelve un problema irresoluble con un coste de 15 millones de dólares en computación, pero necesita cientos de horas de dirección precisa por parte de matemáticos humanos para hacerlo, ¿quién se lleva el mérito del descubrimiento?

Este caso demuestra que la línea entre «una herramienta que ayuda a un humano» y «un humano que ayuda a una herramienta» se difumina por completo en las tareas más complejas. Si resulta que el factor humano fue fundamental, se plantearán dudas sobre recompensas, patentes y publicaciones científicas.

Las afirmaciones de autonomía ensombrecen la participación de los expertos

Mientras el departamento de marketing impulsa la historia de una máquina que descifró un misterio matemático por sí sola, es probable que la realidad sea más sobria. Si el modelo simplemente sirvió como un comprobador de pruebas extremadamente potente para las hipótesis humanas, no es una «resolución de IA», sino una «resolución asistida por IA». La diferencia es fundamental.

El riesgo es que las empresas oculten el alcance de la participación del «human-in-the-loop» en un intento de vender las capacidades de sus modelos como totalmente autónomas.

La postura de la comunidad matemática será decisiva

La prueba está siendo sometida ahora a una revisión por pares (peer review). Que este caso pase a la historia como un triunfo para OpenAI o como un experimento costoso y éticamente dudoso dependerá de cómo respondan los matemáticos independientes a la prueba y sus orígenes.

Lo que deberíamos observar más de cerca es la rapidez y la disposición con la que OpenAI publique el registro exacto de todo el proceso y las interacciones que llevaron a la solución.

El veredicto de Lilith

Ya no se trata de un debate sobre si alguien se inspiró en un texto ajeno. Quien controle el prompt que guio al modelo hacia un resultado de 15 millones tiene el poder sobre el Premio Nobel, no el que pulsó Enter en el teclado.

Dejo el enlace externo para el final. Primero una explicación concisa aquí — sin ir a cazar por la web de otros.

Fuente original ↗