OpenAI, ETH iddiasını çürüten algoritmayı açıkladı: 16’sında bulundu, 17’sinde Lean ile biçimselleştirildi

OpenAI, kurum içi bir yapay zekâ modelinin bilgisayar biliminin Üstel Zaman Varsayımı’nı (ETH) çürüten bir algoritma ortaya koyduğunu açıkladı. Bu kısaltma Ethereum’un (ETH) sembolüyle aynı olsa da çalışma, kripto para cüzdanlarının imza sistemlerini kırmaya veya özel anahtarları bulmaya yönelik bir yöntem sunmuyor.

OpenAI, 26’sında yayımladığı duyuruda modelin çürütme sonucunu ayın 16’sında bulduğunu, matematiksel kanıtı bilgisayarla denetleyen Lean aracıyla 17’sinde biçimselleştirdiğini bildirdi. Araştırma materyalleri yayımlandı ve dış uzmanların incelemesi sürüyor. OpenAI’nin Üstel Zaman Varsayımı’na ilişkin çürütme sonucunu ve Lean ile biçimselleştirme materyallerini yayımlamasına dair önceki haber de konuyu aktarmıştı.

Üstel Zaman Varsayımı, değişkenler arttıkça belirli mantık problemlerini çözmek için gereken hesaplama süresinin hızla büyüdüğünü öne sürüyor. Temel örneklerden 3-SAT, birden fazla doğru-yanlış koşulunu aynı anda karşılayan bir yanıt bulunup bulunmadığını araştırıyor. Çalışmanın merkezindeki soru, tüm olasılıkları denemekten temelden daha hızlı bir çözümün mümkün olup olmadığı.

OpenAI’nin sunduğu algoritma, 3-SAT ile bağlantılı bir problemi ‘alt üstel zamanda’ çözüyor. Başka bir deyişle, problem büyüdükçe hesaplama süresi mevcut varsayımın öngördüğünden daha yavaş artıyor. Makaledeki sonuç doğruysa, Üstel Zaman Varsayımı’nı temel alarak belirli problemlerin hesaplama zorluğu için alt sınır ortaya koyan çalışmaların dayandığı varsayım yeniden değerlendirilmeli.

OpenAI, bu varsayımı kullanan yüzlerce makalenin çizge kuramı, hesaplamalı biyoloji, veritabanları ve hesaplamalı geometri gibi alanlarda yayımlandığını belirtti. Ancak varsayımın çürütülmesi, önceki çalışmaların tüm sonuçlarını geçersiz kılmıyor. Bazı araştırmalar başka varsayımlara veya kanıtlara dayanıyor olabilir.

Üstel Zaman Varsayımı’nın çürütülmesi ile pratik şifre çözme birbirinden ayrı konular. Bu sonuç, 3-SAT türü problemlerin hesaplama süresiyle ilgili; Bitcoin (BTC) veya Ethereum cüzdanlarının özel anahtarlarını bulmaya ya da imza sistemlerini kırmaya yönelik bir yöntem sunmuyor. ‘Alt üstel zaman’ ifadesi de gerçekçi boyuttaki problemlerin hemen hızlıca çözülebileceği anlamına gelmiyor.

Çalışmayı inceleyen MIT profesörü Ryan Williams, sonuç doğrulanırsa başka problemler için de daha hızlı algoritmalar geliştirilebileceğini söyledi. Mevcut kriptografik sistemlerin bu sonuçtan zarar görüp görmediğini önce OpenAI’ye sorduğunu, şu aşamada güvenli göründüklerini belirtti. Bu açıklama, bağımsız incelemenin nihai sonucu değil, ilk değerlendirmesi niteliğinde. Ryan Williams’ın kamuya açık açıklaması

OpenAI, teorik ilerlemeyi gerçek problemlerin çözümünde kullanmak için daha fazla araştırmaya ihtiyaç olduğunu bildirdi. Devam eden bağımsız incelemede, algoritmanın ve biçimselleştirilmiş kanıtın makaledeki iddialarla örtüşüp örtüşmediği değerlendiriliyor.