Dünyanın en çok kullanıcıya sahip yapay zeka şirketi OpenAI, henüz genel erişime açmadığı yeni nesil modeli Astra ile bilim dünyasında uzun yıllardır çözüme kavuşturulamayan 10 kritik matematik problemini çözdüğünü açıkladı.
Şirket, bu dikkat çekici iddiayı desteklemek amacıyla modelin akıl yürütme adımlarını içeren 249 sayfalık kapsamlı bir teknik raporu ve bilgisayarla denetlenebilen resmi ispatları kamuoyuyla paylaştı.
YILLARDIR YANITSIZ KALAN 10 DEV PROBLEM ÇÖZÜLDÜ
Astra tarafından sunulan çözümler arasında, araştırmacıların on yıllardır üzerinde kafa yorduğu Connes varsayımı, Ehrhart hacim varsayımı ve ünlü Macar matematikçi Paul Erdos'ün açık bıraktığı problemlerden üçü yer alıyor.
Model ayrıca, literatürde bugüne kadar varlığı kanıtlanamayan ve 'sofic olmayan grup' şeklinde adlandırılan özel bir matematiksel yapıyı da inşa ettiğini öne sürüyor.
Ortaya konan bu neticeler; cebir, geometri, grafik teorisi, kuantum hesaplama ve kriptografi gibi çok geniş bir disiplinler arası yelpazeyi kapsıyor.
Telif davaları engel getirdi: ChatGPT bir gecede en sevilen özelliğini kapattı
LEAN 4 İLE TÜM MANTIKSAL ADIMLAR BİLGİSAYARLA DOĞRULANDI
Duyurunun bilim dünyasında oluşturduğu asıl ağırlık, yalnızca teorik iddiaların dile getirilmesinden kaynaklanmıyor.
OpenAI, hazırladığı tüm ispat adımlarını Lean 4 isimli resmi doğrulama sistemi aracılığıyla yayımladı. Her mantıksal aşamayı bilgisayar yazılımı üzerinden tek tek denetleyen bu altyapı, olası matematiksel tutarsızlıkları ve hataları anında belirleme imkanı tanıyor.
Açık kaynaklı doğrulama dosyaları, bağımsız araştırmacıların süreci şeffaf biçimde incelemesine olanak veriyor.
AKADEMİK HAKEM DEĞERLENDİRMESİ VE GEÇMİŞİN GÖLGESİ
Yayımlanan dokümanların henüz bağımsız matematikçilerin yer aldığı resmi bir akademik hakem değerlendirme sürecinden geçmediğini unutmamak gerekiyor.
OpenAI, benzer bir gelişmeyle 2025 yılında da gündeme geldi ve GPT-5 modelinin kimi Erdős problemlerini çözdüğünü öne sürdü.
Ancak sonradan bu sonuçların daha önce yayımlanan çalışmalara dayandığı anlaşıldı.
Şirket, Astra ile yaptığı bu son duyuruda tüm ispat dosyalarını açık kaynak formatında paylaşarak güvenilirlik çıtasını yukarı taşımayı amaçlıyor.
OpenAI, rakipleriyle arayı açıyor: Kullanıcı sayısı rekora koşuyor
UZUN VADELİ ARAŞTIRMA GÖREVLERİ İÇİN GELİŞTİRİLDİ
Henüz son kullanıcıyla buluşmayan Astra, OpenAI tarafından uzun soluklu araştırma projelerini otonom biçimde yürütebilen yeni nesil bir yapay zeka mimarisi olarak konumlandırılıyor.
Süreçte matematiksel fikirlerin tamamının Astra tarafından üretildiğini belirten şirket yetkilileri, insan araştırmacıların yalnızca bu çıktıları akademik makale formatına dönüştürdüğünü aktarıyor.
OpenAI Matematik Araştırmaları Lideri Sebastien Bubeck, sonuçların zarafetine dikkat çekerek, "Bu adımlar, bilimsel akıl yürütme alanında atılan dev bir aşamayı temsil ediyor" değerlendirmesinde bulundu.
DEV MATEMATİK KEŞFİNİN HESAPLAMA BEDELİ 2 BİN DOLAR
OpenAI tarafından paylaşılan maliyet analizi verilerine göre, 10 karmaşık problemin çözümü için harcanan toplam bilgi işlem gücü, GPT-5.6 Sol API fiyatlandırması üzerinden yaklaşık 2 bin dolar seviyesinde gerçekleşti.
Gelecekte bilimsel araştırmaların yürütülme biçimini kökten değiştirmesi beklenen bu yaklaşım, asırlık matematik bilmecelerinin bulut bilişim bütçeleriyle çözülebileceği yeni bir dönemin kapısını aralıyor.
