OpenAI'ın Yeni Matematik Bulguları Araştırmacılar Arasında Tartışma Yarattı
OpenAI cebir, sayı teorisi ve topoloji alanlarında 377 yeni matematiksel bulgu yayınladı. Gelişme, yapay zekanın araştırmalardaki rolü üzerine tartışmaları yeniden alevlendirdi.
OpenAI, cebir, sayı teorisi, teorik bilgisayar bilimi, matematiksel mantık ve topoloji alanlarını kapsayan 377 yeni matematiksel bulguyu kamuoyuyla paylaştı. Bu hamle, yapay zekanın akademik çalışmalardaki yeri konusunda matematikçiler arasında devam eden tartışmaları daha da derinleştirdi.
Yeni Matematiksel Bulgular
OpenAI, cebir, sayı teorisi, teorik bilgisayar bilimi, matematiksel mantık ve topoloji dallarını kapsayan yüzlerce yeni sonucu açıkladı. Bu 377 sonuç, şirketin geçen ay binyıl problemlerinden biri olan Navier-Stokes denklemini çözdüğünü duyurmasının hemen ardından geldi.
Daha önceki bir çözümün matematikçileri kızdırmasının ardından şirket, bu yeni sürümün yapay zekanın araştırmaları aksatmasına yönelik endişelere karşı daha duyarlı olduğunu belirtti. On bulgu için yapay zeka modelinin çözüme nasıl ulaştığının özetleri de sunuldu.
Yapay Zeka Modeli ve Doğrulama Süreçleri
Navier-Stokes sonucunda olduğu gibi, yeni matematiksel çözümler de henüz halka açık olarak piyasaya sürülmemiş daha gelişmiş bir yapay zeka modeli kullanılarak elde edildi. Ortalama bir sonucun hesaplanması yaklaşık üç saat sürdü.
Kanıtların birçoğu, temel mantığı doğrulayan bir bilgisayar dili olan Lean kullanılarak kontrol edildi. Şirket, Princeton'daki İleri Araştırma Enstitüsü'nde bulunan ve ipuçları ile düşünce zincirlerinin paylaşılmasını tavsiye eden matematikçilerden oluşan bir danışma kuruluyla birlikte çalışıyor.
Akademik Çevrelerin Tepkileri ve Endişeler
Öte yandan OpenAI, danışma kurulunun tescilli modellerin ileri düzey matematik problemleri üzerinde test edilmesine son verilmesi yönündeki tavsiyesine pek sıcak bakmıyor. OpenAI araştırma lideri Dan Roberts, bu testlerin daha iyi araçlar üretmek açısından önem taşıdığını savundu.
New York Üniversitesi'nden Tristan Buckmaster ve Toronto Üniversitesi'nden Kai Shaikh gibi matematikçiler ise gerekli özenin gösterilip gösterilmediği ve yapay zeka modellerinin kanıtları insan matematikçilerin önceki çalışmalarını kopyalayarak mı tamamladığı konusunda endişelerini dile getirdiler.