The Unsolved Announcement
OpenAI vice president Kevin Weil announced in a since-deleted post that GPT-5 had solved ten unsolved Erdős problems and advanced eleven others. The claim rested on entries marked open at the website maintained by mathematician Thomas Bloom. Bloom corrected the announcement, explaining that open there meant he knew of no paper containing a solution. GPT-5 had found references to existing solutions that Bloom had missed. OpenAI researcher Sébastien Bubeck, who had promoted the result, acknowledged that the system found solutions in the literature and defended the difficulty of that search. The deletion closed the announcement, while the expert correction restored the distinction between retrieving a paper and producing a new proof.
The mistake exposed how easily a database label can become a discovery claim when corporate prestige supplies the verb. Open described the limits of the bibliography, yet the announcement treated it as a description of mathematical knowledge. Literature search can be valuable, especially across scattered publications, and finding overlooked references may save researchers work. A proof enters mathematics through arguments that specialists can inspect. A search result points toward an argument already preserved in a paper. By celebrating first, OpenAI transferred verification to mathematicians outside the company and let deletion substitute for a public correction from the executive account. The durable record consists of the explanation from Bloom, the acknowledgment from Bubeck, and the papers returned by the search.
El anuncio sin resolver
Kevin Weil, de OpenAI, anunció en una publicación luego borrada que GPT-5 había resuelto diez problemas de Erdős sin solución y avanzado en otros once. La afirmación partía de entradas marcadas como abiertas en el sitio del matemático Thomas Bloom. Bloom corrigió el anuncio y explicó que, allí, abierta significaba que él no conocía ningún artículo con una solución. GPT-5 había encontrado referencias a soluciones existentes que Bloom no había visto. Sébastien Bubeck, investigador de OpenAI que había difundido el resultado, reconoció que el sistema encontró soluciones en la literatura. El borrado cerró el anuncio corporativo, mientras la corrección experta restableció la diferencia entre recuperar un artículo y producir una demostración nueva.
El error mostró la facilidad con que una etiqueta de base de datos puede convertirse en hallazgo cuando el prestigio empresarial aporta el verbo. Abierto expresaba los límites de una bibliografía, pero el anuncio lo trató como una descripción firme del conocimiento matemático. Buscar literatura puede ser valioso, y localizar referencias olvidadas puede ahorrar trabajo. Una demostración entra en las matemáticas mediante argumentos que los especialistas pueden revisar. Un resultado de búsqueda conduce a un argumento ya conservado en un artículo. Al celebrar primero, OpenAI trasladó la verificación a otros matemáticos y permitió que el borrado sustituyera una rectificación. El registro queda en la explicación de Bloom, el reconocimiento de Bubeck y los artículos recuperados por la búsqueda.
