Los matemáticos se conmocionan tras el rilascio de 700 pruebas generadas por IA de OpenAI

Una inundación de pruebas

El 6 de octubre de 2026, OpenAI dejó caer más de 700 manuscritos en GitHub, pretendiendo soluciones a cientos de problemas abiertos de matemáticas. El lanzamiento llegó apenas meses después de que la compañía revelara su modelo GPT-6 Astra, que ya había sorprendido a investigadores al resolver problemas que antes se creían muy más allá del alcance de la IA.

Los modelos de IA habían luchado durante mucho tiempo con las matemáticas. Apenas unos años atrás, fallaban en problemas que estudiantes avanzados resolvían rutinariamente. Pero los avances se acumularon a partir de mediados de 2026, incluyendo trabajo sobre la Conjetura de la Distancia Unitaria, el problema de existencia y suavidad de Navier-Stokes y diez soluciones presentadas en el lanzamiento de Astra.

Reacciones mixtas

El blog de matemáticas Proofs and Prompts recopiló más de 100 respuestas de investigadores. La gama fue amplia. El Medallista Fields Peter Scholze instó a la paciencia, escribiendo que "las matemáticas son una maratón, no un sprint" y advirtiendo que el objetivo siempre será la comprensión humana de las matemáticas, lo cual toma tiempo ¹. También planteó la posibilidad de que estos sistemas pudieran encontrar formas de romper métodos de cifratura ampliamente utilizados, calificando las consecuencias para la infraestructura digital como "catastróficas" .

Terence Tao describió las pruebas generadas por IA como potencialmente fructíferas una vez bien digeridas, pero dijo que estaba "profundamente frustrado" por la ausencia de personas que pudieran discutir, presentar o enseñar el trabajo. Llamó a la solidaridad en toda la comunidad ¹.

Ben Green llamó a algunos resultados "absolutamente impactantes", señalando que el lanzamiento parecía resolver aproximadamente tres cuartas partes de las metas de investigación cubiertas por una prestigiosa subvención europea que recibió apenas el mes anterior ¹.

Shock y dolor

Pero muchas respuestas se centraron no en la calidad de las soluciones, sino en cómo se entregaron. Hugo Duminil-Copin, Medallista Fields de 2022, escribió que el anuncio lo golpeó con una fuerza que no había anticipado ¹. "El shock es inmenso. Estoy paralizado", dijo.

Matt Zaremsky lo comparó con ver llegar a una compañía de mil millones de dólares a una excavación de décadas y hacer estallar el sitio con explosivos, entregando todo el esqueleto fósil y caminando away ¹.

Tasmin Chu, quien se enamoró de un problema de teoría de probabilidades como estudiante, dijo que se encontró "absolutamente disgustada por la sociedad" en la que un lanzamiento de este tipo se sentía normal ¹. Para Tristan Humbert, estudiante de doctorado, el anuncio amenazaba su tema de disertación y su búsqueda de empleo. Tras leer el papel, lo llamó "basura mayormente ilegible" .

Algunos de los documentos ya han sido retirados y otros han recibido críticas por ser difíciles de leer. OpenAI había apuntado a la Hipótesis de Riemann, el problema no resuelto más famoso de las matemáticas, pero solo logró una variante más débil ¹.

Los datos clave

• OpenAI publicó más de 700 manuscritos de matemáticas generados por IA el 6 de octubre de 2026
• Más de 100 investigadores respondieron, muchos expresando shock y dolor
• El Medallista Fields Peter Scholze advirtió que los sistemas podrían romper la cifratura
• Algunos documentos han sido retirados; otros criticados por ser ilegibles
• OpenAI apuntó a la Hipótesis de Riemann pero probó solo una variante más débil

Seen on social

Introducing Microsoft-Decision-1, our new model for fast decision-making. It delivers top performance on structured decision tasks, outperforming both LLMs and other decision models in latency and quality. We’re already testing it across Microsoft for everything from incident… pic.twitter.com/M3fAOD90r6

— Satya Nadella on X, see the post

Fuentes

1. "How much beauty have we lost?" Mathematicians react with shock and disgust as OpenAI bulldozes their field — the-decoder.com