OpenAI matematik, bilgisayar bilimi ve fizikte üç keşif duyurdu

OpenAI, matematik, bilgisayar bilimi ve fizikte üç yeni "büyük" keşif duyurdu. Şirket bundan bir aydan kısa süre önce, uzun süredir açık matematik sorularına çözüm içerdiğini söylediği yüzlerce makaleyi yayımlamıştı. Bu kez sonuçların nasıl inceleneceği konusunda "shepherd" (çoban) adını verdiği dış uzmanlarla çalıştığını belirtiyor.

Üç iddia

Matematikte OpenAI, modelinin yerel düzleştirme (local smoothing) varsayımının her boyutta kanıtını ürettiğini söylüyor. Şirkete göre bu, Kakeya varsayımını ve Stein'in kısıtlama varsayımını da tüm boyutlarda çözüyor. Model çıktısı, 6 Ekim'deki gibi doğrudan yayımlanıyor; danışmanlar araştırmacıların kendi açıklamalarını geliştirmesini önermiş. NYU'dan Hong Wang, birkaç ay önce Kakeya varsayımını üç boyutta çözdüğü için Fields Madalyası almıştı.

Bilgisayar biliminde bir makale, sabit genişlikli CNF formüllerinin sağlayan atamalarını alt üstel zamanda ve polinom bellekle tam olarak sayan deterministik bir algoritma sunuyor. 3-SAT durumu, 1999'da önerildiğinden beri doğru kabul edilen Üstel Zaman Hipotezi'ni (ETH) çürütecek. Russell Impagliazzo, Ramamohan Paturi ve Ryan Williams'tan oluşan grup kanıtı inceleyip açıklayacak. Grubun isteğiyle metin ve Lean kanıtı hemen GitHub'da yayımlandı.

Fizikte şirket, dört boyutta ayar alanları ve fermiyonlar içeren bazı etkileşimli kuantum alan kuramlarının, QCD ve Standart Model'in birleşik bir tamamlayımı dahil, "matematiksel olarak titiz bir varlık kanıtından" söz ediyor. Ayrıntılar henüz açıklanmadı. David Gross; Michael Douglas, Arthur Jaffe, Igor Klebanov ve Nikita Nekrasov'un yer aldığı bir grubu yönetecek.

Tartışmalı yöntem

OpenAI, bu yaklaşımın kendine özgü sorunları olabileceğini kabul ediyor. Bir gün önce, şirketin oluşturduğu AGMAI matematik danışma kurulu, yapay zekâ şirketlerinin çıktıları önce belirli kişilere vermesini önermediğini; eşitsiz erişim, ödünç itibar ve yanlı seçimi gerekçe gösterdi. Kurul bunun yerine akademik depolarda, Lean ile biçimselleştirilmiş kanıtlar, problem seçimi bilgisi ve sonuçları anlamaya çalışanlar için fonla yayın yapılmasını önerdi.

OpenAI ayrıca erken erişim kurallarını, katkıların nasıl kredilendirileceğini ve öğrencilere nasıl destek verileceğini soran açık bir mektup yayımladı. Bağımsız uzmanlar görüş bildirene kadar üç sonuç da doğrulanmayı bekleyen iddialar olarak kalıyor.