Yapay zekâ sistemlerinin matematik alanındaki performansı son yıllarda önemli ölçüde gelişti.
2020’lerin başında temel matematik sınavlarında dahi zorlanan sistemler, bugün uzun süredir çözülemeyen problemlere yönelik sonuçlar ortaya koyabiliyor.
OpenAI da farklı matematik alanlarını kapsayan 722 çalışmayı aynı anda yayımlayarak bu alandaki gelişimi gözler önüne serdi.
25 YILLIK PROBLEM YAPAY ZEKÂ TARAFINDAN ÇÖZÜLDÜ
OpenAI tarafından yayımlanan çalışmalar arasında matematikçi Francis Johnson’ın uzun yıllardır üzerinde çalıştığı Wall’un D(2) problemi de bulunuyor. University College London’da görev yapan Johnson, söz konusu problem üzerinde 25 yıl çalıştığını ve bu konuyla ilgili iki kitap yazdığını belirtti.
Problemi çözmekten vazgeçtiğini ifade eden Johnson, yapay zekânın kısa sürede sonuca ulaşmasını şaşkınlıkla karşıladığını söyledi. Son aylarda yapay zekâ modelleriyle çalışan Johnson, sistemlerin sunduğu analizlerin gelişmişliğinden etkilendiğini dile getirdi.
Johnson, matematikteki bu gelişmenin bilim insanlarını alışılmadık bir döneme taşıdığını belirterek insanların bu yeni duruma uyum sağlaması gerektiğini ifade etti.
MATEMATİKÇİLER SONUÇLARA TEMKİNLİ YAKLAŞIYOR
OpenAI’ın yayımladığı 722 çalışmanın tamamının doğruluğu henüz kesinleşmiş değil. Imperial College London’dan Kevin Buzzard, kendi uzmanlık alanı olan sayılar teorisiyle ilgili 30 çalışmayı incelediğini ve bunlardan yalnızca 7’sinin gerçekten etkileyici sonuçlar içerdiğini belirtti.
Buzzard’a göre bu 7 çalışmadan yalnızca biri, matematiksel ispatların doğruluğunu bilgisayar aracılığıyla kontrol eden Lean sistemiyle doğrulandı. Diğer çalışmaların güvenilirliğinin belirlenmesi için uzman matematikçilerin inceleme yapması veya ispatların Lean sistemine aktarılması gerekiyor.
Bazı araştırmacılar, yüzlerce çalışmanın aynı anda yayımlanmasının yanı sıra kullanılan yapay zekâ modeli ve sonuçların nasıl elde edildiği konusunda yeterli bilgi verilmemesini de eleştiriyor. Matematikçilerin yalnızca ortaya çıkan sonuçlarla değil, problemlerin çözüm süreciyle de ilgilendiği vurgulanıyor.
OPENAI’IN YAYIMLAMA YÖNTEMİ DE TARTIŞMA YARATTI
OpenAI’ın 722 çalışmayı yayımlama biçimi de matematik çevrelerinde eleştirilere neden oldu. Matematik araştırmaları genellikle bilimsel dergilerde veya ön baskı platformlarında paylaşılırken, şirket çalışmalarını bilgisayar kodlarının paylaşımında kullanılan GitHub üzerinden yayımladı.
Dünyanın önde gelen matematikçilerinden Terence Tao da yapay zekâ şirketlerinin matematiksel keşifleri üretme ve bunları bilim dünyasına toplu şekilde sunma yöntemini daha önce eleştirmişti. Tao, yeterli açıklama ve doğrulama olmadan çok sayıda çalışmanın matematik camiasına sunulmasının alana zarar verebileceği uyarısında bulunmuştu.
Bu tartışmaların ardından bağımsız Matematik ve Yapay Zekâ Danışma Grubu (AGMAI) oluşturuldu. Grup, yapay zekâ ile elde edilen matematiksel keşiflerin yayımlanmasına ilişkin çeşitli tavsiyeler hazırladı.
Tavsiyeler arasında kullanılan yapay zekâ modelinin adının, modele verilen komutların ve tahmini hesaplama maliyetinin açıklanması bulunuyor. Ayrıca yapay zekâ tarafından oluşturulan ispatların mümkün olduğunca biçimsel yöntemlerle doğrulanması ve yalnızca başarılı sonuçların değil, başarısız denemelerin de açıklanması öneriliyor.
OpenAI’ın son paylaşımı ise bu tavsiyelerin önemli bölümünü karşılamadığı gerekçesiyle eleştirilerin odağı oldu.
