Anda mungkin melihat penelitian "OpenAI membuktikan ETH itu salah". Tarik napas. Seberapa lucu pun kedengarannya, ini bukan ETH yang berarti Ethereum, dan tidak ada hubungannya dengan Ethereum. ETH di sini adalah Exponential Time Hypothesis, sebuah asumsi tahun 2001 tentang seberapa sulit masalah-masalah paling sulit dalam ilmu komputer. Dengan kata sederhana. Ada masalah sulit dalam buku teks yang disebut SAT: sebuah formula logika panjang, cari nilai-nilai yang membuatnya benar. Semua orang mengasumsikan satu-satunya cara adalah mencoba semua 2^n kombinasi, lebih atau kurang. Ratusan hasil "tugas ini sekeras SAT" bergantung pada asumsi ini. Sebuah model OpenAI menulis makalah 67 halaman dengan algoritma yang menyelesaikannya jauh lebih cepat daripada 2^n. Jika valid, asumsi ini akan runtuh dan banyak teori akan ditulis ulang. Formalisasi lean telah dirilis, tiga ahli teori kompleksitas terkemuka kini sedang memeriksanya.