BlockBeats'a göre, 27 Ekim'de OpenAI, AI modelinin yirmi yılı aşkın bir süredir teorik bilgisayar biliminin temel varsayımı olan Üstel Zaman Hipotezini (ETH) çözebilecek deterministik bir algoritma bulduğunu duyurdu.
ETH, üstel zaman gerektiren hesaplama problemlerinin alt-üstel algoritmalarla önemli ölçüde hızlandırılamayacağını öne sürmektedir. OpenAI'nin, k-SAT problemlerini ele almak için Lean'de resmi doğrulama kullanan iddia edilen çözümü, uzman incelemesine dayanırsa, binlerce bilgisayar bilimi makalesinin temelini sarsacaktır.