OpenAI, Matematik ve Fizikte Üç Büyük Sonuç Duyurdu: Doğrulamayı Dış Uzmanlara Bıraktı

OpenAI, şirket içi yapay zekâ modellerinin matematik, bilgisayar bilimi ve fizikte üç yeni sonuç ürettiğini açıkladı. Şirket bu iddiaları kendi başına onaylı saymıyor; çalışmaları incelemek üzere akademisyenleri “rehber” olarak davet ediyor. Tartışma ise sonuçlardan çok bu yöntem üzerinde yoğunlaşıyor.

Matematikte yerel düzgünleştirme kanıtı

İlk iddia, Christopher Sogge’un 1991’de ortaya attığı yerel düzgünleştirme (local smoothing) varsayımının her boyutta kanıtlanması. Bu varsayım iki boyutta 2019’da çözülmüştü. OpenAI’a göre kanıt, “yeni bir yardımcı kısmi diferansiyel denkleme” dayanıyor ve Kakeya ile Stein kısıtlama sanılarını da kapsıyor. Şirket, bir uzmanın önerisiyle model çıktısını ve bir Lean kanıtını GitHub’a yükledi. Lean, matematiksel ispatları bilgisayarla adım adım denetleyen bir doğrulama aracı olarak kullanılıyor.

Üstel Zaman Hipotezi çürütüldü mü?

İkinci sonuç bilgisayar biliminde. OpenAI, sabit genişlikli CNF formüllerinin sağlayan atamalarını alt üstel sürede sayan deterministik bir algoritma tarif ediyor. Bu algoritma 3-SAT’a uygulanırsa, yüzlerce zorluk kanıtında dayanak olan Üstel Zaman Hipotezi çürütülmüş olacak. Hipotezi öneren Russell Impagliazzo ve Ramamohan Paturi ile MIT’den Ryan Williams incelemeyi yürütecek. Üçü de sürece katılımlarının iddianın onaylandığı anlamına gelmediğini vurguladı.

Fizikte Yang-Mills ve “rehber” tartışması

Üçüncü sonuç, kuantum renk dinamiği kapsamında saf Yang-Mills kuramı için bir varlık kanıtı. Bu konu, Clay Milenyum Ödülü problemlerinden birinin parçası. Nobel ödüllü David Gross’un başındaki bir grup, çalışmayı kendisi yazıya dökecek; fizik materyalleri şimdilik yayımlanmadı. “Rehberler” gizlilik sözleşmesi imzalamayacak ve ücret almayacak. Yine de OpenAI’ın kendi matematik danışma kurulu, seçilmiş kişilere model çıktılarına ilk erişim verilmesinin eşitsiz erişim ve taraflı seçim yaratacağı uyarısında bulundu. OpenAI makaleleri “ham araştırma verisi” olarak tanımlıyor.