OpenAI, 1 Ağustos’ta bir sonraki büyük model ailesine Astra adını verdi ve şirket içinde kullanılan bir sürümün, matematik ve kuramsal bilgisayar biliminde yıllardır tıkanmış 10 önemli problemi çözdüğünü açıkladı.
Öne Çıkanlar:
- OpenAI, en az on yıldır ilerleme kaydedilemeyen 10 problemde elde edilen sonuçlarla birlikte Astra adını resmen doğruladı.
- Liste; non-sofik grupların inşasını, Connes’in rijitlik varsayımının çürütülmesini ve üç Erdős probleminin çözümünü içeriyor.
- Her argüman, makine tarafından denetlenebilir Lean sertifikasıyla sunuldu; tüm çalışma Sol API fiyatlamasıyla yaklaşık 2.000 dolarlık token maliyetine ulaştı.
OpenAI Astra Raporu: 10 Matematik Sonucu
Şirket, cumartesi günü yayınladığı 249 sayfalık raporda küre paketleme, kodlama teorisi, aritmetik devre karmaşıklığı, grup teorisi, kuantum karmaşıklığı ve kafes kriptografisi gibi alanlardaki bulguları özetledi.
Rapora giren her problemde ana sonuçta en az bir on yıl, çoğu durumda ise çok daha uzun süredir kayda değer bir ilerleme yoktu. Çalışmaların biri, non-sofik grupların gerçekten var olduğunu göstererek grup teorisindeki merkezi sorulardan birini kapatıyor.
Diğer sonuçlar arasında Connes’in rijitlik varsayımının çürütülmesi, Ehrhart’ın hacim varsayımının ispatı ve Erdős kataloğundan seçilen üç problemin çözümü yer alıyor. Bunlar arasında çok renkli üçgen Ramsey sayıları için yeni bir alt sınır da bulunuyor. OpenAI, 10 çözümün tamamına ulaşmak için gereken token maliyetini Sol API tarifesiyle yaklaşık 2.000 dolar olarak hesapladı.
Astra, tek bir zor görevi parçalara ayırıp uzun süreler boyunca paralel çalışan ve sonuçlarını bir araya getiren çoklu ajan mimarisi etrafında inşa edildi. Aile, GPT‑5.6 etiketini taşıyan Sol, Terra ve Luna modellerinin yanında konumlanıyor. OpenAI, Astra’yı GPT‑6 olarak mı, GPT‑5.7’nin bir varyantı mı yoksa tamamen ayrı bir katman olarak mı sunacağına henüz karar vermiş değil ve bir çıkış tarihi açıklamadı.
Ayrıca Bkz.: Bitcoin ETF'leri 233,1 Milyon Dolar Çekerken Yükün Büyük Kısmını Tek Fon Taşıdı
Matematikçiler Astra’nın Lean İspatlarını Tartışıyor
Erdős problemleri kataloğunu derleyen Manchester Üniversitesi matematikçisi Thomas Bloom, sonuçları X’te “büyük haber” olarak niteledi. Bloom, özellikle inşa türü sonuçlar açısından, bunları OpenAI’nin Mayıs’ta duyurduğu birim mesafe karşı-örneğinin de üzerine koyduğunu söyledi.
Her argüman, makine tarafından doğrulanabilir bir Lean sertifikasıyla birlikte geliyor; bu seviye, yapay zekâ araştırmalarına ilişkin pek az iddianın ulaşabildiği bir çıta. Yine de matematikçilerin, her biçimsel ifadenin alandaki gerçek açık problemi doğru şekilde yakalayıp yakalamadığını tek tek kontrol etmesi gerekiyor. Sistemin arkasındaki akıl yürütme yöntemleri üzerinde çalışan Noam Brown, yazısında bu koşunun hiçbir Milenyum Ödülü Problemi’ni çözmediğini vurguladı.
Sam Altman, Astra’yı Washington’da Anlattı
OpenAI CEO’su Sam Altman, rapor yayınlanmadan günler önce Astra’yı Washington’da senatörlere ve üst düzey yönetim yetkililerine kapalı kapılar ardında demolarla tanıttı.
Altman çarşamba günü Senatörler Raphael Warnock ve Bernie Moreno ile görüştü; programında ayrıca Mark Warner, Hazine Bakanı Scott Bessent ve Ticaret Bakanı Howard Lutnick ile toplantılar da yer aldı.
Astra’nın, planlanan federal ön-sürüm inceleme çerçevesi kapsamında değerlendirilecek ilk model olması bekleniyor.
OpenAI, benzer bir yolu Mayıs ayında da izlemiş ve Erdős’ün birim mesafe varsayımının yapay zekâ ile üretilen bir karşı-örnekle çürütüldüğünü hakemli bir dergi yerine blog yazısıyla duyurmuştu. Matematikçiler ise Haziran’da, Uluslararası Matematik Birliği destekli Leiden Bildirisi’yle “basın bülteniyle ispat” pratiğine karşı uyarıda bulundu; OpenAI, cumartesi günkü raporunda bu bildiriden alıntı yaptı.
Sıradaki Haber: Polymarket Yatırımcıları Örümcek-Adam'a Tarihi Bir İlk İçin %91 Şans Veriyor