OpenAI ha presentado Astra, una versión interna de su nuevo modelo de inteligencia artificial generativa, con la que asegura haber resuelto o avanzado en diez problemas matemáticos abiertos durante al menos una década, y en la mayoría de los casos durante mucho más tiempo. El coste total de los cálculos fue inferior a 2.000 dólares en tokens de la API de GPT-5.6 Sol, según datos compartidos por la propia compañía.
Entre los problemas abordados figuran cuestiones de empaquetamiento de esferas en alta dimensión y de criptografía basada en retículos. El resultado más llamativo, según el matemático Thomas Bloom, es la refutación de las cotas exponenciales en el problema 21 de la teoría de Ramsey, equivalente al problema 183 de Erdös.
El proceso combinó la generación de argumentos por parte de Astra con supervisión humana: expertos transformaron los argumentos en manuscritos y estos se formalizaron en certificados verificables con el sistema Lean. OpenAI también ha publicado un documento adicional en el que su IA reconstruye el razonamiento seguido en cada prueba.
El anuncio coincide con un momento de efervescencia en la aplicación de la IA a las matemáticas: en abril, GPT-5.4 resolvió un problema de Erdös en 80 minutos, y hace dos semanas el modelo Fable 5 de Anthropic contribuyó a refutar una conjetura de casi un siglo. El matemático Terence Tao ha incorporado la IA como aliada habitual en su trabajo.
La reacción de la comunidad ha sido mixta. Investigadores como Bharath Ramsundar e Itai Sher pidieron cautela y reclamaron mayor transparencia, incluida la publicación de los problemas no resueltos. La investigadora Jenny Lorraine Nielsen señaló que al menos una de las demostraciones contiene un error. El anuncio también llega días después de que Anthropic atribuyera a su modelo Mythos Preview el hallazgo de nuevas debilidades criptográficas, tras invertir 100.000 dólares en tokens.