OpenAI matematik alanındaki 372 yeni bulguyu paylaştı
Öne çıkanlar
- OpenAI, yeni büyük dil modeliyle elde ettiği 372 matematiksel sonucu GitHub üzerinden paylaştı.
- Bulgular arasında dört boyutlu Kakeya varsayımının çözümü ve algoritma geliştirmeleri yer aldı.
- Uzmanlar, istemler ve model kamuya açılmadığı için tek aşamalı çözüm iddialarına şüpheyle yaklaşıyor.
OpenAI, henüz kamuya açmadığı yeni büyük dil modelini kullanarak matematik ve teorik bilgisayar bilimi alanındaki açık sorulara yönelik 372 yeni sonuç yayımladı. Şirket, verileri bir GitHub deposunda paylaştı. Açıklanan bulgular arasında dört boyutlu Kakeya varsayımının çözümü, temel bilgisayar algoritmalarındaki iyileştirmeler ve Riemann hipotezine yönelik ilerlemeler yer alıyor. Sonuçların önemli bir kısmı Lean doğrulama dili aracılığıyla kontrol edildi.
Şirket sözcüsü, bu bulguların neredeyse tamamının tek bir yapay zeka ajanına verilen tek bir istemle üretildiğini bildirdi. Bu durum, Navier-Stokes probleminin çözümü için kullanılan ve milyonlarca dolara mal olan 10 bin ajanlık sisteme kıyasla ciddi bir yöntem değişikliğine işaret ediyor. Ancak modelin kendisi, tam girdi metinleri ve kullanılan kesin işlem güçleri kamuoyuyla paylaşılmadı. Massachusetts Teknoloji Enstitüsü araştırmacısı Andrew Sutherland, model yayımlanmadan tek aşamalı çözüm iddialarının doğrulanamayacağını belirtti.
OpenAI, sonuçların sorumlu şekilde paylaşılması amacıyla bağımsız matematikçilerden oluşan bir danışma kurulu kurduğunu 21 Eylül tarihinde açıklamıştı. Kurulun tam şeffaflık ve modellerin erişime açılması yönündeki tavsiyelerine rağmen şirket, yalnızca ortalama işlem sürelerini ve sınırlı istatistikleri duyurdu. Matematikçi Terence Tao sürecin hızını eleştirirken, şirket temsilcileri kendi ekiplerinin bile henüz tüm sonuçları tam olarak kavrayamadığını kabul etti.
Bu özet yapay zekâ ile hazırlanmıştır; ayrıntılar ve doğrulama için orijinal kaynağa başvurun.