OpenAI, Nobel ödüllülü uzmanlar dahil dış uzmanlardan AI tarafından üretilen kanıtları incelemesini istedi

OpenAI, dahili yapay zekâ sistemlerinin Exponential Time Hypothesis (ETH)’yi çürüttüğünü, yerel yumuşatma (local smoothing) varsayımını tüm boyutlarda kanıtladığını ve dört boyutta bazı kuantum alan teorilerinin var olduğunu iddia eden üç ayrı bilimsel sonuç yayınladı. Bu sonuçların her biri, ilgili alanda yıllardır kabul edilen temel varsayımları sarsma potansiyeline sahip.

Bilgisayar bilimi alanında, ETH’nin yanlış olduğu iddiası SAT probleminin en kötü durum zaman karmaşıklığını yeniden tanımlayabilir. OpenAI’nin kanıtı, bu varsayım üzerine inşa edilen yüzlerce çalışmanın temellerini sarsabilir; ancak pratik etkileri hâlâ belirsiz. MIT’li Ryan Williams ve UC San Diego’dan Russell Impagliazzo, Ramamohan Paturi gibi isimler, gizlilik anlaşması olmadan bağımsız inceleme yapacaklarını ve ara bulgularını paylaşacaklarını duyurdu.

Matematikte, Christopher Sogge’nin 1991’de ortaya attığı yerel yumuşatma varsayımının tüm boyutlarda kanıtlandığı iddiası, Kakeya ve Stein kısıtlama varsayımlarını da otomatik olarak çözmüş olur. OpenAI, bu kanıtları da Lean’e çevirdi ve doğrudan topluluğa yayınladı; henüz bir “shepherd” grubu atanmadı.

Fizik kısmında ise, yapay zekâ dört boyutta Yang‑Mills teorisinin varlığını kanıtladığını, ancak kütle boşluğunu (mass gap) çözmediğini belirtti. Bu, Clay Mathematics Institute’un bir Millennium Prize Problem’inin bir kısmının çözülmesi anlamına geliyor. Nobel ödüllü David Gross ve ekibi, bu sonuçları incelemek üzere bir grup oluşturdu ve OpenAI, ilgili materyalleri henüz paylaşmayıp kendi raporlarını hazırlayacaklarını açıkladı.

OpenAI, sürecin şeffaflığı ve bilimsel kredinin doğru dağıtılması gerektiğini vurgulayarak, tüm ham verileri ve Lean kanıtlarını yayınladı, ayrıca bu alandaki tartışmaları desteklemek için Simons Foundation’a 5 milyon dolar bağışta bulundu.