OpenAI, 3 Büyük Bilimsel Keşif Yaptığını Açıkladı

OpenAI; matematik, bilgisayar bilimi ve fizikte üç büyük teorik kırılma gerçekleştirdiğini öne sürdü.

Duyurunun asıl ilgi çeken yanı yalnızca teknik iddialar değil. OpenAI’ın bilgisayar bilimi ve fizikteki çıktıları yönlendirmesi için bağımsız dış uzmanları "çoban" olarak görevlendirdiğini duyurması da ilginç kısımlardan. Matematik kanadında ise modelin çıktısı, araştırmacıların kendi açıklamalarını geliştirebilmesi adına doğrudan GitHub üzerinden paylaşıldı.

Bunlar da İlginizi Çekebilir İçerikten Görseller × + − ‹ › OpenAI ne iddia ediyor?

Bilgisayar teorisinin en bilinen kabullerinden biri olan Üstel Zaman Hipotezi (ETH) OpenAI'ın iddiasına göre çürütüldü. Şirketin paylaştığı makale; sabit genişlikteki CNF formüllerini sağlayan atamaları alt-üstel zaman ve polinomiyal alan karmaşıklığında tam olarak sayan deterministik bir algoritma sunduğunu öne sürüyor. Bu algoritmanın 3-SAT problemine uygulanmasının, uzun yıllardır doğruluğuna inanılan ETH'yi açıkça çürüttüğü iddia ediliyor.

Bu devasa iddianın incelenmesi ve doğrulanması ise rastgele bir ekibe bırakılmış değil; 1999 yılında bu hipotezi ilk ortaya atan isimler arasında yer alan UC San Diego'dan Russell Impagliazzo ve Ramamohan Paturi ile MIT profesörü Ryan Williams liderliğindeki bağımsız bir çalışma grubu süreci üstlenmiş. Çalışma grubunun talebi üzerine OpenAI, diğer araştırmacıların da inceleme yapabilmesi için model çıktısını ve Lean dilindeki biçimsel ispatı GitHub üzerinden derhal kamuoyuna açtı.