Yayınlanmamış Anthropic Modeli, Riemann Hipotezi'nde İlerleme Kaydetti

Anthropic, henüz yayınlanmamış bir modelin, 150 yılı aşkın süredir çözülememiş asal sayılarla ilgili ünlü bir problem olan Riemann hipotezi üzerinde önemli ilerleme kaydettiğini duyurdu. Önemli bir matematik eğitimi olmayan bir Anthropic çalışanı, modeli bir kanıt denemesi için yönlendirdi ve ardından modeli bir buçuk gün boyunca görevi koordine etmekle baş başa bıraktı. Model, 60 alt temsilciyi koordine ederek ve toplam 31 milyon token harcayarak 650 farklı fikri test etti. Alt temsilcilerden ikisi temel matematiksel fikirleri geliştirdi, diğerleri fikirlerle katkıda bulundu, yeni fikirler geliştirmeye çalıştı ancak başaramadı, doğrulayıcı olarak görev yaptı veya makalenin yazılmasına yardımcı oldu. Anthropic'in dahili matematikçilerinden ikisi bulguları doğruladı ve kanıt, açık kaynaklı kanıt yardımcı aracı Lean kullanılarak resmileştirildi. Bu, çözülen Erdos problemleri ve OpenAI'nin 'Astra' modeli ile Anthropic'in Jacobian varsayımını çürütmesi gibi diğer sonuçlar da dahil olmak üzere, büyük dil modellerinin matematiksel atılımlar dizisinin bir parçasıdır. Artan sonuçlar hem heyecan hem de endişe yarattı; bazı matematikçiler kanıtların atfedilmesi ve sorumluluğu konusunda endişelenirken, Fields Madalyası sahibi Timothy Gowers değişimin göründüğü kadar sorunlu olmayabileceğini öne sürüyor.