OpenAI, bir sonraki büyük model ailesi Astra’yı, 10 zorlu matematik problemini çözerek duyurdu. Bu arada Çin menşeli açık-ağırlık rakipler, küresel yapay zekâ trafiğinden aldıkları payı hızla artırıyor.
Öne Çıkanlar
- OpenAI, Astra’yı 1 Ağustos’ta, en az on yıldır açık duran 10 probleme çözüm sunduğunu iddia eden akademik bir çalışmayla ortaya çıkardı.
- Model için henüz bir çıkış tarihi yok; ismi bile kesinleşmedi ve kullanıcıya ulaşmadan önce yeni bir federal incelemeden geçmesi gerekiyor.
- Yönlendirilen token’ların çoğu artık Çin menşeli açık-ağırlık modellere gidiyor, ancak harcamanın neredeyse tamamı hâlâ ABD merkezli laboratuvarlara akıyor.
Astra, 10 Açık Matematik Problemini Çözdü
Şirket, modeli bir ürün lansmanıyla değil, matematik odaklı bir araştırma makalesiyle “isimlendirdi”.
Açık adı henüz kesinleşmeyen Astra’nın şirket içi bir sürümü, matematik ve teorik bilgisayar biliminde, her biri en az on yıldır çözülememiş 10 farklı problemde yeni sonuçlar üretti.
OpenAI, bu çalışma için 249 sayfalık bir makale yayımladı ve Lean 4 ile makine tarafından denetlenebilir ispat sertifikalarını GitHub’da açık lisansla paylaştı.
Manşet niteliğindeki sonuç, 1999’dan bu yana cevapsız kalan bir grup teorisi sorusuna, ilk “açık biçimli non-sofik grup” inşasını sunması. Araştırmacılar, tüm bu çözümlerin arkasındaki toplam token kullanımının, şirketin mevcut amiral gemisi modeli Sol’un API fiyatları üzerinden yaklaşık 2.000 dolara denk geldiğini hesaplıyor.
Ayrıca bkz.: OpenAI Influencer’ları Çiftlik Tatil Köyüne Uçurdu, Takipçilerden Sert Tepki Geldi
Matematikçiler Astra’nın İspat İddialarını Tartışıyor
Thomas Bloom, Manchester Üniversitesi’nde görev yapan ve Erdos problemlerine ilişkin kamuya açık bir veri tabanı tutan bir matematikçi. Bloom, çalışmayı “büyük haber” olarak niteleyerek, OpenAI’nin Mayıs ayında duyurduğu geometri sonucunun da üzerine koyduğunu söylüyor.
Bloom, “makineler matematikçilerin yerini alıyor” yorumlarını reddediyor; zira sistemin, matematikçilerin yüzyılı aşkın birikimiyle eğitildiğine dikkat çekiyor. OpenAI araştırmacısı Noam Brown, ekibin bir dizi ünlü problemde deneme yaptığını ancak bazılarını çözemediğini belirtiyor. Hiçbir “Millennium Prize” problemi düşmüş değil, fakat Brown, bu denemelerin görece az hesaplama kaynağı tükettiğini, buna rağmen bilimsel muhakeme açısından önemli bir sıçrama anlamına geldiğini savunuyor.
OpenAI CEO’su Sam Altman, sistemi geçen hafta Washington’da yasa koyuculara kısaca tanıttı. Astra, yeni federal çerçeve kapsamında incelemeye girecek ilk model olacak gibi görünüyor. Şirket henüz bir çıkış tarihi açıklamadı; ayrıca bu ailenin GPT-6 mı yoksa bir GPT-5 varyantı mı olarak konumlanacağına da karar vermiş değil.
Çinli Açık Ağırlık Modeller Token Talebini Yeniden Şekillendiriyor
Zamanlama kritik, çünkü açık-ağırlık cephesi artık sınırı Amerikan laboratuvarlarının çizmesini beklemiyor. Nvidia CEO’su Jensen Huang, geçen ay birçok ABD’li teknoloji devini açık ağırlık yaklaşımı etrafında toplamaya çalışırken; Anthropic CEO’su Dario Amodei, zorunlu güvenlik testleri ve çiplere daha sıkı ihracat kontrolleri çağrısı yaptı.
Çinli Moonshot AI, Temmuz ayında 2,8 trilyon parametreye sahip, ağırlıkları açık Kimi K3 modelini piyasaya sürdü ve bunu bugüne dek geliştirilmiş en büyük açık model olarak lanse etti.
Model geçidi OpenRouter’da, ABD’li modellere yönlendirilen token payı, Haziran 2025’te yaklaşık yüzde 70 iken, bir yıl sonra yüzde 30 seviyelerine kadar geriledi. Buna karşın, büyük bir kurumsal geçitte Haziran ayında harcamanın yaklaşık yüzde 95’i hâlâ ABD merkezli laboratuvarlara gitti. Astra’nın savunmak zorunda olduğu asıl “gelir duvarı” da tam burada duruyor.
Sonraki Haber: Dogecoin, Muhtemel 0,12 Dolar Koşusu Öncesi 0,05 Dolar Desteğini Test Ediyor