OpenAI Retira Tres Artículos de Matemáticas Generados por IA Tras Error de Signo

OpenAI lanzó 722 artículos de matemáticas generados por IA el 6 de octubre de 2026, pero para el 7 de octubre, tres de ellos fueron retirados. La retractación fue provocada por el descubrimiento de un error de signo en una prueba, lo que socavó argumentos clave en dos manuscritos relacionados.

La publicación original, alojada en el repositorio de GitHub de OpenAI, incluía artículos agrupados en 372 familias de resultados, abordando alrededor de 4,000 problemas no resueltos en matemáticas y reclamando avances en varias conjeturas de larga data, incluidas algunas de los Problemas del Milenio. Cada resultado, según se informa, tomó aproximadamente tres horas de tiempo de cómputo.

La prueba defectuosa provenía de la geometría algebraica, donde un solo error de signo puede invalidar todo un argumento lógico. Tras las retiradas, el catálogo corregido ahora contiene 719 artículos. OpenAI aclaró que las afirmaciones matemáticas en sí no han sido refutadas.

De los artículos restantes, 300 han sido verificados formalmente utilizando Lean, un asistente de pruebas que verifica las pruebas paso a paso, lo que representa aproximadamente el 42% del total. Los críticos han expresado su preocupación por la naturaleza propietaria del modelo utilizado para generar estos artículos, ya que limita la capacidad de los investigadores externos para inspeccionar o reproducir los resultados.

Este incidente marca otro punto de fricción entre OpenAI y la comunidad matemática, tras controversias anteriores, incluida la retirada de un patrocinio de $1 millón de un concurso de matemáticas de IA en Caltech después de las críticas de matemáticos.