OpenAI, Matematik, Bilgisayar Bilimi ve Fizikteki Yapay Zekâ Kanıtlarını Dış İncelemeye Açtı

OpenAI, iç yapay zekâ modellerinin matematik, bilgisayar bilimi ve fizik alanlarında kanıt ürettiğini söylüyor. Bu iddialar arasında bilgisayar biliminde merkezi bir varsayımın yanlış olduğuna dair bir iddia ve bir Minillik Mükafatı Probleminin bir bölümünün kanıtlandığına dair bir iddia yer alıyor. OpenAI, sonuçları incelemesi ve kanıtların geçerli olup olmadığına karar vermesi için Nobel ödüllü bir uzman da dahil dış uzmanlara başvurdu.

Bilgisayar bilimi: ETH sorgulanıyor

OpenAI, bir sonucun Exponential Time Hypothesis (ETH) ile ilgili olduğunu söylüyor. ETH, Boolean satisfiability problem (SAT) ile bağlantılıdır. SAT, mantıksal bir formüldeki değişkenlerin formülü doğru yapacak şekilde ayarlanıp ayarlanamayacağını sorar. ETH, gerçek bir kısayol olmadığını ve değişkenler eklendikçe en kötü durum hesaplama süresinin üstel olarak büyüdüğünü söyler. OpenAI, sisteminin ETH'nin yanlış olduğunu kanıtladığını söylüyor. Şirket, bunun ETH'ye dayanan yüzlerce makaleyi etkileyeceğini, ancak pratik kazanımların yine de çok araştırma gerektireceğini söylüyor.

Ryan Williams (MIT), Russell Impagliazzo ve Ramamohan Paturi (UC San Diego) sonucu bağımsız olarak kontrol ediyor ve açıklıyor. Grup, gizlilik anlaşması olmadığını, ücretsiz çalıştığını ve ara bulguları paylaşmayı planladığını söylüyor. Üçlü, açık bir mektupta katılımlarının bir onaylama olmadığını belirtiyor. OpenAI, yazılı kanıtı ve Lean kanıtını yayımlıyor ve sonuca yönelik bir konferansı finanse etmeyi taahhüt ediyor.

Matematik: her boyutta yerel düzleştirme

Matematik sonucu, Christopher Sogge'nin 1991'de öne sürdüğü yerel düzleştirme varsayımıyla ilgilidir. Varsayım, dalgaların aşırı yoğunlaşmasının yalnızca kısa süreli olduğunu, bu nedenle dalgaların zaman içinde ortalaması alındığında daha düzgün davrandığını söyler. Bu varsayım 2019'da Guth, Wang ve Zhang tarafından iki boyutta kanıtlanmıştı. OpenAI, modellerinin artık her boyut için bir kanıt ürettiğini söylüyor. OpenAI'ya göre sonuç, Kakeya varsayımını ve Stein'in kısıtlama varsayımını da tüm boyutlarda kanıtlıyor. OpenAI, bu kanıtı yönlendiren özel bir grup olmadığını söylüyor. Bir dış uzmana ulaştıktan sonra araştırmacıların sonucu nasıl kontrol edeceğini kendilerinin karar vermesi için kanıt metnini ve Lean kanıtını doğrudan yayımladı.

Fizik: kuantum alan kuramının varlığı

Fizik sonucu, OpenAI'nın modern teorik fizikteki en önemli çerçeve olarak nitelendirdiği kuantum alan kuramıyla ilgilidir. OpenAI, yapay zekâsının belirli kuantum alan kuramlarının dört boyutta var olduğunu kanıtladığını söylüyor. Kanıt Yang-Mills kuramını, kuantum kromodinamiğini ve en basit büyük birleşik kuramı kapsıyor. Yang-Mills için OpenAI, yalnızca varlık kısmını çözdüğünü, kütle aralığı sorununu değil, bu nedenle Minillik Mükafatı Probleminin tam olarak çözülmeyeceğini söylüyor.

David Gross'un liderliğindeki bir grup bu çalışmayı yönlendirecek. Gross, 2004 Fizik Nobel Ödülü'nü paylaştı. Grup ayrıca Michael Douglas, Arthur Jaffe, Igor Klebanov ve Nikita Nekrasov'u içeriyor. OpenAI, Yang-Mills kanıtını Lean'e çevirdiğini söylüyor, ancak bu grup şimdilik yapay zekâ materyallerini elinde tutuyor ve sonucu kendisi yazmayı planlıyor.

İnceleme süreci ve bilimsel katkı

OpenAI, bilimsel katkı iddia etmediğini ve katkı payının sonuçları açıklayan gruplara gitmesi gerektiğini söylüyor. Ayrıca sürecin bazı ödünler içerdiğini de kabul ediyor: ilk yönlendiricileri kimin seçtiği, kimin sürece ilk dahil olacağını da belirliyor. OpenAI, hangi inceleme yaklaşımının en iyi çalıştığının henüz net olmadığını söylüyor.

Kaynaklar: The Decoder