OpenAI, henüz kullanıma sunulmayan yeni yapay zeka modeli Astra ile matematik dünyasında yıllardır çözülemeyen 10 önemli problemi çözdüğünü duyurdu. Şirket, bu sonuçlara ait 249 sayfalık teknik dokümanı, modelin nasıl akıl yürüttüğünü gösteren açıklamaları ve bilgisayar tarafından doğrulanabilen resmi ispatları kamuoyuyla paylaştı.
Astra'nın çözdüğü problemler arasında matematikçilerin onlarca yıldır üzerinde çalıştığı Connes varsayımı, Ehrhart hacim varsayımı ve ünlü matematikçi Paul Erdős'ün açık problemlerinden üçü de yer alıyor. Model ayrıca, bugüne kadar varlığı gösterilemeyen sofic olmayan bir grup adı verilen matematiksel yapıyı da oluşturduğunu iddia ediyor. Bu sonuçlar; cebir, geometri, grafik teorisi, kuantum hesaplama ve kriptografi gibi birçok farklı alanı kapsıyor.
OpenAI'ın açıklamasını önemli kılan nokta ise yalnızca problemlerin çözüldüğünün söylenmesi değil. Şirket, tüm ispatları Lean 4 adlı resmi doğrulama sistemiyle yayımladı. Bu sistem, ispatların her adımını bilgisayarın tek tek kontrol etmesini sağlıyor. Böylece matematiksel hataların tespit edilmesi kolaylaşıyor.
Ancak yine de çalışmaların henüz akademik hakem değerlendirmesinden geçmediğini ve sonuçların bağımsız matematikçiler tarafından doğrulanması gerektiğini belirtelim.
OpenAI daha önce de benzer bir iddiayla gündeme gelmişti. Şirket, 2025 yılında GPT-5'in bazı Erdős problemlerini çözdüğünü öne sürmüş, ancak bu iddiaların daha önce yayımlanmış çalışmalara dayandığı ortaya çıkmıştı. Bu nedenle Astra ile ilgili duyuruda şirket, ispatları ve doğrulama dosyalarını açık kaynak olarak paylaşarak sonuçlarını daha güçlü şekilde desteklemeyi hedefliyor.
Henüz kullanıma açılmayan Astra, OpenAI'ın uzun süren araştırma görevlerini yerine getirebilen yeni nesil yapay zeka modeli olarak geliştiriliyor. Şirket, matematiksel fikirlerin Astra tarafından üretildiğini, insan araştırmacıların ise bunları akademik makale haline getirdiğini söylüyor.
OpenAI ayrıca, 10 problemin çözümü için gereken hesaplama maliyetinin GPT-5.6 Sol API fiyatlarına göre yaklaşık 2 bin dolar olduğunu açıkladı.
İlk Yorumu yazmak ister misiniz?
Yorum Yazmak için Giriş Yap