OpenAI, yeni nesil yapay zekâ modeli Astra‘yı ilk kez resmi olarak doğruladı. Şirket, Astra’yı “bir sonraki büyük model ailesi” olarak tanımlarken, sistemin matematik ve teorik bilgisayar biliminde uzun yıllardır çözülemeyen problemlere katkı sağladığını açıkladı.
Şirketin paylaştığı bilgilere göre Astra, araştırmacılarla birlikte çalışarak bilim insanlarının en az 10 yıldır çözemediği 10 açık matematik probleminin çözümüne yardımcı oldu. Elde edilen sonuçlar grup teorisi, kriptografi, kodlama teorisi, kombinatorik ve kuantum bilgi alanlarını kapsıyor.
İlk Kez Resmen Duyuruldu
OpenAI, Astra’nın uzun süredir geliştirildiğini ancak bugüne kadar kamuoyuna resmi olarak tanıtılmadığını belirtti. Yeni model ailesinin, gelecekte Sol, Terra ve Luna gibi diğer yapay zekâ modelleriyle birlikte şirketin yeni nesil platformunun önemli bir parçası olması bekleniyor.
Matematikte Dikkat Çeken Başarı
Astra’nın en dikkat çekici başarılarından biri, matematik dünyasında uzun yıllardır cevabı aranan ilk non-sofik (non-sofic) grubun örneğini oluşturması oldu. Bu problem, grup teorisinin önemli açık sorularından biri olarak kabul ediliyordu.
Manchester Üniversitesi matematikçilerinden Thomas Bloom, elde edilen sonuçların bilim dünyası açısından oldukça önemli olduğunu ifade etti. Ancak Bloom, bu gelişmenin yapay zekânın yakın zamanda matematikçilerin yerini alacağı anlamına gelmediğinin de altını çizdi.
Kanıtlar Lean Sistemiyle Doğrulandı
OpenAI, Astra’nın ürettiği çözümlerin yalnızca teorik öneriler olmadığını vurguladı.
Araştırmacılar, Astra ile birlikte hazırlanan bilimsel makalelerde yer alan matematiksel ispatları Lean isimli resmi doğrulama sistemiyle kontrol etti. Lean, matematiksel kanıtların bilgisayar tarafından adım adım doğrulanmasını sağlayan güvenilir bir yazılım olarak biliniyor.
Şirket ayrıca Astra’nın çözüm sürecini ayrıntılı şekilde belgelediğini ve bilimsel yayınlardaki nihai sorumluluğun yine insan araştırmacılara ait olduğunu belirtti.
Milenyum Problemleri Hâlâ Çözülemedi
Astra’nın geliştiricilerinden Noam Brown, modelin başka ünlü matematik problemleri üzerinde de test edildiğini açıkladı.
Bununla birlikte yapay zekâ, henüz Milenyum Problemleri olarak bilinen dünyanın en zor matematik sorularını çözebilmiş değil. OpenAI, Astra’nın bu seviyeye ulaşması için araştırmaların devam ettiğini söyledi.
Ticari Sürüm Daha Sonra Gelecek
OpenAI, Astra’nın şu anda yalnızca şirket içi araştırmalarda kullanıldığını açıkladı.
Model ailesinin ticari kullanıma sunulmasından önce kapsamlı güvenlik testleri ve teknik değerlendirmeler tamamlanacak. Şirket ayrıca ilerleyen dönemde Astra’nın mimarisi ve performansını ayrıntılı biçimde açıklayan kapsamlı bir teknik rapor yayımlamayı planlıyor.
Astra’nın, OpenAI’ın gelecekteki yapay zekâ stratejisinde en önemli model ailelerinden biri olması bekleniyor.
