Por qué los legendarios problemas de Erdős ceden ante la inteligencia artificial
OpenAI
El modelo interno de inteligencia artificial de OpenAI refutó el problema de distancia unitaria de Erdős, una primicia histórica. Posteriormente, un modelo llamado Astra resolvió más problemas de Erdős, lo que marcó un cambio de fase percibido en las capacidades matemáticas de la IA. También se examina la influencia del sitio web de Thomas Bloom, que recopiló los problemas de Erdős.
OpenAI anunció que un modelo interno de IA encontró un contraejemplo al problema de la distancia unitaria de Paul Erdős, una conjetura de 1946. El resultado fue mejorado posteriormente por matemáticos humanos, pero era novedoso por usar ideas de un área distante de las matemáticas. El 1 de agosto, OpenAI anunció que otro modelo, Astra, logró 10 avances matemáticos adicionales, resolviendo tres problemas más de Erdős. Noga Alon señaló que estos modelos están cambiando radicalmente la investigación matemática. Thomas Bloom creó el sitio web erdosproblems.com a principios de 2023 para recopilar los problemas de Erdős, y en agosto de 2025 añadió una sección de comentarios, fomentando una comunidad. Un matemático aficionado, Wouter van Doorn, resolvió el problema 1102 con ayuda de la comunidad, recibiendo comentarios de Terence Tao. Más tarde, Kevin Barreto y Liam Price, utilizando GPT-5.2 y GPT-5.2 Pro, intentaron resolver problemas; resolvieron el problema 333, pero resultó que Erdős lo había resuelto en 1977, y luego resolvieron el problema 728 sin que se encontrara una solución previa.
Fuente: Habr — хаб ИИ —
original