Anthropic'in Yayınlanmamış Modeli Önemli Matematik Probleminde İlerleme Kaydetti

Riemann Hipotezi, asal sayıların dağılımıyla ilgili matematiğin en ünlü çözülmemiş problemlerinden biri, 150 yılı aşkın süredir çözülememiş durumda ve kanıtı için 1 milyon dolar ödül konulmuş. Anthropic, yayınlanmamış bir modelin kayda değer ilerleme kaydettiğini ve hipotezin geçerli olduğu bilinen çözümlerin alt sınırını önemli ölçüde yükselttiğini duyurdu. Sınırlı matematik geçmişine sahip bir çalışan, modelin bu problemi denemesini önerdi ve ardından görevi koordine etmek için onu bir buçuk gün boyunca başıboş bıraktı. Bu süre zarfında model, 60 alt ajanı koordine ederek ve 31 milyon çıktı tokeni tüketerek 650 çözüm yolu denedi. Alt ajanlar arasında 2'si ana matematik çözümleri geliştirdi, 13'ü bu ajanlar için yeni varyantlar üretti, 30'u yeni fikirler üretmeye çalıştı ancak başarısız oldu, 13'ü doğrulayıcı olarak görev yaptı ve 2'si ilk makalenin yazılmasına yardımcı oldu. Sonuç, iki personel matematikçi tarafından doğrulandı ve Lean kanıt asistanında biçimselleştirildi. Son yıllarda, yapay zeka modelleri Pál Erdős'un problemlerinden birkaçını çözdü; OpenAI'nin Astra modeli on tanesini çözdü ve başka bir Anthropic modeli, uzun süredir geçerli olan bir Jacobian hipotezini çürüttü. Bu başarılar matematik camiasında hem heyecan hem de endişe uyandırıyor; özellikle yazarlık ve doğruluk sorumluluğu konusunda endişeler var, bazıları teoremlerin belirli araştırmacılarla ilişkilendirilmesine gerek olmadığını savunuyor.