OpenAI presenta Astra al resolver diez problemas matemáticos abiertos con pruebas verificables
El 1 de agosto de 2026 OpenAI anunció Astra, su próxima familia de modelos, mostrando que una versión interna resolvió diez problemas abiertos de matemáticas y ciencias de la computación teórica —sin avances documentados en al menos una década— publicando demostraciones formales verificables en Lean, incluida una construcción que prueba la existencia de grupos no sóficos, pregunta abierta desde 1999. El costo total de cómputo declarado fue de unos 2.000 dólares.
Por qué es un hito
De confirmarse en revisión independiente, sería el primer caso de un modelo de IA resolviendo problemas matemáticos genuinamente abiertos y de larga data con prueba formal verificable por máquina, y no solo replicando resultados conocidos.
Actores
Tecnologías
Geografía
Fuentes
- OpenAI announces its "next major model" Astra by dropping ten previously unsolved math solutionsTHE DECODER · 2026 VerificadaVer fuente
Conceptos relacionados
Referencias al glosario del medio (en preparación).