OpenAI'nin yapay zekâ modelleri üç akademik sonuç üretti; matematik ve bilgisayar biliminde kanıtlar açıkça yayımlandı

Şirket, akademik ortaklarla birlikte matematik, bilgisayar bilimi ve fizikte üretilen sonuçları paylaşıyor; Üstel Zaman Hipotezi'nin yanlış olduğu iddiası Lean ile doğrulandı.

OpenAI, yapay zekâ modellerinin ürettiği üç sonucu yayımladı: matematik, bilgisayar bilimi ve fizik alanlarında. Şirket, modellerinin her boyutta yerel düzgünleştirme varsayımının bir kanıtını ürettiğini söylüyor. Bu kanıt aynı zamanda her boyutta Kakeya ve Stein kısıtlama varsayımlarını da çözmüş oluyor. Matematik sonucunun doğal dilde yazılmış metni ve bir Lean kanıtı kamuya açık olarak yayımlandı.

Bilgisayar biliminde sistem, Üstel Zaman Hipotezi'nin yanlış olduğunu kanıtladığını bildirdi. Bu sonuç Lean ile doğrulandı. Hipotez, yüzlerce makalede koşullu hesaplama zorluğu sonuçlarını türetmek için kullanılmıştı. Sonucu Russell Impagliazzo ve Ramamohan Paturi'nin liderliğindeki dış bir grup açıklayacak. Kanıtın doğal dil metni ve Lean formalizasyonu GitHub'da hemen yayımlandı.

Fizik sonucunda ise dış grup, yapay zekâ ürünü materyalleri yayımlamayı erteledi; çalışmayı kendileri yazıp yayımlayacak. Şirket, dış iş birliklerinin şeffaflık taahhüdü verdiğini, gizlilik sözleşmesi imzalanmadığını ve bu keşifler için akademik kredi talep etmediğini belirtiyor.