Uzun süredir çözülemeyen matematik sorularına çözüm içeren yüzlerce makalenin kitlesel yayınlanmasından bir ay bile geçmeden OpenAI geri döndü ve matematik, bilgisayar bilimi ile fizikte üç yeni “büyük” keşif açıkladı. Bu kez farklı olan, OpenAI’nin “shepherd” yani çoban olarak tanımladığı dış uzmanların bilgisayar bilimi ve fizik sonuçlarını yönlendirmesi oldu. Matematik problemi için ise şirket, model çıktısının araştırmacıların kendi açıklamalarını yapması için yayınlanmasını tavsiye edildiğini söyledi.
OpenAI bugün GitHub’a eklenen sonuçlar:
Öklid dalga denklemi için yerel düzleştirme. İspat, Sogge’nin dalgalar için her uzaysal boyutta en az ikide yerel düzleştirme sonucunu kurmak üzere yardımcı bir kısmi diferansiyel denklem kullanıyor. Bu aynı zamanda Kakeya maksimal ve boyut varsayımlarını ve Stein’in küresel kısıtlama tahminlerini varsayılan aralığın içi boyunca da sağlıyor. Model çıktısını 6 Ekim’deki yayınında olduğu gibi doğrudan yayınlıyoruz.
Üstel Zaman Hipotezi Yanlıştır. Makale, sabit genişlikli CNF formüllerinin tatmin edici atamalarını alt-üstel zamanda ve polinomiyel alanda tam olarak sayan deterministik bir algoritma veriyor. 3-SAT durumu Üstel Zaman Hipotezini çürütüyor. Bilgisayar bilimcilerinden Russell Impagliazzo, Ramamohan Paturi ve Ryan Williams’ın öncülük ettiği bağımsız bir çalışma grubu ispatı inceleyecek ve açıklayacak. Grubun talebi üzerine materyalleri hemen herkesin incelemesi için kamuoyuna açıyoruz.
Şirket bu yaklaşımın kendi sorunları olabileceğini kabul ediyor. OpenAI’nin oluşturduğu matematik danışmanları AGMAI paneli dün “yapay zeka şirketlerinin belirli kişilere önce çıktı gönderme uygulamalarını benimsemesini önermiyoruz” dedi. Panel, eşit olmayan erişim, ödünç alınmış itibar ve önyargılı seçim gibi konuları gerekçe gösterdi. Bunun yerine yapay zeka laboratuvarlarının gelecekte çıktıları bilimsel depolar üzerinden, Lean ile biçimlendirilmiş ispatlarla, problemlerin nasıl seçildiğine dair bilgiyle, sonuçları anlama çalışmaları için fonla ve diğer bilgilerle birlikte yayınlamasını önerdi.
Fizik bilgisi tam olarak yayınlanmadı. Açıklama, dört boyutta ayar alanları ve fermiyonlar içeren etkileşen kuantum alan teorilerinin, Kuantum Kromodinamiği de dahil olmak üzere parçacık fiziğinin Standart Modelinin birleşik bir tamamlanmasını da kapsayan matematiksel olarak kesin bir varlık ispatı olarak tanımlandı. OpenAI’ye göre bu çalışmayı David Gross öncülüğünde Michael Douglas, Arthur Jaffe, Igor Klebanov ve Nikita Nekrasov’un yer aldığı bir grup yürütecek.
Bilgisayar bilimi iş birliğinin, yaygın olarak doğru olduğuna inanılan Üstel Zaman Hipotezi’nin aslında yanlış olduğunu kanıtladığı belirtiliyor. OpenAI, sonucun doğrulanmasının UC San Diego’dan Russell Impagliazzo ve Ramamohan Paturi ile MIT profesörü Ryan Williams’ın da aralarında bulunduğu üç uzmandan oluşan bir grup tarafından yönlendirileceğini söylüyor. Paturi ve Impagliazzo 1999’da hipotezi öneren gruptaydı. Grup, yapay zeka çıktısı yazısını ve Lean ispatını bugün GitHub’da yayınlamaya karar verdi.
Topluluğa, iddiayı nasıl inceleyecekleri ve yapay zeka kaynaklı atılımlarla nasıl başa çıkılacağına dair normlar konusunda görüş bildirmeleri için açık bir mektup da yayınladılar:
Üç daha geniş sorunun tartışılmasını memnuniyetle karşılarız:
Yapay zeka kaynaklı sonuçlara erken erişimi, çıkar çatışmalarının açıklanmasını ve yayınlanmamış materyallerin sonraki araştırmalarda kullanılmasını ne tür beklentiler yönetmelidir?
Kredi, yeni keşiflerin yanı sıra bunları kontrol etme, düzeltme, basitleştirme, açıklama ve genişletme çalışmalarını nasıl tanımalıdır?
Yöntemler ve araştırma alanları değişirken öğrencileri ve araştırmacıları nasıl destekleyebiliriz, sonuçlara meydan okumak ve yeni fikirler geliştirmek için gereken anlayış ve yargıyı koruyarak?
Matematik atılımı için benzer dokümantasyon var. Modeli “her boyutta yerel düzleştirme varsayımının ispatını üretti ve bu nedenle Kakeya varsayımını ve Stein’in kısıtlama varsayımını tüm boyutlarda çözdü.” Sadece birkaç ay önce NYU profesörü Hong Wang, Uluslararası Matematik Birliği tarafından üç boyutta Kakeya varsayımını çözmesi nedeniyle prestijli Fields Madalyası ile ödüllendirildi.
