OpenAI modeli Eksponansiyel Zaman Hipotezini yikti

Hipotez, Boolean doyma problemi uzerine kurulu olup, grafik teorisi, hesaplamali biyoloji ve veritabanlari alanlarindaki cok sayili problemin hizi acisindan zorlugunu kanitlamak icin yuzlerce akademik calismada varsayim olarak kullanilmistir. Sirket, modelin bu sonuca 16 Ekim gunu ulastigini, kanitin ise ertesi gun Lean dogrulama dili ile kontrol edildigini aktardi. OpenAI, hem modelin yazimini hem de Lean kanitini GitHub uzerinden aciklama yaparak yayinladi.

Bagimsiz denetim komitesi kuruluyor

Iddianin cagrilan onemi nedeniyle, UC San Diego ve MIT'ye bagli uc bilgisayar bilimcisi iceren bagimsiz bir inceleme grubu olusturuldu. Russell Impagliazzo, Ramamohan Paturi ve Ryan Williams imzaladigi acik mektupta, gorevlerinin iddiayi onaylamak degil, sadece sureci yonetmek oldugunu vurguladi. Arastirmacilar, OpenAI'dan tum ham verilerin paylasilmasini ve topluluk icin bir konferans finanse edilmesini istedi; her iki talep de kabul edildi. Williams, grup uyesinin hicbir gizlilik sozlesmesi imzalamadigini ve ucret almayacagini belirtti.

Matematik ve fizikte de iddialar

Ayni gun OpenAI, modellerinin matematikte Christopher Sogge'nin 1991'de onerdigi 'yerel yumuatma conjekturu'nu her boyut icin kanitladigini, bu sonucun Kakeya ve Stein kisitlama conjekturlerini de tum boyutlarda cozdugunu bildirdi. Fizik alaninda ise kuantum kromodinamigi dahil belli kuantum alan kuramlarinin dort boyutlu varligini kanitladigini, bu kapsamda Clay Matematik Enstitusu'nun Millenium Odullu problemlerinden biri olan saf Yang-Mills teorisinin varligini da ispatladigini aktardi. Fizik grubunu Nobel odullu David Gross yonetirken, bu alandaki materyaller henuz yayinlanmadi. OpenAI, akademik krediyi arastirmacilara birakacagini, Simons Vakfi'na atolyeler icin 5 milyon dolar bagisladigini kaydetti.