Claude secara mandiri menemukan algoritma yang dapat membantah hipotesis waktu eksponensial Model penelitian Claude di Anthropic, tanpa bimbingan manusia, secara independen menemukan algoritma baru yang dapat menyelesaikan masalah 3-SAT lebih cepat daripada kecepatan yang sebelumnya dianggap mungkin menurut teori. 3-SAT adalah masalah klasik yang menentukan apakah sekumpulan kondisi logis dapat dipenuhi secara simultan. Selama ini, para peneliti percaya bahwa masalah semacam ini sulit dipercepat secara signifikan—ini adalah hipotesis waktu eksponensial. Jika algoritma baru ini valid, maka hipotesis tersebut tidak berlaku. Peristiwa ini menunjukkan bahwa kecerdasan buatan kini mampu secara mandiri mengusulkan algoritma penting dan memberikan bukti yang dapat diverifikasi untuk masalah inti dalam ilmu komputer teoretis. Jika hasilnya bertahan uji, hal ini akan mengubah pandangan jangka panjang tentang tingkat kesulitan sebagian masalah komputasi. Saat ini, makalah dan buktinya telah dipublikasikan untuk verifikasi lebih lanjut. Seluruh proses ini menunjukkan bahwa model mampu melakukan penemuan teoretis tingkat tinggi secara mandiri, tetapi penyusunan akhir tetap memerlukan penyempurnaan oleh manusia.