OpenAI, yapay zekâsının Üstel Zaman Hipotezi'ni çürüttüğünü öne sürüyor

OpenAI, şirketin yapay zekâsının Üstel Zaman Hipotezi'ni (ETH) çürüttüğünü öne süren 67 sayfalık bir makale yayımladı. Varsayım 1999'a dayanıyor ve Ethereum, Ethereum'un fiyatı veya kurucu ortağı Vitalik Buterin'le bağlantısı bulunmuyor. İddia, matematikçiler ve X'teki kripto para kullanıcıları arasında tartışma başlattı. X kullanıcısı Takumi, “Kahretsin, algoritmik yatırımcılar $ETH'yi resmen katletti” diye espri yaptı. Andrew Jiang ise “Bu ortaya çıktığından beri Vitalik'ten ses çıkmıyor” diye yazdı.

Bilgisayar bilimcileri Russell Impagliazzo, Ramamohan Paturi ve Francis Zane, ETH'yi ortaya attı. Varsayım, 3-SAT mantık probleminin çözümünün tüm kombinasyonları denemekten çok daha hızlı olamayacağını öne sürüyor. 3-SAT problemi, her seferinde üç seçenek içeren kuralları karşılayan doğru-yanlış atamalarını bulmayı gerektiriyor. OpenAI, yüzlerce makalenin çizge kuramı, hesaplamalı biyoloji, veri tabanları ve geometride hesaplama sınırlarını ortaya koymak için ETH'ye dayandığını söylüyor. OpenAI, ETH'nin çürütülmesinin olası hız iyileştirmelerine ilişkin soruları yeniden gündeme getirdiğini ve araştırmaları daha iyi algoritmalara yönlendirebileceğini savunuyor.

Makale 17 Ekim tarihini, revizyonu ise 25 Ekim tarihini taşıyor. Makalede, rastgelelik kullanmayan deterministik bir algoritmayla tüm tatmin edici atamaların alt üstel zamanda sayılabileceği öne sürülüyor. Alt üstel zaman, gereken iş miktarının değişken sayısına bağlı herhangi bir üstel fonksiyondan daha yavaş artması anlamına geliyor. Tatmin edici atamaları saymak, herhangi bir tatmin edici atama olup olmadığını belirlemekten daha zor olduğundan sayma algoritması karar problemini de ele alıyor. OpenAI, yapay zekânın iddia edilen çürütmeyi 16 Ekim'de keşfettiğini söylüyor. OpenAI, sonucun her mantıksal adımı mekanik olarak kontrol eden Lean yazılımı kullanılarak 17 Ekim'de biçimselleştirildiğini belirtiyor. Makale ve biçimselleştirme GitHub'da yayımlandı. OpenAI bu ayın başlarında GitHub üzerinden 722 matematik makalesi de yayımladı ancak bunların yalnızca 162'sinde bilgisayar tarafından kontrol edilmiş temel bir sonuç yer aldı.

Impagliazzo, Paturi ve MIT'den Ryan Williams iddiayı bağımsız olarak incelemeye öncülük ediyor. Üç araştırmacı açık mektuplarında, incelemeye katılımlarının onay olarak yorumlanmaması gerektiği uyarısında bulundu. Araştırmacılar, böylesine önemli bir bulgunun titiz bir bağımsız inceleme ve diğer araştırmacıların yeniden oluşturabileceği, sorgulayabileceği ve geliştirebileceği bir açıklama gerektirdiğini söyledi. OpenAI, katılımcılara ödeme yapılmadığını ve gizlilik anlaşması imzalamadıklarını belirtiyor. OpenAI, tüm ham verileri yayımlamayı ve sonuçla ilgili bir konferansı finanse etmeyi kabul etti.

OpenAI, yararlı algoritmalar belirlemenin ve kuramsal ilerlemeyi pratik kazanımlara dönüştürmenin önemli ölçüde ek araştırma gerektireceği uyarısında bulunuyor. Makale, tüm NP problemlerinin alt üstel zamanda çözülebileceğini ortaya koymuyor. P, bilgisayarların verimli biçimde çözebildiği problemlerden oluşurken NP, önerilen çözümlerinin verimli biçimde kontrol edilebildiği problemlerden oluşuyor. Verimli doğrulamanın her zaman verimli çözüme imkân verip vermediğini soran P ile NP arasındaki sorun çözümsüz kalmaya devam ediyor.

Anthropic daha sonra, Claude'a atfedilen ve 26 Ekim tarihli “3-SAT için 2^o(n) Zamanlı Bir Algoritma” başlıklı bir makale yayımladı. Makaleye eşlik eden depoda, algoritmanın ETH'yi de ele alan bir iç araştırma sürümü Claude tarafından keşfedildiği belirtiliyor. Depoda, sonucun asimptotik davranışla ilgili olduğu ve pratik formül çözümüne yönelik bir iddia içermediği uyarısı yer alıyor. Claude, eylül ayında Lean kullanarak Fermat'nın Son Teoremi'ni biçimselleştirdi. Matematikçi Terence Tao, eylülde bir problem üzerinde araştırma yapıldığına dair söylentilerin bile, ilk proje tam olarak gelişmeden önce yapay zekâ destekli kapsamlı çalışmalara yol açabileceği uyarısında bulundu.

OpenAI yakın zamanda Simons Vakfı'na 5 milyon dolar katkıda bulundu. Bu katkı; araştırmacıların yapay zekâ tarafından üretilen sonuçları incelemesine ve geliştirmesine yardımcı olacak çalıştayları, konferansları ve özel programları destekleyecek.