OpenAI, Yeni Nesil Yapay Zeka Modeli 'Astra'yı Sessiz Sedasız Doğruladı

OpenAI, matematik ve teorik bilgisayar bilimi üzerine yayımladığı son blog yazısında, uzun süredir dedikoduları dolaşan yeni yapay zeka modeli Astra'yı sessiz sedasız gün yüzüne çıkardı. Şirket, on yıllardır çözülemeyen karmaşık problemlerin "Astra'nın dahili bir sürümü" kullanılarak çözüldüğünü belirterek yeni model ailesini ilk kez resmi olarak doğrulamış oldu.

Astra İsmi İlk Kez Resmiyet Kazandı

OpenAI, 1 Ağustos'ta paylaştığı "Matematik ve teorik bilgisayar biliminde on ilerleme" başlıklı makalesinde, uzun yıllardır çözülemeyen matematik problemlerine yönelik elde edilen sonuçları detaylandırdı. Duyurunun en dikkat çeken kısmı ise üçüncü paragrafta yer alan kısa bir ifadeydi. Şirket, bu karmaşık çalışmaların Astra isimli yeni modelin dahili bir sürümü tarafından gerçekleştirildiğini belirterek, teknoloji dünyasında heyecan yarattı.

Gezegenlerden Yıldızlara: İsimlendirme Stratejisi

Mevcut isimlendirme yapısı incelendiğinde, Astra'nın GPT-5.6 serisinin yeni bir üyesi olabileceği düşünülüyor. Şirket daha önce Latince Dünya, Ay ve Güneş anlamına gelen Terra, Luna ve Sol modellerini duyurmuştu. Latince "yıldızlar" anlamına gelen Astra ismi de bu astronomik temayı sürdürüyor. Ancak uzmanlar, OpenAI'ın bu yeni modeli doğrudan GPT-6 Astra olarak piyasaya sürme ihtimalinin de masada olduğunu belirtiyor.

Çok Adımlı Görevlerde Üstün Performans

The Information'ın isimsiz kaynaklara dayandırdığı raporlara göre Astra, özellikle uzun süre devam eden ve çok adımlı görevleri yerine getirme yeteneğiyle öne çıkıyor. Hatta OpenAI CEO'su Sam Altman'ın geçtiğimiz hafta Washington'da federal yetkililere bu modeli özel olarak tanıttığı iddia ediliyor. Öte yandan, geçtiğimiz ay Hugging Face platformuna sızan gizemli modelin Astra olmadığı, onun sadece bir araştırma prototipi olduğu da şirket tarafından netleştirildi.

2 Bin Dolara Çözülen Yıllık Matematik Problemleri

Modelin teknik mimarisi veya çıkış tarihi henüz netleşmese de, başardıkları şimdiden dikkat çekici. Astra, grup teorisi, yüksek boyutlu geometri ve kuantum karmaşıklığı gibi alanlarda on yıllardır çözülemeyen 10 farklı matematik problemine doğrulanabilir ispatlar üretti. Bu ispatların tamamı Lean isimli sistemle doğrulandı. Aynı model ailesinin mayıs ayında 80 yıldır çözülemeyen Erdős birim uzaklık varsayımını çürüttüğü ve tüm bu devasa hesaplama sürecinin sadece 2.000 dolar gibi düşük bir maliyetle tamamlandığı vurgulandı.

--- **İlgili Kaynaklar:** Bu alanda profesyonel destek için [AI Merkezi](https://aimerkezi.com) sayfasını inceleyebilirsiniz.