Yayınlanmamış bir Anthropic modeli, matematiğin en büyük çözülmemiş problemlerinden birinde ilerleme kaydetti

150 yılı aşkın bir süredir Riemann hipotezi, asal sayıların dağılımı hakkında uzun süredir devam eden bir gizem olan matematikteki çözülmemiş en büyük problemlerden biri olarak duruyordu. Şu anda hipotezin geçerli bir genel kanıtı için 1 milyon dolarlık bir ödül var, ancak bu henüz açıklanmadı. Çağdaş yapay zeka modelleri de bu sorunu hâlâ çözemiyor; ancak beklediğinizden çok daha fazla ilerleme kaydedebilirler; bu bulgu, çağdaş yapay zekanın yeni bilimsel ve matematiksel fikirleri keşfetme yeteneği hakkında uzun süredir devam eden soruları yeniden gündeme getirecek. Pazartesi günü Anthropic, henüz yayınlanmamış bir modelin Riemann hipotezinde önemli ilerleme kaydettiğini ve hipotezin doğru olduğu çözümlerin alt sınırını önemli ölçüde artırdığını duyurdu. Daha da etkileyici olan, ilerlemenin nasıl sağlandığıdır: Önemli bir matematik eğitimi olmayan bir Anthropic personel, modeli hipotezi kanıtlamak için gerçek bir girişimde bulunmaya teşvik etti, ardından ertesi bir buçuk gün boyunca görevi koordine etmek için modelden ayrıldı. Toplamda model, sorunu çözmek için 650 farklı fikri test etti, 60 alt aracıyı koordine etti ve toplamda 31 milyon çıktı tokeni harcadı. 60 alt temsilciden ikisi, temel matematiksel fikirlerin geliştirilmesinden sorumluydu, makalenin bir dipnotunda açıklandığı gibi, 13'ü bu aracılara fikirlerle katkıda bulundu, 30'u yeni fikirler geliştirmeye çalıştı (ancak başaramadı), 13'ü argümanların doğruluğunu kontrol etmek için doğrulayıcı olarak görev yaptı ve son ikisi, başlangıcın yazılmasına yardımcı oldu.

kağıt. Bulgu, Anthropic'nin şirket içi matematikçilerinden ikisi tarafından doğrulandı ve açık kaynak kanıt asistanı Lean kullanılarak resmileştirildi. Bu, büyük dil modelleri veya LLM'ler tarafından yürütülen bir dizi matematiksel atılımın sonuncusudur. Bu yıl boyunca Erdos'un birçok sorunu yapay zeka modelleri tarafından çözüldü ve daha güçlü modellerin piyasaya sürülmesi daha etkileyici sonuçlara yol açtı. OpenAI kısa bir süre önce dahili Astra modeliyle kanıtlanan 10 ana sonuçtan oluşan bir dizi yayınladı; Anthropic'nin ayrı bir çabası ise uzun süredir devam eden Jacobian varsayımını çürüttü. Sonuçların giderek artması matematik alanında hem heyecana hem de endişeye neden oldu.