Claude, kendi kendine indeks zaman varsayımını çürüten bir algoritma keşfetti. Anthropic içinden çıkan Claude araştırma modeli, insan rehberliği olmadan, 3-SAT sorununu daha önce teorik olarak mümkün olduğuna inanılan hızdan daha hızlı çözebilen yeni bir algoritma keşfetti. 3-SAT, bir dizi mantıksal koşulun aynı anda karşılanıp karşılanamayacağını belirleyen klasik bir zorluktur. Uzun yıllar boyunca araştırmacılar, bu tür sorunların büyük ölçüde hızlandırılamayacağını düşünmüştür; bu da üssel zaman varsayımıdır. Eğer yeni algoritma geçerliyse, bu varsayımın geçersiz olduğu anlamına gelir. Bu durum, yapay zekânın teorik bilgisayar biliminin temel sorularında önemli algoritmaları kendi başına ortaya koyabileceğini ve doğrulanabilir kanıtlar sunabileceğini göstermektedir. Sonuçlar denetimden geçerse, bazı hesaplama sorunlarının zorluğuna dair uzun süredir süren görüşlerin değişmesi mümkündür. Şu anda makale ve kanıt, daha fazla doğrulama için halka açılmıştır. Tüm süreç, modelin yüksek düzeyli teorik keşifleri kendi başına tamamlayabileceğini göstermektedir; ancak son düzenlemeler hâlâ insan eliyle tamamlanmalıdır.