OpenAI üç yeni bilimsel atılım iddiasında bulundu ve bunları doğrulamak için uzman rehberler görevlendirdi

OpenAI, matematik, bilgisayar bilimi ve fizik alanlarında büyük keşifler olarak nitelendirdiği üç yeni sonuç duyurdu; bunun yanında yapay zekâ tarafından üretilen iddiaları akademik dış uzmanların önüne taşıyan yeni bir süreç de başlattı. The Verge'nin aktardığına göre duyuru, şirketin uzun süredir çözülemeyen matematik problemlerine çözüm içerdiğini söylediği yüzlerce makaleyi herkese açık olarak yayımlamasının üzerinden bir ay bile geçmeden geldi.

Matematik, bilgisayar bilimi ve fizikte üç sonuç

Matematik sonucu, Öklid dalga denklemi için ileri sürülen bir yerel düzleştirme kanıtı. The Verge'nin haber verdiğine göre argüman, iki ve üzeri tüm uzaysal boyutlarda dalgalar için Sogge'nin yerel düzleştirmesini kurmak üzere yardımcı bir kısmi türevli denklem kullanıyor ve ayrıca Kakeya maksimal ve boyut konjektürlerini ile Stein'un küresel kısıtlama tahminlerini, öne sürülen aralığın iç kısmında kapsıyor. OpenAI, danışmanlarının tavsiyesi üzerine, 6 Ekim yayımında yaptığı gibi, ham model çıktısını doğrudan yayımladı; böylece araştırmacılar kendi açıklamalarını geliştirebilecek.

Bilgisayar bilimi makalesi şaşırtıcı bir iddiada bulunuyor: 1999'da öne sürüldüğünden beri yaygın şekilde kabul gören Üstel Zaman Hipotezi'nin (ETH) yanlış olduğu. The Verge'ye göre makale, sabit genişlikli CNF formüllerinin tatmin edici atamalarını üstel altı sürede ve polinom uzayda tam olarak sayan deterministik bir algoritma sunuyor; 3-SAT durumu ise ETH'nin çürütülmesine denk geliyor.

Fizik sonucu ise tam olarak yayımlanmadı. OpenAI, bunu dört boyutta gauge alanları ve fermiyonlar içeren belirli etkileşimli kuantum alan teorileri için — Kuantum Kromodinamiği ve parçacık fiziğinin Standart Modeli'nin birleşik bir tamamlaması dahil — matematiksel olarak titiz bir varlık kanıtı olarak tanımlıyor.

Adı geçen uzmanlara dayanan yeni bir doğrulama modeli

Bu yayımı ayrı kılan şey ise incelemenin yürütülme biçimi. Bilgisayar bilimi iddiası için, 1999'da ETH'yi öne süren grubun parçası olan UC San Diego'dan Russell Impagliazzo ve Ramamohan Paturi ile MIT'den Ryan Williams'dan oluşan bağımsız bir çalışma grubu kanıtı inceleyip açıklayacak. Grubun talebi üzerine, yazılı metin ve Lean ile biçimlendirilmiş bir kanıt başkalarının da inceleyebilmesi için hemen GitHub'da yayımlandı.

Fizik çalışması için OpenAI, David Gross'un şirketin kendi deyimiyle sonucu "yönlendirecek" olan; Michael Douglas, Arthur Jaffe, Igor Klebanov ve Nikita Nekrasov'u da içeren bir gruba liderlik edeceğini söyledi.

Bilgisayar bilimi grubu ayrıca topluluktan normlar konusunda görüş isteyen açık bir mektup yayımladı; mektup, yapay zekâ tarafından üretilen sonuçlara erken erişim beklentileri, çıkar çatışmalarının açıklanması ve yayımlanmamış materyal kullanımı hakkındaki soruları; atıfın hem yeni keşifleri hem de bunları denetleme, düzeltme, basitleştirme, açıklama ve genişletme çalışmasını nasıl tanıması gerektiğini; ve sonuçları sorgulamak için gereken anlayışı korurken öğrencilere ve araştırmacılara nasıl destek verileceğini gündeme getiriyor.

OpenAI'nin kendi danışmanları bir gün önce karşı çıkmıştı

Rehberlik yaklaşımı tartışmalı. The Verge'nin belirttiğine göre OpenAI'nin topladığı matematik danışmanları paneli AGMAI, bu duyurudan yalnızca bir gün önce, eşit olmayan erişim, ödünç alınan itibar ve taraflı seçim gerekçeleriyle yapay zekâ şirketlerinin belirli kişileri çıktıyı ilk alanlar olarak ataması uygulamasını benimsememesini tavsiye ettiğini açıkladı. Panel bunun yerine laboratuvarların çıktıları Lean ile biçimlendirilmiş kanıtlarla birlikte akademik depolarda yayımlamasını, problemlerin nasıl seçildiğine dair bilgi vermesini ve sonuçları anlamaya çalışanlara fon sağlamasını önerdi. OpenAI'nin kendisi de yeni düzenlemenin sorunlar taşıyabileceğini kabul ediyor.

Fields Madalyası arka planı

Zamanlama işleri biraz daha karmaşıklaştırıyor. NYU profesörü Hong Wang birkaç ay önce Uluslararası Matematik Birliği'nden üç boyutlu Kakeya konjektürünü çözerek Fields Madalyası aldı. Yeni yapay zekâ çıktısı, tüm boyutları kapsayan ve bu çığır açan insan kanıtının çok ötesine geçen sonuçlar iddia ediyor.

Neden önemli

Her bir iddia, incelemeden sağ çıkarsa, kendi başına önemli. ETH'nin doğrulanmış bir çürütülmesi, hipotezin zorluk argümanları için yaygın kullanılan bir temel oluşturduğu hesaplama karmaşıklığı teorisinin altında yatan varsayımları alt üst ederdi. Matematik sonucu ise insan kanıtlarının harmonik analizde merkezi problemlerde ulaştığı noktaların ötesine geçerdi.

Ancak daha derin hikâye süreçle ilgili. Yapay zekâ sistemleri, geleneksel hakemli incelemenin absorbe edemeyeceği bir hızda iddialar üretiyor ve alan, doğrulama düzenlemelerini gözler önünde doğaçlamaya çalışıyor. Bu yayım sürtünmeyi gerçek zamanlı gösteriyor: OpenAI üç sonuçtan ikisi için adı geçen uzman rehberler seçti; oysa kendi danışma paneli tam bir gün önce açıkça bu modele karşı çıkıp bunun yerine açık depo yayımlarını ve biçimlendirilmiş kanıtları savundu. Keşif, doğrulama ve atfın makinelerle matematikçiler arasında nasıl paylaşılacağı, yalnızca teknik değil, açık bir araştırma politikası sorusu hâline geldi.