OpenAI, bilgisayar bilimi alanında yirmi yılı aşkın süredir kullanılan önemli bir teori olan "Üstel Zaman Hipotezi ETH"yi çürüttüğünü açıkladı.

BlockBeats haberine göre, 27 Ekim'de OpenAI, AI modelinin ETH'yi "kırdığını" duyurdu—bu haber teknoloji ve kripto çevrelerinde hızla büyük yankı uyandırdı. Ancak özellikle belirtmek gerekir ki, buradaki ETH kripto para alanında yaygın olarak bilinen Ethereum değil, bilgisayar bilimlerinde yirmi yılı aşkın süredir var olan önemli bir varsayımdır: Üstel Zaman Hipotezi (Exponential Time Hypothesis, kısaca ETH).

Üstel Zaman Hipotezi'nin temel sorusu şudur: "Özellikle hesaplanması zor" görünen problemler gerçekte ne kadar zordur?

Bazılarının duymuş olabileceği "SAT problemi" (Boole tatmin edilebilirlik problemi) örneğini ele alalım: Size bir dizi mantıksal koşul verildiğinde, tüm koşulları aynı anda sağlayan bir atama bulunabilir mi? Problem boyutu büyüdükçe, şu anda bilinen en iyi yöntem temel olarak olası yanıtları tek tek denemekten ibarettir ve zaman maliyeti boyutla birlikte üstel olarak artar—yani sıkça söylenen "üstel zaman". ETH daha da ileri giderek, bu tür problemlerin özünde büyük ölçüde hızlandırılamayacağını, gerçek anlamda "alt-üstel zamanlı" verimli bir algoritmanın var olmadığını iddia eder.

Bu varsayım 1999'da ortaya atıldığından beri teorik bilgisayar biliminin önemli bir temel taşı olmuştur. Yüzlerce, binlerce makale "şu problemin zor olduğunu" "şu algoritmanın optimuma yakın olduğunu" kanıtlamak için ona dayanmaktadır. Eğer ETH çürütülürse, bu "neredeyse daha hızlı olamaz" diye düşündüğümüz birçok problemin teorik olarak daha iyi çözümlere sahip olabileceği anlamına gelir.

OpenAI bu kez, modelinin k-SAT probleminin çözüm sayısını alt-üstel zamanda kesin olarak sayabilen deterministik bir algoritma bulduğunu ve bunu Lean ile biçimsel olarak doğruladığını iddia etmektedir. Eğer bu sonuç nihayetinde uzman incelemesinden geçerse, Üstel Zaman Hipotezi'ni doğrudan sarsacaktır.