Sebuah makalah yang diunggah oleh Anthropic mengklaim bahwa model Claude internal juga membantah Hipotesis Waktu Eksponensial

Sebuah pracetak di hexagonmath.org, yang tercatat diunggah oleh Anthropic pada 27 Oktober 2026, mengklaim adanya algoritma deterministik untuk 3-SAT dengan n variabel yang berjalan dalam waktu 2^o(n), yang akan membantah Hipotesis Waktu Eksponensial (ETH). Makalah itu menyebutkan bahwa algoritma tersebut juga menyelesaikan masalah #3-SAT yang lebih sulit, yang menghitung penugasan yang memenuhi, dan hasilnya telah diformalkan dalam Lean 4.

Menurut pernyataan asal-usul makalah tersebut, sebuah model riset Claude internal menemukan algoritma intinya pada 16 Oktober dengan menggunakan 14 juta token keluaran dan tanpa masukan manusia, lalu para peneliti Anthropic bekerja sama dengan Claude untuk menyempurnakan penyajiannya. Makalah itu menambahkan bahwa sebuah model internal di OpenAI mengklaim telah membuktikan hasil serupa secara independen dan pada waktu yang bersamaan; makalah tersebut merujuk pada pracetak OpenAI sendiri tertanggal 26 Oktober. Semua ini merupakan klaim penulis dan belum diverifikasi secara independen.

Makalah tersebut dibagikan di Hacker News (22 poin, 6 komentar per 27 Oktober), tempat seorang komentator mencatat bahwa tanggal penemuan yang diklaim sama dengan tanggal yang diklaim OpenAI.