RespuestasPublicado21 fuentes
Por qué OpenAI retiró tres de sus 722 manuscritos matemáticos
El 7 de octubre de 2026, OpenAI retiró tres manuscritos publicados el día anterior: un error de signo invalidó un argumento y afectó a otros dos trabajos que dependían de él. El catálogo actualizado reúne 719 manuscritos en 372 familias; además, OpenAI informó que revisó otros 14 y actualizó referencias en 13 trabaj...
Publicado porEditado con GPT-6 LunaImágenes generadas con GPT Image 2
Respuesta de investigación
Conclusiones clave
- El 7 de octubre de 2026, OpenAI retiró tres manuscritos publicados el día anterior: un error de signo invalidó un argumento y afectó a otros dos trabajos que dependían de él.
- El catálogo actualizado reúne 719 manuscritos en 372 familias; además, OpenAI informó que revisó otros 14 y actualizó referencias en 13 trabajos relacionados.
Prompt de IA
openai.comCreate a landscape editorial hero image for this Studio Global article: What led OpenAI to withdraw three of the 722 mathematics manuscripts it released on Oct. 6 in a public GitHub repository, how were these man. Article summary: OpenAI withdrew three manuscripts less than a day after releasing 722 AI-generated mathematics manuscripts on October 6, 2026. A sign error broke a proof about Weil classes, and two papers that relied on that proof could. Topic tags: general, general web. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, charts with fake numbers, clic
OpenAI retiró tres manuscritos de matemáticas el 7 de octubre, menos de un día después de publicar 722 trabajos generados por un modelo interno en GitHub. Un error de signo invalidó el argumento central de uno de ellos y dejó sin sustento otros dos que dependían de esa demostración. El episodio muestra que hacer público un manuscrito no es lo mismo que verificar sus resultados de forma independiente. 24
35
Qué publicó OpenAI
El 6 de octubre, OpenAI compartió manuscritos producidos por un modelo interno que no ha publicado. El repositorio organizaba los trabajos en 372 familias: grupos de artículos relacionados que pueden incluir un resultado principal, argumentos complementarios, consecuencias o demostraciones alternativas. La colección abarca áreas como álgebra, geometría e informática. 1
35
38
Por eso, las 722 piezas no representan 722 resultados independientes. Algunos manuscritos se apoyan en argumentos o construcciones desarrollados en otros trabajos de la misma familia. Esa relación fue clave para entender los retiros. 1
24
El error que afectó a tres manuscritos
El problema apareció en Algebraicity of Weil classes on split abelian eightfolds. En un argumento importante, el manuscrito asignó el signo +1 a una operación geométrica que, según las convenciones del propio trabajo, debía llevar −1. El error rompió una cancelación necesaria para sostener la construcción presentada. 21
24
27
Otros dos manuscritos dependían de ese trabajo: Algebraicity of Kuga–Satake Correspondences for K3 Surfaces y The rational Hodge conjecture for products of K3 surfaces. Al fallar el argumento de base, las afirmaciones que se apoyaban en él quedaron sin respaldo, y OpenAI retiró los tres textos. Esto significa que fallaron las demostraciones de esos manuscritos; no que se hayan refutado las conjeturas que abordaban. 21
24
35
Qué cambió en el repositorio
La actualización del 7 de octubre informó del retiro de los tres manuscritos, de revisiones en otros 14 y de cambios en las referencias de 13 trabajos complementarios. El catálogo pasó de 722 a 719 manuscritos y siguió organizado en 372 familias. 1
24
28
El repositorio y los materiales de publicación de OpenAI advierten que los resultados se encuentran en distintas etapas de verificación y que algunos pueden contener errores. La empresa también señaló que consultó al Grupo Asesor sobre Matemáticas e Inteligencia Artificial para orientar la forma de compartir estos trabajos. Por eso, conviene leerlos como material abierto al análisis, no como descubrimientos ya establecidos. 1
33
39
Qué comprueba Lean y qué queda por revisar
La colección incluye formalizaciones en Lean para algunos resultados. Lean es un asistente de demostración que permite comprobar pruebas matemáticas formalizadas con ayuda de una computadora. Sin embargo, las fuentes disponibles informan cifras con unidades distintas: un resumen cuenta unos 300 de los 719 resultados principales como formalizados; otro registra 162 de los 722 manuscritos con una formalización de su resultado principal. No son medidas directamente equivalentes y ninguna indica que todas las afirmaciones de cada artículo hayan sido verificadas de forma independiente. 25
33
36
La consulta al grupo asesor y la presencia de pruebas formalizadas ofrecen contexto para evaluar la publicación, pero no eliminan la necesidad de revisar los argumentos escritos ni el alcance de cada afirmación. El retiro también pone de relieve la importancia de examinar los vínculos entre artículos: un error en un argumento compartido puede repercutir en más de un manuscrito. 24
33
39
La conclusión: los demás resultados también requieren revisión
Los retiros establecen que un argumento concreto falló y que otros dos manuscritos no podían sostenerse sobre esa base. No demuestran que los demás trabajos estén equivocados, ni que sus afirmaciones sean correctas. Cada resultado debe evaluarse por separado, atendiendo a su demostración, sus supuestos y sus dependencias respecto de otros trabajos. 1
21
35
Studio Global AI
Continúe su investigación
Esta página incluye una respuesta respaldada por fuentes que puede continuar dentro de Studio Global.
La gente también pregunta
¿Cuál es la respuesta corta a "Por qué OpenAI retiró tres de sus 722 manuscritos matemáticos"?
El 7 de octubre de 2026, OpenAI retiró tres manuscritos publicados el día anterior: un error de signo invalidó un argumento y afectó a otros dos trabajos que dependían de él.
¿Cuáles son los puntos clave a validar primero?
El 7 de octubre de 2026, OpenAI retiró tres manuscritos publicados el día anterior: un error de signo invalidó un argumento y afectó a otros dos trabajos que dependían de él. El catálogo actualizado reúne 719 manuscritos en 372 familias; además, OpenAI informó que revisó otros 14 y actualizó referencias en 13 trabajos relacionados.