Matemáticos piden boicotear a OpenAI tras publicar más de 700 demostraciones de IA de golpe

OpenAI publicó al mismo tiempo más de 700 manuscritos matemáticos escritos por IA. Un día después, la compañía retiró tres de ellos: las demostraciones contenían un error de signo. La Association for Human Mathematics respondió con un llamamiento a boicotear a OpenAI. Terence Tao, ganador de la Medalla Fields, afirmó que la "cosecha" masiva de problemas abiertos puede dejar ramas enteras de las matemáticas menos fértiles.

Qué ha pasado

Las matemáticas van despacio. Un trabajo lo leen primero los colegas, luego los revisores, y solo después adquiere reputación de verificado. OpenAI rompió ese ritmo: cientos de textos aparecieron en un solo momento y ahora tienen que revisarlos personas.

El error de signo en tres trabajos mostró dónde está el cuello de botella. Generar una demostración verosímil es rápido. Comprobar que es correcta exige revisar cada paso, y eso consume horas de trabajo humano. Las fuentes originales no explican por qué se detectaron precisamente esos tres errores ni cómo se verificaron los demás trabajos.

El nombre de la asociación lo dice todo: defiende unas matemáticas hechas por personas. En su formulación, el boicot va dirigido contra OpenAI como empresa, no contra las herramientas de IA en general.

El argumento de Tao: el agotamiento del suelo

La postura de Tao es más interesante que una simple preocupación por la calidad. No dice que la IA se equivoque. Lo que le inquieta es que la IA tenga éxito de forma demasiado masiva. Los problemas abiertos en matemáticas son un recurso limitado. Cada uno es un punto de crecimiento: alrededor de un problema difícil se van formando durante años métodos, escuelas y subcampos enteros. Si se lanza el sistema contra todo y se "recogen" las soluciones de los problemas a su alcance, los jóvenes investigadores pierden el material con el que aprenden y construyen su carrera.

Tao lo describe con la palabra harvesting, es decir, cosecha. Si se retiran los problemas del campo sin haber hecho crecer a su alrededor una teoría nueva, solo queda tierra desnuda. La solución puede ser correcta, pero la comprensión que suele llegar con ella no aumenta para la comunidad.

Hechos clave de la historia:

• Volumen: más de 700 manuscritos publicados de una sola vez.
• Retirada: tres trabajos retirados al día siguiente.
• Motivo de la retirada: un error de signo.
• Reacción de la comunidad: la Association for Human Mathematics anunció un llamamiento a boicotear a OpenAI.
• Argumento principal de Tao: resolver de forma masiva los problemas abiertos agota la "fertilidad" de las ramas de las matemáticas.

Cómo deben afrontarlo las revistas y los investigadores

La historia plantea cuestiones prácticas concretas que ahora habrá que resolver.

Primera: la verificación formal. Si la demostración es de origen automático, es razonable exigir un artefacto formal verificable, y no solo un PDF. Un error de signo se detecta automáticamente en un sistema así, sin depender del esfuerzo de un revisor.

Segunda: el etiquetado de procedencia. Las revistas y los archivos necesitan reglas claras: quién es el autor, qué parte la hizo el modelo y quién asume la responsabilidad por los errores. Sin ellas, la retirada de un trabajo se convierte en un problema de reputación para todo el campo.

Tercera: límites a las publicaciones por lotes. Ningún proceso editorial puede evaluar setecientos textos de una vez. La comunidad tendrá que acordar un ritmo comparable a su capacidad de verificación.

La cuarta afecta a los propios investigadores. Quienes trabajan con problemas abiertos deberían recordar que el valor de un problema no se reduce a su solución. La teoría que lo rodea sigue en manos de las personas, y es algo que la IA, por ahora, no sustituye.

El boicot puede acabar siendo un gesto simbólico. Pero la pregunta que hay detrás no lo es: quién verifica las matemáticas, y cómo, cuando escribirlas resulta más barato que leerlas.