OpenAI, karmaşık ve uzun süreli görevler için tasarlanan yeni bir yapay zekâ modeli olan Astra'yı tanıttı. Bu model, on yıl boyunca çözülememiş matematik ve teorik bilgisayar bilimleri problemlerini çözerek önemli ilerlemeler sağladı. OpenAI, Astra'nın 'sonraki büyük model' olarak tanımladığını ve bu modelin, yüksek boyutlu geometri, kodlama teorisi, aritmetik devre karmaşıklığı, grup teorisi, kuantum karmaşıklığı, kafes kriptografisi ve ekstremal kombinatorik gibi geniş bir alanda çalışmalar yapabildiğini belirtti.

Astra, insan araştırmacılar tarafından hazırlanan argümanları Lean sertifikası olarak formalize ederek, matematiksel doğrulama sistemleriyle kontrol edilebilen kanıtlar üretebiliyor. OpenAI, Astra'nın geliştirilmesi için kullanılan token sayısının, Sol API tarifleriyle yaklaşık 2.000 dolar olduğunu belirtti. Astra, GPT-5.7 veya GPT-6 olarak piyasaya çıkabilir ve OpenAI, bu modelin bir versiyonunun tüketicilere sunulabileceğini, ancak daha güçlü bir varyantın özel onay gerektirebileceğini düşündüğü söyleniyor.

OpenAI, Astra'nın uzun süreli iş yükleri için tasarlanmış yeni bir model ailesi olduğunu ve bu modelin, farklı bölümlerde çalışan yapay zekâ ajanlarının bir arada çalışmasını sağlayacağını belirtti.