Yapay zeka teknolojilerinde akıl yürütme kabiliyetlerinin sınırları her geçen gün genişlerken, OpenAI cephesinden bilim dünyasında geniş yankı uyandıran dev bir iddia geldi. Şirket, henüz kamuoyunun kullanımına açılmayan yeni nesil modeli Astra aracılığıyla, matematikçilerin yıllardır üzerinde uzlaşamadığı 10 kritik problemi çözüme kavuşturduğunu açıkladı.
Erdős Problemleri ve Connes Varsayımı Listede
Astra’nın çözdüğü ifade edilen konular; cebir, geometri, grafik teorisi, kuantum hesaplama ve kriptografi gibi disiplinler arası geniş bir yelpazeyi kapsıyor. Çözülen başlıklar arasında matematik dünyasının en ünlü çıkmazlarından biri olan Connes varsayımı, Ehrhart hacim varsayımı ve dünyaca ünlü matematikçi Paul Erdős’e ait üç açık problem öne çıkıyor.
Bunun yanı sıra modelin, teorik matematikte bugüne dek varlığı kanıtlanamamış olan "sofic olmayan grup" yapısını da kurguladığı iddia edildi. Süreçte temel fikrin ve matematiksel mantığın Astra tarafından oluşturulduğu, insan araştırmacıların ise bu verileri akademik makale standartlarına dönüştürdüğü belirtildi.
Şüpheleri Gidermek İçin "Lean 4" Kodları Paylaşıldı
OpenAI’ın geçmiş dönemde GPT-5 modeli üzerinden Erdős problemlerini çözdüğüne dair öne sürdüğü iddiaların, literatürdeki mevcut çalışmalara dayandığının anlaşılması bilim çevrelerinde tepki çekmişti. Şirket, bu kez benzer bir güven kaybı yaşamamak adına son derece şeffaf bir yöntem benimsedi.
Geliştirilen ispatların tamamı, her adımı bilgisayar ortamında mantıksal olarak doğrulamaya yarayan Lean 4 resmi doğrulama sistemi kodlarıyla birlikte açık kaynak olarak yayımlandı. Yayımlanan 249 sayfalık teknik raporda, modelin izlediği akıl yürütme süreçleri ayrıntılarıyla detaylandırıldı.
Hakem Onayı Bekleniyor: Maliyeti Sadece 2 Bin Dolar
OpenAI yetkilileri, bu devasa 10 problemin çözümü için harcanan işlem gücünün GPT-5.6 Sol API fiyatlandırma tarifesine göre yaklaşık 2 bin dolar maliyete denk geldiğini bildirdi.
Her ne kadar bilgisayar tabanlı doğrulama sistemleri hataları minimize etse de sunulan çözümlerin henüz resmi bir akademik hakem heyeti (peer-review) incelemesinden geçmediği vurgulanıyor. Matematik dünyası ve bağımsız bilim insanları, Astra'nın yayımladığı dokümanları inceleyerek bulguların geçerliliğini önümüzdeki süreçte karara bağlayacak.
