ChainThink mesajı, 1 Ağustos'ta OpenAI, bir sonraki ana modeli Astra'yı ilk kez resmen duyurdu ve iç sürümü, 10 uzun süredir çözülemeyen matematik ve teorik bilgisayar bilimi sorusunda yeni sonuçlar elde etti.
Bu soruların temel sonuçları en az 10 yıldır ilerleme kaydetmedi, çoğu daha uzun süre durdu. Bunların arasında, Astra ilk kez sofic olmayan bir grup oluşturarak grup kuramındaki temel bir açık soruyu çözdü;
Connes'in sertlik sanısını aynı anda çürüterek üç Erdős sorununu çözdü. Kalan başarılar, küre doldurma, kodlama teorisi, kuantum karmaşıklığı ve post-kuantum kriptografi ile ilgili yeni üst ve alt sınırlar ile zorluk kanıtlarını içeriyor.
OpenAI, modelin bu 10 sonucu bulmak için kullandığı Token'ların Sol API fiyatı üzerinden yaklaşık 2000 dolar olduğunu belirtti.
İlgili matematiksel argümanlar Astra tarafından oluşturuldu, insanlar ardından bunları makaleye düzenlemeye yardımcı oldu ve model, her bir ispatı Lean sertifikasına dönüştürdü, böylece bilgisayar adımlar halinde çıkarımın doğruluğunu doğrulayabilir.