OpenAI, şirketin bir sonraki büyük model ailesi olarak tanımladığı Astra'nın dahili bir sürümünün matematik, kuantum karmaşıklığı ve teorik bilgisayar biliminde on büyük açık problemi çözdüğünü açıkladı. Çözümlerin toplam token maliyeti yaklaşık 2.000 dolar olarak hesaplandı. Bu sonuçlar OpenAI'nin resmî blog yazısı ve GitHub deposuyla doğrulandı.

Her bir argüman, matematiksel kanıtların biçimsel olarak doğrulanmasını sağlayan Lean sertifikası olarak formelleştirildi. İnsan araştırmacılar, modelin ürettiği çözümleri makalelere dönüştürdü. Şirket, bu sürecin hem yapay zekanın matematiksel çıkarım yeteneğini hem de insan-ortaklı çalışma modelini sergilediğini belirtti.

Astra henüz kamuya açık değil

Astra şu an için sınırlı erişimde bulunan bir araştırma demosu konumunda. Model kartı, API belgesi veya fiyatlandırma bilgisi mevcut değil. Akademik hakemli yayın da bulunmuyor; kanıt yalnızca şirketin kendi açıklamalarına dayanıyor. Bu durum, bağımsız doğrulama yapılmadan sonuçların nasıl karşılanacağı sorusunu gündeme getiriyor.

GPT-5.6 ailesi şu anki amiral gemisi

OpenAI'nin 9 Temmuz 2026'da duyurduğu ve API'de kullanıma sunulan güncel amiral gemisi modeli GPT-5.6 Sol. Bu model, Astra'dan ayrı bir ürün hattı. GPT-5.6 ailesi Sol (amiral gemisi), Terra (düşük maliyetli) ve Luna (hızlı/verimli) olmak üzere üç varyanttan oluşuyor. Astra'nın bu yapıyla doğrudan ilişkisi net değil.

GPT-5.6'nın sistem kartı ve teknik raporları yayınlanmış durumda. Astra için ise erişim durumu henüz belirsiz. Şirket, matematiksel yetenekleri öne çıkaran bu yeni model ailesinin ne zaman genel kullanıma sunulacağına dair tarih vermedi. Araştırma topluluğunun, Lean sertifikalarını inceleyerek sonuçları değerlendirmesi bekleniyor.