OpenAI mengatakan bahawa model AI telah membantah Hipotesis Masa Eksponen (ETH), mencabar satu anggapan yang telah digunakan oleh penyelidik selama 27 tahun. Model tersebut mengembangkan algoritma yang lebih pantas untuk masalah logik 3-SAT. Sistem OpenAI menghasilkan bukti dalam bahasa semula jadi pada 16 Oktober. Pasukan tersebut menterjemahkan bukti itu ke dalam Lean pada hari berikutnya, membolehkan perisian memeriksa setiap langkah logik.
Algoritma yang diterbitkan mengambil kira-kira 2^(n/√log n) langkah untuk input yang mengandungi n pemboleh ubah. Masa pelaksanaan ini mengalahkan had bawah eksponen yang diramalkan oleh ETH tetapi masih terlalu perlahan untuk aplikasi praktikal. OpenAI memperingatkan bahawa penyelidikan tambahan yang besar diperlukan untuk mencapai peningkatan kelajuan praktikal. Russell Impagliazzo dan Ramamohan Paturi dari UC San Diego akan memimpin ulasan bersama Ryan Williams dari MIT. OpenAI tidak mengklaim kredit saintifik atas penemuan ini, mengikuti perselisihan sebelumnya yang melibatkan Navier-Stokes.
Impagliazzo dan Paturi memperkenalkan ETH pada tahun 1999. Hipotesis ini berkaitan dengan 3-SAT, yang menanyakan sama ada nilai benar-atau-salah boleh ditetapkan kepada pemboleh ubah sambil memenuhi setiap syarat yang saling berkaitan. Penyelesaian yang dicadangkan mudah untuk disemak, tetapi setiap pemboleh ubah tambahan menggandakan bilangan kombinasi yang mungkin untuk dicari. ETH menyatakan bahawa tiada algoritma boleh mengelakkan pertumbuhan eksponen dalam kes terburuk. OpenAI mengatakan ratusan kertas menggunakan hipotesis ini untuk menetapkan kesukaran pengiraan dalam teori graf, biologi pengiraan dan pangkalan data. Akronim ETH tidak ada kaitan dengan ticker Ethereum.
Hasil tersebut tidak membuktikan bahawa P sama dengan NP. Soalan P berbanding NP meminta sama ada semua masalah yang penyelesaiannya boleh diperiksa dengan pantas juga boleh diselesaikan dengan pantas. ETH membuat pernyataan yang lebih kuat daripada P ≠ NP, jadi membantah ETH tidak menyelesaikan soalan yang lebih luas itu. Presiden dan penemu bersama OpenAI, Greg Brockman, menekankan perbezaan ini beberapa jam selepas pengumuman. Algoritma tersebut tidak secara langsung mengancam kriptografi yang melindungi Bitcoin atau Ethereum. Tandatangan Bitcoin menggunakan kriptografi lengkung eliptik, dan algoritma tersebut tidak menyelesaikan masalah matematik yang menjadi asas sistem tersebut.
Scott Aaronson, seorang profesor sains komputer di Universiti Texas di Austin, mengatakan bahawa pelajar membawa berita kepada Aaronson mengenai sangkalan yang diklaim. Terobosan matematik sebelumnya juga telah menolak anggapan mengenai had pengiraan. Anatoly Karatsuba menolak konjektur pendaraban Andrey Kolmogorov dalam tempoh kira-kira seminggu pada tahun 1960. Volker Strassen berusaha membuktikan keoptimuman pendaraban matriks piawai pada tahun 1969 tetapi sebaliknya menemui pendekatan yang lebih pantas. Mesin kini menghasilkan bukti yang kemudian manusia usahakan untuk memahami. Rilis yang sama juga mengklaim bukti tambahan yang melibatkan analisis harmonik dan fizik zarah.
Kriptografer Matthew Green memperingatkan bahawa AI boleh melemahkan matematik yang melindungi dompet. Benjamin Cowen, ahli Majlis Pakar Intelejen Pasaran BeInCrypto, berhujah bahawa perkembangan dalam disiplin yang jauh daripada kewangan akhirnya boleh mengubah pasaran. Kemajuan AI semakin menguji anggapan kesukaran pengiraan yang menjadi asas aset digital.