OpenAI üç bilimsel keşfi ve yeni akademik işbirliğini duyurdu

OpenAI, matematik, bilgisayar bilimi ve fizik alanlarında üç büyük keşif daha olduğunu söylüyor; bu, uzun süredir çözülememiş matematik sorularına çözümler içerdiğini söylediği yüzlerce el yazmasını yayımlamasından bir aydan kısa süre sonra geldi. Bu kez, rehber olarak tanımlanan dış uzmanlar bilgisayar bilimi ve fizik sonuçlarına rehberlik ediyor; matematik sorunu için ise OpenAI, araştırmacıların kendi açıklamalarını geliştirmesi amacıyla AI çıktısını yayımlamasının tavsiye edildiğini söylüyor.

Matematik ve fizik sonuçları

OpenAI bugün GitHub'da sonuçları yayımladı; bunlar arasında Öklidyen dalga denklemi için yerel düzleştirme kanıtı yer alıyor. Kanıt, her uzamsal boyutta en az iki olan dalgalarda Sogge'nin yerel düzleştirmesini kurmak için yardımcı bir kısmi diferansiyel denklem kullanıyor; Kakeya maksimal ve boyut sanılarını ve Stein'in küresel kısıtlama tahminlerini sanılan aralığın tüm iç bölgesinde sağlıyor. OpenAI, modelin ayrıca her boyutta yerel düzleştirme sanısının kanıtını ürettiğini, böylece Kakeya sanısı ve Stein'in kısıtlama sanısının tüm boyutlarda çözüldüğünü söylüyor. Fizik bilgisi tam olarak yayımlanmadı, ancak OpenAI bunu, dört boyutta ayar alanları ve fermiyonlar içeren etkileşimli kuantum alan teorilerinin matematiksel olarak titiz varlık kanıtı olarak tanımlıyor; buna kuantum kromodinamiği ve Standart Model'in birleşik tamamlanması dahil. David Gross, bu çalışmaya rehberlik etmek üzere Michael Douglas, Arthur Jaffe, Igor Klebanov ve Nikita Nekrasov'u da içeren bir gruba liderlik edecek.

Bilgisayar bilimi sonucu

Bilgisayar bilimi sonucu, uzun süredir doğru olduğuna yaygın biçimde inanılan Üstel Zaman Hipotezi'nin yanlış olduğunu söylüyor. Makale, sabit genişlikli CNF formüllerinin tatmin edici atamalarını tam olarak subeksponansiyel zamanda ve polinom uzayda sayan deterministik bir algoritma veriyor; 3-SAT durumu ise hipotezi çürütüyor. Russell Impagliazzo, Ramamohan Paturi ve Ryan Williams'ın liderliğinde bağımsız bir çalışma grubu kanıtı inceleyecek ve açıklayacak; grubun isteği üzerine OpenAI materyalleri hemen herkese açık hale getirdi. Grup bugün GitHub'da AI çıktısı yazısını ve Lean kanıtını yayımladı; ayrıca iddianın nasıl inceleneceğine ve AI tarafından üretilen çığır açıcı sonuçlar için normlara dair görüş isteyen açık bir mektup yayımladı.

Yayımlama uygulamaları üzerine tartışma

OpenAI, bu yaklaşımın kendi sorunları olabileceğini kabul ediyor. OpenAI'nin oluşturduğu AGMAI matematik danışmanları paneli dün, AI şirketlerinin çıktıyı önce alacak kişileri belirleyen uygulamaları benimsememesini önerdiğini söyledi; gerekçe olarak eşitsiz erişim, ödünç alınmış itibar ve yanlı seçimi gösterdi. Bunun yerine panel, gelecekteki AI laboratuvarlarının çıktıyı akademik depolarda yayımlamasını, Lean ile formalize edilmiş kanıtlar, sorunların nasıl seçildiğine dair bilgi, sonuçları anlamaya çalışan kişiler için finansman ve diğer bilgilerle birlikte sunmasını önerdi. Açık mektup, AI tarafından üretilen sonuçlara erken erişimi, çıkar çatışmalarının açıklanmasını ve yayımlanmamış materyalin sonraki araştırmalarda kullanılmasını hangi beklentilerin yönetmesi gerektiğini; kredinin hem yeni keşifleri hem de bunları kontrol etme, düzeltme, sadeleştirme, açıklama ve genişletme işini nasıl tanıması gerektiğini; ve yöntemler ile araştırma yönleri değişirken sonuçları sorgulama ve yeni fikirler geliştirme için gerekli anlayış ile yargıyı koruyarak öğrenciler ile araştırmacıların nasıl destekleneceğini soruyor. OpenAI ayrıca matematikçilerin AI tarafından üretilen araştırmayı anlamasına yardımcı olmak için 5 milyon dolar veriyor.

Bağlam

Birkaç ay önce NYU profesörü Hong Wang, Kakeya sanısını üç boyutta çözmesi nedeniyle Uluslararası Matematik Birliği tarafından Fields Madalyası ile ödüllendirildi. OpenAI'nin daha önceki 6 Ekim yayımlaması yeni matematik sonucunda referans gösteriliyor ve şirket daha önce uzun süredir çözülememiş matematik sorularına çözümler içerdiğini söylediği yüzlerce el yazmasını yayımlamıştı.

Kaynaklar: The Verge · Techmeme