El drama de la IA y las matemáticas: OpenAI y Anthropic resuelven problemas del milenio y enfadan al gremio

OpenAI y Anthropic presumen de resolver problemas matemáticos abiertos desde hace décadas. El gremio no lo está llevando nada bien.

Durante el último año, los grandes laboratorios han anunciado hallazgos en problemas que llevaban generaciones sin moverse. Algunos resultados han ido más lejos de lo que se esperaba, hasta el punto de que uno de los siete problemas del milenio habría caído. Sí, ese club del que muy poca gente ha salido con la carrera intacta.

Qué han resuelto y qué no nos han enseñado todavía

La lista de anuncios es larga y el nivel de detalle, desigual. Los laboratorios publican comunicados con gráficos bonitos, métricas de benchmark y frases del tipo ‘rendimiento a nivel de investigación’, pero el material completo —la demostración, paso a paso, revisable línea por línea— no siempre llega en el mismo paquete. Los matemáticos quieren ver las pruebas antes de aplaudir, y de momento aplauden más bien poco.

Ese es el nudo del asunto. En un paper, la comunidad lee, replica y discute. Aquí, buena parte del proceso viene comprimido en un blog post, con una narrativa que suena a victoria antes de que nadie haya reproducido nada. Y en matemáticas, una demostración que no se puede verificar no es una demostración: es marketing con notación.

Por qué el gremio matemático está que trina

El enfado tiene varios pisos. Primero, la sensación de que los laboratorios entran en la disciplina con la elegancia de una excavadora descontrolada. Segundo, la sospecha incómoda: hay quien pide que OpenAI demuestre que no usó su trabajo para llegar a esos resultados. Cuando una institución tiene que probar que no se ha apoyado en tu obra, la conversación ya no va de ciencia.

Los laboratorios rompen cosas rápido, y en matemáticas lo que se rompe es la confianza del que lleva veinte años revisando una demostración.

OpenAI, mientras, ha movido ficha en la dirección contraria al silencio: quiere consultar a matemáticos de élite para no volver a tropezar con la misma piedra, según el goteo de titulares que ha ido publicando The Verge. Que un laboratorio admita que necesita ayuda externa para no liarla ya es un cambio de guion, teniendo en cuenta que la costumbre del sector ha sido publicar primero y gestionar el incendio después.

El sector insiste en que está aprendiendo de los errores de la primera oleada. Buena intención. El problema es que en matemáticas el suspense no funciona: si el resultado es correcto, aguanta; si no, se cae siempre en público.

Análisis: esto no va de números, va de quién firma

Hay precedentes. Cuando la IA generativa entró en el terreno del arte o de la traducción, el debate duró semanas y se cerró con una resignación productiva: la herramienta se adoptó y las discusiones se mudaron a los derechos de autor, a las licencias y a los porcentajes. Con las matemáticas pasa algo distinto, porque aquí no hay margen para el gusto: un teorema es verdadero o falso, y esa dureza deja a los laboratorios sin refugio retórico.

Por eso creo que el hype está justificado pero mal vendido. Que un modelo ataque problemas abiertos durante décadas es un salto real y negarlo sería necio; lo que no cuela es anunciar resultados sin el material completo, porque convierte cada comunicado en una deuda de horas de revisión gratuita.

La pregunta que queda en el aire no es si la IA va a resolver matemáticas, sino quién se llevará el reconocimiento cuando lo haga. El siguiente capítulo ya tiene forma: más resultados, más revisiones ajenas y más matemáticos pidiendo ver el código antes de firmar nada.

Hype-O-Meter

Nivel de hype: 8/10. Tumbar uno de los problemas del milenio con un sistema actual no es una demo de keynote, es un terremoto con epicentro en Palo Alto. Le falta el 20% que separa un anuncio de un resultado aceptado: las demostraciones completas y el visto bueno de quien lleva media vida mirando ese mismo problema. —Y con el gremio así, el próximo comunicado se va a leer con lupa.

El resumen para vagos (TL;DR)

• 🎯 ¿Qué ha pasado? OpenAI y Anthropic presumen de resolver problemas matemáticos abiertos durante décadas, incluido uno del milenio.
• 🔥 ¿Por qué importa? El gremio no aplaude: exige pruebas y sospecha que se hayan usado trabajos previos sin acreditar.
• 🤔 ¿Nos afecta o es solo un meme? Nos afecta si las demostraciones se publican. Mientras tanto, es un titular esperando revisión.