OpenAI publica más de 700 manuscritos de IA sobre problemas abiertos y los matemáticos quedan en shock

OpenAI ha publicado más de 700 manuscritos escritos por IA que declaran soluciones a problemas matemáticos abiertos. Uno de los blogs de matemáticas reunió más de 100 respuestas de investigadores. Entre ellas hay admiración por las nuevas ideas, miedo existencial y duelo por una forma de trabajar que se pierde. El ganador de la Medalla Fields Hugo Duminil-Copin respondió con brevedad: «Estoy paralizado».

Qué ha ocurrido exactamente

La escala importa aquí más que cualquier resultado individual. Hasta ahora, los avances matemáticos de la IA se comunicaban uno a uno: un problema, una demostración, una salvedad sobre cómo habían ayudado los humanos. Ahora llegan cientos de textos a la vez. Cada uno pretende cerrar una cuestión en la que la comunidad llevaba tiempo trabajando sin éxito.

Según el material original, los manuscritos solo declaran soluciones. Eso no equivale a resultados confirmados. El mensaje no indica cuántos trabajos han revisado ya expertos independientes ni cuántos han superado esa revisión. Por ahora no está claro qué proporción de los 700 textos es correcta, cuál contiene lagunas y cuál resultará ser una reformulación de algo ya conocido. De ello depende el desenlace: un salto científico o un alud de textos que nadie puede leer.

Por qué la reacción ha sido tan intensa

Las reacciones en el blog cubren todo el espectro. Unos investigadores escriben con fascinación: la IA propone ideas que ellos no habrían alcanzado. Otros hablan del miedo por su profesión. Otros describen duelo, y la palabra es reveladora. Para un matemático, una demostración vale no solo como resultado, sino también como camino hacia la comprensión. El título del material, «¿Cuánta belleza hemos perdido?», apunta justo a ese punto. Si un teorema puede salir de una cadena de montaje, lo que se pone en duda no es su verdad, sino el sentido del trabajo manual que antes daba identidad a la profesión.

La parálisis de la que habla Duminil-Copin parece menos una debilidad que una valoración sobria. Un trabajo que llevaba años puede hacerse en horas, y todavía no está claro qué aportación le quedará al ser humano.

Cifras y hechos clave:

• OpenAI ha publicado más de 700 manuscritos generados por IA;
• los manuscritos declaran soluciones a problemas matemáticos abiertos;
• el blog de matemáticas reunió más de 100 respuestas;
• las reacciones van del interés por las ideas al miedo y el duelo;
• entre quienes respondieron está el ganador de la Medalla Fields Hugo Duminil-Copin;
• el mensaje original no menciona una verificación independiente de todos los manuscritos.

Qué hacer en la práctica

El cuello de botella pasa de la generación de ideas a su verificación. Este es mi análisis, no una afirmación de los autores, pero la lógica es directa. Los matemáticos y los departamentos deberían decidir de antemano quién leerá estos textos y con qué criterios. Hace falta una cola de verificación experta; de lo contrario, el flujo de manuscritos se ahogará en su propio volumen.

Las revistas tendrán que definir una política: si aceptan trabajos escritos por IA, cómo declarar la contribución del modelo y cómo distinguir una demostración correcta de otra que solo lo parece. La verificación formal en sistemas como Lean parece una herramienta lógica para una parte de los resultados, aunque no permitirá cubrir rápidamente los 700 textos.

A quienes siguen el tema desde la industria les conviene tener presente la diferencia entre «publicado» y «confirmado». Hasta que pase la verificación, el titular sobre 700 problemas resueltos sigue siendo una afirmación por demostrar. Cuánto de ella se sostenga dirá si estamos ante una nueva herramienta de la ciencia o ante otra ronda de promesas grandilocuentes.