OpenAI, bir yandan Astra’yı 10 çözülmüş matematik problemiyle duyururken, diğer yandan da Çinli açık ağırlık rakiplerinin küresel yapay zeka trafiğinden hızla pay kapmasını izliyor.
Öne Çıkanlar:
- OpenAI, Astra’yı 1 Ağustos’ta, en az on yıldır açık olan 10 probleme çözüm sunduğunu iddia eden bir araştırma notuyla ortaya çıkardı.
- Modelin ne resmi bir adı ne de çıkış tarihi var; kullanıcıya ulaşmadan önce yeni bir federal denetim sürecinden geçmesi gerekiyor.
- Açık ağırlıklı Çin modelleri, yönlendirilen token’ların çoğunluğunu alırken, harcamanın neredeyse tamamı hâlâ ABD merkezli laboratuvarlara gidiyor.
Astra, 10 Açık Matematik Problemini Çözdü
Şirket, modeli bir ürün lansmanıyla değil, matematik odaklı bir araştırma yazısında isimlendirerek duyurdu.
OpenAI’nin dahili Astra sürümü, matematik ve teorik bilgisayar bilimi alanlarında, her biri en az on yıldır çözülememiş 10 problemde yeni sonuçlar üretmeyi başardı.
OpenAI, GitHub’da açık lisansla 249 sayfalık bir makale ve makineyle doğrulanabilir Lean 4 ispat sertifikaları yayımladı.
Manşete çıkan bulgu, grup teorisinde 1999’dan beri cevapsız kalan bir soruya, “non-sofic grup”un ilk açık inşasını getiriyor. Araştırmacılara göre bu 10 çözümün arkasındaki token tüketimi, şirketin mevcut amiral gemisi modeli Sol’un API tarifeleriyle yaklaşık 2.000 dolara denk geliyor.
Ayrıca Oku: OpenAI Influencer’ları Çiftlik Tatil Köyüne Uçurdu, Takipçileri Sert Tepki Gösterdi
Matematikçiler, Astra’nın İspat İddialarını Tartıyor
University of Manchester’dan, Erdos problemlerine dair açık bir veri tabanını yöneten matematikçi Thomas Bloom, çalışmayı “büyük haber” olarak niteledi ve Mayıs’ta duyurulan geometri sonucunun da üzerine koyduğunu söyledi.
Buna karşın Bloom, makinelerin matematiğin yerini aldığı görüşünü reddediyor; sistemin, matematikçilerin yüz yılı aşkın birikimiyle eğitildiğinin altını çiziyor. OpenAI araştırmacısı Noam Brown ise ekibin pek çok ünlü probleme de deneme yaptığını, ancak başarı sağlayamadığını belirtti. Hiçbir Millennium Ödülü problemi çözülmedi; buna karşın Brown, her denemenin görece az hesaplama kaynağı tükettiğini ve bu çabayı bilimsel akıl yürütme açısından önemli bir sıçrama olarak gördüğünü vurguladı.
Sam Altman, geçen hafta Washington’da yasa yapıcılara sistemi ön izleme imkânı sundu; Astra’nın, yeni federal çerçeve kapsamında incelenecek ilk model olması bekleniyor. Şirket henüz bir çıkış takvimi açıklamadı ve bu model ailesinin GPT-6 etiketiyle mi yoksa bir başka GPT-5 türevi olarak mı sunulacağına karar vermiş değil.
Çinli Açık Ağırlıklar Token Talebini Yeniden Şekillendiriyor
Bu takvim kritik, çünkü açık ağırlık cephesi, sınırları tanımlaması için artık ABD’li laboratuvarları beklemiyor. Nvidia CEO’su Jensen Huang geçen ay çok sayıda büyük ABD teknoloji şirketini açık ağırlık yaklaşımı etrafında toplarken, Anthropic CEO’su Dario Amodei daha sıkı güvenlik testleri ve çip ihracatında ek kısıtlar çağrısında bulundu.
Moonshot AI, Temmuz’da 2,8 trilyon parametreli, açık ağırlıklı Kimi K3’ü piyasaya sürdü; bu model, bugüne kadar inşa edilen en büyük açık model olarak lanse ediliyor.
OpenRouter verilerine göre, ABD menşeli modellere yönlendirilen token payı, Haziran 2025’te yaklaşık %70 iken, bir yıl içinde %30 civarına geriledi. Buna karşın büyük bir kurumsal geçit üzerinden yapılan harcamalarda, Haziran itibarıyla gelirin yaklaşık %95’i hâlâ ABD’li laboratuvarlara gidiyor; Astra’nın koruması gereken asıl kalenin bu gelir farkı olduğu anlaşılıyor.
Sıradaki Haber: Dogecoin, 0,12 Dolara Olası Bir Koşu Öncesi 0,05 Dolar Desteğini Test Ediyor
