Pada 26 Oktober 2026, dua laboratorium AI terbesar di dunia mengumumkan hal yang sama dalam selang beberapa jam: sebuah asumsi fondasi ilmu komputer yang bertahan 27 tahun diklaim salah. OpenAI merilis makalah berjudul "The Exponential Time Hypothesis is False", dan Anthropic menyusul dengan "A 2^o(n) Time Algorithm for 3-SAT". Yang membuat cerita ini makin aneh: kedua tim menelusuri terobosan intinya ke tanggal yang sama persis, 16 Oktober 2026 — dan keduanya mengklaim algoritmanya ditemukan oleh model AI internal, bukan manusia.
Ini bukan kabar "AI mengalahkan manusia main catur" yang lain. Ini soal fondasi matematika komputasi. Tapi sebelum ikut heboh, ada satu catatan penting yang harus dipasang di depan: kedua bukti ini belum lolos peer review, dan para ahli masih memeriksanya. Jadi yang benar kita pegang hari ini adalah: ada klaim besar, dengan bukti formal yang bisa diperiksa mesin, dan verifikasi manusia masih berjalan.
Apa itu Exponential Time Hypothesis?
Bayangkan teka-teki 3-SAT: sederet saklar on/off dan sekumpulan aturan kecil. Pertanyaannya, adakah posisi saklar yang membuat semua aturan terpenuhi? Cara paling naif adalah mencoba semua kombinasi, dan usahanya berlipat ganda tiap tambah satu saklar: 2^n.
Exponential Time Hypothesis (ETH), yang diajukan Russell Impagliazzo dan Ramamohan Paturi pada 1999 (diformalkan bersama Francis Zane pada 2001), mengatakan sesuatu yang lebih kuat: tidak ada algoritma yang bisa menyelesaikan 3-SAT jauh lebih cepat dari itu. Usaha minimalnya tetap 2 pangkat sebagian tetap dari jumlah variabel. Pecahan itu boleh kecil, tapi tidak boleh mengecil sampai nol.
ETH menjadi asumsi kerja ratusan penelitian. Menurut makalah Anthropic, sekitar 800 makalah bersandar pada batas bawah ETH — dari teori graf, optimasi query database, hingga complexity berparameter. Kalau ETH runtuh, banyak hasil "tidak ada algoritma yang lebih cepat" harus ditulis ulang.
Apa yang diklaim kedua lab itu?
Kedua makalah mengklaim algoritma deterministik (tanpa unsur acak) yang menghitung persis jumlah solusi dari formula 3-SAT dalam waktu subeksponensial, kira-kira 2^(n/akar log n). Dalam bahasa sederhana: pangkatnya bukan lagi sebagian tetap dari n, melainkan pecahan yang terus mengecil seiring soal membesar. Itulah yang secara definisi mematahkan ETH.
Detailnya:
- OpenAI mengumumkan tiga hasil dari satu model internal yang belum dirilis pada 26 Oktober 2026: ETH, konjektur local smoothing (yang juga akan menyelesaikan konjektur Kakeya di semua dimensi), dan eksistensi teori Yang-Mills. Makalah ETH-nya 67 halaman, bertanggal 17 Oktober dan direvisi 25 Oktober, dan bukti formalnya ditulis dalam Lean, perangkat lunak pemeriksa bukti matematika.
- Anthropic merilis makalah 49 halaman yang ditulis atas nama "Claude (Anthropic)". Menurut makalah itu, algoritma intinya ditemukan pada 16 Oktober oleh model riset internal Claude dengan 14 juta token keluaran dan tanpa input manusia. Makalah Anthropic juga mengklaim membantah versi yang lebih kuat, Strong Exponential Time Hypothesis (SETH).
- Kedua bukti tersedia publik di GitHub, lengkap dengan formalisasi Lean-nya.
Kenapa Lean penting — dan kenapa belum cukup
Lean adalah proof assistant: ia memeriksa argumen matematika langkah demi langkah, seperti kompilator yang menolak kode yang salah ketik logika. Kalau Lean bilang bukti itu valid, maka teorema tersebut memang mengikuti definisi-definisi yang tertulis.
Tapi ada celah yang diakui semua pihak: Lean hanya memeriksa teorema sesuai yang ditulis. Ia tidak bisa memastikan definisi formal di dalam kode benar-benar sama dengan soal yang dimaksud manusia di makalah. Anthropic sendiri menulis bahwa bukti Lean-nya ditulis oleh model AI dan ditinjau oleh instansi lain dari model yang sama, dan pada saat rilis belum ada manusia yang diketahui mengaudit 1.050 modul Lean hasil tulisan AI itu.
Itulah kenapa proses verifikasi manusianya jadi berita tersendiri.
Siapa yang memeriksa?
Bagian paling elegan dari cerita ini: pemeriksanya adalah orang yang merumuskan hipotesis itu sendiri. Impagliazzo dan Paturi, bersama Ryan Williams dari MIT — yang sepanjang kariernya membantah versi-versi kuat dari hipotesis yang sama — memimpin pemeriksaan eksternal. Mereka menyatakan tidak menandatangani NDA, bekerja tanpa bayaran, akan membagikan temuan interim seiring berjalan, dan keterlibatan mereka bukan dukungan. Atas permintaan mereka, OpenAI merilis semua data mentah — makalah dan bukti Lean — dan setuju mendanai konferensi tentang arti hasil ini bagi bidang tersebut.
Sikap yang tepat dari komunitas sejauh ini: antusias, tapi menunggu.
Apa yang TIDAK dibuktikan oleh kabar ini?
Tiga kesalahpahaman yang perlu diluruskan:
- Ini bukan bukti P = NP. Waktu subeksponensial 2^o(n) masih superpolinomial. Seperti kata presiden OpenAI Greg Brockman, "P mungkin masih tidak sama dengan NP."
- Ini tidak membuat solver SAT di dunia nyata jadi lebih cepat. Makalah Anthropic sendiri menyatakan batas waktunya baru mengalahkan brute force 2^n pada n di atas 10^10 (dan di atas 10^10000 untuk kasus m = 5n). Hasil ini soal teori asimtotik, bukan soal praktis.
- Ini belum fakta yang mapan. Sampai ada audit manusia atas definisi formalnya, statusnya tetap klaim — klaim yang sangat serius dan bisa diperiksa, tapi tetap klaim.
Kenapa ini tetap penting buat kita yang berkecimpung di AI?
Terlepas dari hasil akhirnya, peristiwa ini menandai pergeseran nyata: AI tidak lagi hanya menulis kode atau menjawab pertanyaan, tapi menghasilkan dugaan matematika yang cukup kuat untuk mengguncang asumsi 27 tahun — dan menghasilkan bukti formal yang bisa diperiksa mesin. Leo de Moura, pencipta Lean yang kini VP di AWS, sudah lama bicara soal pergeseran kerja insinyur dari menulis kode ke menulis spesifikasi dan bukti yang diperiksa mesin, termasuk untuk keluaran AI. Peristiwa Oktober 2026 ini adalah versi paling dramatis dari pergeseran itu.
Kalau klaim ini bertahan, ilmu komputer harus menata ulang sebagian peta batas bawah kompleksitasnya. Kalau klaim ini gugur karena ada celah definisi, kita tetap belajar sesuatu yang berharga tentang batas verifikasi AI: mesin bisa memeriksa logika, tapi makna tetap butuh manusia.
Entah mana yang terjadi, satu hal sudah pasti: cara kita menemukan dan memverifikasi matematika tidak akan kembali seperti dulu.
Sumber: laporan AI Daily Briefing 2 November 2026, TechTimes, Silicon Noon, Emergent Mind, dan Let's Data Science, berdasarkan makalah OpenAI "The Exponential Time Hypothesis is False" dan makalah Anthropic "A 2^o(n) Time Algorithm for 3-SAT" di GitHub. Status verifikasi independen masih berjalan saat tulisan ini diterbitkan.