
Muhtemelen "OpenAI, ETH'nin yanlış olduğunu kanıtladı" araştırmasını gördünüz. Nefesinizi verin. Eğlenceli olsa da, buradaki ETH Ethereum ile ilgili değil. Buradaki ETH, 2001 yılında bilgisayar bilimindeki en zor problemlerin ne kadar zor olduğu hakkında yapılan bir varsayımdır: Üstel Zaman Hipotezi. Basit bir dille anlatmak gerekirse: SAT adında bir ders kitabında yer alan zor bir problem var: uzun bir mantıksal formül ve bunu doğru yapan değerleri bulmak. Herkes, tek yolun 2^n kombinasyonu denemek olduğunu varsaymıştı, artı eksi. Yüzlerce "bu görev SAT kadar zor" sonucu bu varsayıma dayanıyor. Bir OpenAI modeli, 2^n'den anlamlı ölçüde daha hızlı bunu yapan 67 sayfalık bir makale yazdı. Eğer bu geçerliyse, varsayım çürümüş olacak ve birçok teori yeniden yazılacak. Formelleştirilmiş versiyon yayınlandı, üç üst düzey karmaşıklık teorisi uzmanı şu anda bunu kontrol ediyor.
