Claude secara bebas menemukan algoritma yang boleh menolak hipotesis masa eksponen Model penyelidikan Claude di dalam Anthropic, tanpa bimbingan manusia, secara berdikari menemui algoritma baharu yang dapat menyelesaikan masalah 3-SAT lebih pantas daripada kelajuan yang sebelum ini dianggap mungkin menurut teori. 3-SAT ialah masalah klasik untuk menentukan sama ada satu set syarat logik boleh dipenuhi secara serentak. Selama ini, penyelidik percaya bahawa masalah sebegini sukar untuk dipercepatkan secara besar-besaran—ini dikenali sebagai hipotesis masa eksponen. Jika algoritma baharu ini sah, ia bermakna hipotesis ini tidak benar. Perkara ini menunjukkan bahawa kecerdasan buatan kini mampu secara bebas mencadangkan algoritma penting dan memberikan bukti yang boleh disahkan dalam isu-asas ilmu komputer teori. Jika keputusan ini melepasi ujian, ia akan mengubah pandangan jangka panjang manusia terhadap kesukaran sebahagian masalah pengiraan. Kertas kerja dan bukti kini telah dipublikasikan untuk pengesahan lanjut. Proses keseluruhan menunjukkan bahawa model mampu menyelesaikan penemuan teori aras tinggi secara bebas, tetapi penghimpunan akhir masih memerlukan penyempurnaan oleh manusia.