Claude, 167 Yıllık Matematik Probleminde İlerleme Kaydetti: 31 Milyon Token, 60 Ajan ve %41,6'dan %67,2'ye Sıçrama

Anthropic'in Claude modeli, 167 yıllık bir matematik problemini çıkmazdan kurtararak önemli bir atılım gerçekleştirdi. 1859'da ortaya atılan problem, analitik sayılar teorisine dayanıyor ve asal sayıların doğasını içeriyor. Claude'un bu problemdeki performansı, yeni bir eğitim rejimi uygulandıktan sonra %41,6'dan %67,2'ye sıçradı. Model, yaklaşık 25,6 milyon kelimeye denk gelen 31 milyon token tüketti ve bu süreçte 650 GB veri üretti. Problemi çözmek için Claude, her biri yaklaşık 2400 makaleyi analiz eden 60 özel ajan kullandı; bu makaleler arasında arXiv'den 54 ilgili makale de vardı ve böylece akıl yürütmesinin sağlam olması sağlandı. Takviyeli öğrenme ve Lean adlı bir kanıt asistanı aracılığıyla doğrulama kullanımı kritik öneme sahipti. Anthropic bu başarıyı, büyük ölçekli hesaplama ile biçimsel doğrulamanın bu kombinasyonuna bağlıyor ve bu, yapay zeka destekli matematiksel keşifte yeni bir dönüm noktası oluşturuyor.