OpenAI üç yeni bilimsel kanıt duyurdu ve dış denetçilerle çalışmaya başladı

OpenAI, 26 Ekim Pazartesi günü yaptığı açıklamada, dahili modellerinin üç yeni sonuç ürettiğini duyurdu. Bunlardan ilki, Kakeya ve Stein kısıtlama sanılarını da çözecek olan, her boyutta yerel düzeltme sanısının kanıtıdır. İkincisi Üstel Zaman Hipotezinin çürütülmesi, üçüncüsü ise kuantum renk dinamiği için kesin bir varlık kanıtıdır. Akademik kredi talep etmek yerine şirket, dış uzmanları "çoban" olarak hareket etmeye ve çalışmayı kontrol edip açıklayacak gruplar organize etmeye davet ettitheverge.com+1. ## Üç sonuç, üç yayın planı Matematiksel iddia, Christopher Sogge'nin 1991 tarihli yerel düzeltme sanısına dayanıyor. Matematikçiler bunu 2019'da iki uzamsal boyutta kanıtladılar ve Kakeya sanısı 2025'te üç boyutta kanıtlandı. OpenAI, kanıtının "yeni bir yardımcı kısmi türevli diferansiyel denkleme" dayandığını belirtiyor. Bir uzmanın tavsiyesi üzerine OpenAI, 6 Ekim'deki sürümünde olduğu gibi ham çıktıları, model açıklamasını ve Lean kanıtını GitHub'da yayınladıopenai.com+1. Bilgisayar bilimi sonucu, sabit genişlikteki CNF formüllerinin sağlayan atamalarını alt-üstel zamanda sayan deterministik bir algoritmayı tanımlıyor. 3-SAT'a uygulandığında bu, yüzlerce zorluk kanıtında kullanılan bir sanıyı çürütecektir. Hipotezi ilk ortaya atan UC San Diego'dan Russell Impagliazzo ve Ramamohan Paturi, incelemeye MIT'den Ryan Williams ile birlikte liderlik edecekler. "Katılımımızın iddianın bir sertifikasyonu olarak alınmaması gerektiğini" belirterek uyarıda bulundular. OpenAI ayrıca, sonucun alan için ne anlama geldiğine dair bir konferansı finanse etme taleplerini de kabul ettithenextweb.com+1. Fizik materyalleri ise şimdilik saklı tutuldu. Nobel ödüllü David Gross liderliğindeki; Michael Douglas, Arthur Jaffe, Igor Klebanov ve Nikita Nekrasov'un yer aldığı bir grup, sonucu kendileri yazmayı seçti. Çalışma, Clay Milenyum Ödülü probleminin bir parçası olan saf Yang-Mills teorisi için bir varlık kanıtını içeriyoropenai.com. ## Çoban modeli hakkındaki sorular OpenAI, çobanların gizlilik sözleşmeleri imzalamayacağını ve kendilerine ödeme yapılmayacağını belirtiyor. Şirket ayrıca modellerinin keşifleri için "akademik kredi aramadığını" ifade ediyor. Şirket, ilk çobanları seçmenin "bilgi asimetrisi yarattığını" kabul etti. Bu düzenleme, OpenAI'ın yapay zeka tarafından üretilen sonuçlar üzerine çalıştayları finanse edecek olan Simons Foundation'a yaptığı 5 milyon dolarlık katkıya ekleniyoropenai.com. Herkes bu yaklaşıma katılmıyor. Duyurudan bir gün önce, OpenAI'ın kendi matematik danışma kurulu, yapay zeka şirketlerine seçilmiş kişilere model çıktısına öncelikli erişim sağlama uygulamasını benimsememelerini tavsiye etmişti. Kurul, eşitsiz erişimi, ödünç alınmış itibarı ve yanlı seçimi gerekçe gösterdi. Gizmodo, Lean doğrulamasının daha önce de sorunlara yol açtığına dikkat çekti. OpenAI'ın önceki Navier-Stokes iddiasının okuyucuları, Lean kanıtının şirketin yayınladığından daha zayıf bir ifadeyi doğruladığından endişe etmişti. OpenAI, yeni taslakları bilimsel topluluğun henüz anlayışa dönüştürmesi gereken "ham araştırma verileri" olarak tanımlıyorgizmodo.com+1.