OpenAI, şirketin yapay zekasının Üstel Zaman Hipotezi'ni (ETH) çürüttüğünü iddia eden 67 sayfalık bir makale yayınladı. Bu varsayım 1999 yılına dayanıyor ve ethereum, ethereum'un fiyatı veya kurucu ortak Vitalik Buterin ile hiçbir ilgisi yok. Bu iddia, X üzerinde matematikçiler ve kripto para kullanıcıları arasında tartışma yarattı. X kullanıcısı Takumi, "Aman tanrım, algoritma trader'ları $ETH'yi tamamen bastı" dedi. Andrew Jiang, "Bu haber çıktı beri Vitalik gerçekten sessiz kaldı." yazdı.
Bilgisayar bilimcileri Russell Impagliazzo, Ramamohan Paturi ve Francis Zane, ETH'yi önerdi. Sanı, 3-SAT mantık probleminin, tüm kombinasyonları test etmekten çok daha hızlı çözülemeyeceğini öne sürer. 3-SAT problemi, aynı anda üç seçenek içeren kuralları karşılayan doğru-yanlış atamalarını bulmayı gerektirir. OpenAI, graf teorisi, hesaplamalı biyoloji, veritabanları ve geometride hesaplama sınırlarını belirlemek için yüzlerce makalenin ETH'ye dayandığını belirtiyor. OpenAI, ETH'in çürütülmesinin olası hız artırımlarıyla ilgili soruları yeniden canlandırabileceğini ve araştırmaların daha iyi algoritmalar yönünde yönlendirilebileceğini savunuyor.
Kağıt, 17 Ekim tarihli ve 25 Ekim'de revize edilmiş bir tarihe sahiptir. Kağıt, rastgelelik kullanmayan, altüstsel zaman içinde tüm tatmin edici atamaları saymak için belirli bir algoritma sunar. Altüstsel zaman, gerekli işin değişken sayısının herhangi bir üssel fonksiyonundan daha yavaş arttığını ifade eder. Tatmin edici atamaları saymak, herhangi bir tatmin edici atamanın var olup olmadığını belirlemekten daha zordur, bu nedenle sayma algoritması karar problemine de çözüm sunar. OpenAI, AI'nın iddia edilen çürütmenin 16 Ekim'de keşfedildiğini söylüyor. OpenAI, sonucun 17 Ekim'de Lean adlı yazılım kullanılarak resmileştirildiğini belirtiyor; Lean, her mantıksal adımı mekanik olarak kontrol eden bir yazılımdır. Kağıt ve resmileştirme GitHub'da mevcuttur. OpenAI ayrıca bu ayın başlarında GitHub üzerinden 722 matematik makalesi yayınladı, ancak yalnızca 162'si bir bilgisayar tarafından kontrol edilen anapara sonucunu içeriyordu.
Impagliazzo, Paturi ve MIT'li Ryan Williams, iddiayı bağımsız olarak incelemektedir. Üç araştırmacı, açık bir mektupta katılımı onay olarak yorumlamamayı uyarıdı. Araştırmacılar, bu kadar önemli bir bulgunun titiz bağımsız bir inceleme ve diğer araştırmacıların yeniden oluşturabilecekleri, sorgulayabilecekleri ve geliştirebilecekleri bir açıklama gerektirdiğini söyledi. OpenAI, katılımcıların ücret almadığını ve hiçbir gizlilik sözleşmesi imzalamadığını belirtti. OpenAI, tüm ham verileri yayınlamayı ve sonucu hakkında bir konferansı finanse etmeyi kabul etti.
OpenAI, kullanışlı algoritmaları tanımlamanın ve teorik ilerlemeleri pratik kazançlara dönüştürmenin önemli ölçüde ek araştırma gerektireceğini uyarıyor. Makale, tüm NP problemlerinin altüstsel zaman çözümlerine sahip olduğunu kanıtlamıyor. P, bilgisayarların etkili bir şekilde çözebildiği problemlerden oluşurken, NP önerilen çözümleri etkili bir şekilde kontrol edilebilen problemlerden oluşur. Verimli doğrulamanın her zaman verimli çözümü ima edip etmediğini soran P karşı NP sorusu hâlâ çözülmemiştir.
Anthropic, daha sonra Claude'ye ait olduğu belirtilen ve 26 Ekim tarihli "A 2^o(n) Time Algorithm for 3-SAT" başlıklı bir makale yayınladı. İlgili depo, Claude'nin iç bir araştırma sürümünün bu algoritmayı keşfettiğini belirtiyor ve aynı zamanda ETH'yi de ele alıyor. Depo, sonucun asimptotik davranışla ilgili olduğunu ve pratik formül çözme konusunda herhangi bir iddiada bulunmadığını uyarıyor. Claude, Eylül ayında Lean kullanarak Fermat'ın Son Teoremi'ni formüle etti. Matematikçi Terence Tao, Eylül'de bir problem üzerine yapılan araştırmaların haberleri, orijinal projenin tamamen gelişmeden önce geniş çaplı AI destekli çabaları tetikleyebileceğini uyardı.
OpenAI, yakın zamanda Simons Vakfı'na 5 milyon dolar katkıda bulundu. Bu katkı, araştırmacıların AI tarafından üretilen sonuçları incelemesine ve geliştirmesine yardımcı olacak seminerlere, konferanslara ve özel programlara destek olacak.