OpenAI ha revelado su nuevo modelo de inteligencia artificial generativa, Astra, que ha logrado avances significativos en matemáticas al resolver diez problemas que habían permanecido sin respuesta durante más de una década. Este hito marca una nueva era en la colaboración entre humanos y máquinas, dejando entrever cómo la IA podría transformar disciplinas complejas como las matemáticas y la criptografía.
La empresa afirmó que Astra, mediante un coste inferior a 2.000 dólares en tokens de la API de GPT-5.6 Sol, logró abordar retos como el empaquetamiento de esferas en alta dimensión y cuestiones criptográficas basadas en retículos. Este avance se suma al éxito anterior del modelo GPT-5.4, que resolvió un importante problema matemático en solo 80 minutos, y destaca la creciente alianza entre expertos como Terence Tao, reconocido como el “Mozart de las matemáticas”, y tecnologías avanzadas de IA.
El desarrollo de Astra involucró supervisión humana en distintas fases, donde matemáticos expertos reformularon argumentos generados por la IA en manuscritos y los validaron a través del sistema Lean, asegurando la precisión de las demostraciones. Además, OpenAI ha publicado un documento que detalla el proceso de razonamiento detrás de cada prueba.
Uno de los logros más notables es la refutación de las cotas exponenciales, un problema destacado en la teoría de Ramsey. Investigadores como Thomas Bloom han expresado asombro ante este resultado, aunque otros académicos instan a la cautela. Bharath Ramsundar advierte sobre la necesidad de validar estos descubrimientos mediante una revisión exhaustiva por parte de matemáticos humanos antes de considerar su certeza.
A su vez, esta revelación de OpenAI se produce tras los anuncios de Anthropic sobre la identificación de debilidades criptográficas gracias a su modelo Mythos Preview, estableciendo una competencia en el ámbito del descubrimiento de nuevos problemas y soluciones en matemáticas y seguridad. Estos eventos subrayan una carrera tecnológica hacia la superación de las capacidades humanas en áreas especializadas.