OpenAI, uzun süredir devam eden matematik sorularına çözümler içerdiğini iddia ettiği yüzlerce makaleyi toplu olarak yayınlamasından bir aydan kısa bir süre sonra, matematik, bilgisayar bilimi ve fizikte üç "büyük" keşifle daha geri döndü. Bu kez şirket, bilgisayar bilimi ve fizikteki sonuçlara rehberlik etmeleri için "çobanlar" olarak tanımladığı dış uzmanlara izin vermeye karar verdi. Matematik problemi için OpenAI, araştırmacıların kendi açıklamalarını geliştirebilmeleri için AI çıktısını doğrudan yayınlamasının tavsiye edildiğini söylüyor. Çünkü hiçbir şey "bilimsel titizlik" kadar akran değerlendirmesini kitle kaynağına yaptırmak gibi görünmüyor.

OpenAI'a göre matematik atılımı, "Öklid dalga denklemi için yerel yumuşatma"nın bir kanıtı. Kanıt, en az iki boyuttaki her uzamsal boyutta dalgalar için Sogge'un yerel yumuşatmasını tesis etmek için yardımcı bir kısmi diferansiyel denklem kullanıyor. Aynı zamanda Kakeya maksimal ve boyut varsayımlarını ve Stein'ın küresel kısıtlama tahminlerini, varsayılan aralığın iç kısmı boyunca veriyor. OpenAI, 6 Ekim sürümünde olduğu gibi model çıktısını doğrudan yayınlıyor. Sadece birkaç ay önce, NYU profesörü Hong Wang, Kakeya varsayımını üç boyutta çözdüğü için Uluslararası Matematik Birliği'nden prestijli bir Fields Madalyası kazandı. Şimdi bir AI, bunu tüm boyutlarda yaptığını söylüyor. Madalyanın bir firmware güncellemesiyle gelip gelmediği konusunda henüz bir açıklama yok.

Bilgisayar bilimi sonucu daha da cesur: "Üstel Zaman Hipotezi Yanlıştır" başlıklı bir makale. Makale, sabit genişlikli CNF formüllerinin tatmin edici atamalarını alt-üstel zamanda ve polinom uzayında tam olarak sayan deterministik bir algoritma sunuyor. 3-SAT durumu, Üstel Zaman Hipotezi'ni (ETH) çürütüyor. Russell Impagliazzo, Ramamohan Paturi ve Ryan Williams tarafından yönetilen bağımsız bir bilgisayar bilimcileri çalışma grubu, kanıtı inceleyecek ve açıklayacak. Grubun talebi üzerine OpenAI, materyalleri derhal kamuya açıyor, böylece başkaları da inceleyebilir. Impagliazzo ve Paturi, 1999'da ETH'yi ilk öneren grubun bir parçasıydı - yani en azından odadaki birileri hipotezin doğru kabul edildiği zamanları hatırlıyor.

Fizik bilgileri tam olarak yayınlanmadı, ancak OpenAI bunu "dört boyutta ayar alanları ve fermiyonlar içeren belirli etkileşimli kuantum alan teorilerinin, Kuantum Renk Dinamiği (QCD) ve parçacık fiziğinin Standart Modeli'nin birleşik bir tamamlanması da dahil olmak üzere, matematiksel olarak titiz bir varlık kanıtı" olarak tanımlıyor. David Gross, Michael Douglas, Arthur Jaffe, Igor Klebanov ve Nikita Nekrasov'dan oluşan bir gruba liderlik edecek ve bu çalışmaya çobanlık edecek. Çünkü hiçbir şey "kendimize güveniyoruz" kadar tüm ayrıntıları saklayıp Nobel ödüllüleri çağırmak gibi görünmüyor.

OpenAI bu yaklaşımın kendi sorunları olabileceğini kabul ediyor. OpenAI'ın bir araya getirdiği AGMAI matematik danışmanları paneli daha dün, "AI şirketlerinin" belirli kişileri çıktıyı ilk alacak kişiler olarak belirleme uygulamalarını "benimsememelerini öneriyoruz" dedi; eşitsiz erişim, ödünç alınmış itibar ve taraflı seçim gibi birkaç sorunu gerekçe gösterdi. Bunun yerine, gelecekte AI laboratuvarlarının çıktıları akademik depolarda yayınlamasını, Lean ile resmileştirilmiş kanıtlar, problemlerin nasıl seçildiğine dair bilgiler, sonuçları anlamak için çalışan insanlara fon sağlanması ve diğer bilgileri içermesini önerdiler. Diğer bir deyişle: belki de çığır açan bilimi VIP ön satışı gibi ele almayın.

Bilgisayar bilimi grubu, AI çıktı yazısını ve Lean kanıtını bugün GitHub'da yayınlamaya karar verdi. Ayrıca topluluğa, iddianın nasıl inceleneceği ve AI tarafından üretilen atılımlarla başa çıkma normlarının belirlenmesi konusunda girdi isteyen açık bir mektup yayınladılar. Mektup üç geniş soru soruyor: AI tarafından üretilen sonuçlara erken erişim, çıkar çatışmalarının açıklanması ve yayınlanmamış materyallerin sonraki araştırmalar için kullanılması konularında hangi beklentiler yönetmelidir? Kredi, hem yeni keşifleri hem de bunları kontrol etme, düzeltme, basitleştirme, açıklama ve genişletme çalışmalarını nasıl tanımalıdır? Öğrencileri nasıl destekleyebiliriz?