150 yılı aşkın bir süredir, Riemann hipotezi, matematiğin en büyük çözülmemiş problemlerinden biri olarak kaldı. Bu hipotez, asal sayıların dağılımı hakkında bir gizem olarak devam ediyor. Şu anda, bu hipotezin genel bir kanıtı için 1 milyon dolarlık bir ödül veriliyor, ancak henüz kimse bu ödülü alamadı.
Çağdaş AI modelleri de bu problemi çözemiyor, ancak beklenenden daha fazla ilerleme kaydedebiliyorlar. Bu, contemporary AI'nin yeni bilimsel ve matematiksel fikirleri keşfetme yeteneği hakkında yeniden düşünülmesi gereken bir bulgu.
Pazartesi günü, Anthropic, yayımlanmamış bir modelin Riemann hipotezi üzerinde önemli ilerleme kaydettiğini açıkladı. Bu model, hipotezin doğru olduğu bilinen çözümlerin alt sınırını önemli ölçüde artırdı.
Daha da etkileyici olan, bu ilerlemelerin nasıl elde edildiği. Anthropic'in bir personeli, önemli matematiksel eğitim almadan, modeli hipotezi kanıtlamaya yöneltti ve modeli, sonraki gün ve yarım gün boyunca bu görevi koordine etti.
Bu süreçte, model 650 farklı fikir denedi, 60 alt-ağent ile birlikte çalıştı ve toplam 31 milyon işlem gerçekleştirdi.
Bu bulgu, Anthropic'in iki dahili matematikçi tarafından doğrulandı ve açık kaynaklı kanıtlama asistanı Lean kullanılarak formalize edildi.
Bu, Büyük Dil Modelleri (LLM'ler) tarafından yapılan bir dizi matematiksel buluşun sonuncusu. Bu yıl içinde, several Erdos problemi AI modelleri tarafından çözüldü ve daha güçlü modellerin yayınlanması daha etkileyici sonuçlara yol açtı.
Matematikçiler arasında, bu yeni araştırma tekniklerine nasıl yaklaşılacağı konusunda heyecan ve endişe var. Haziran ayında imzalanan bir kamu bildirisi, AI'nin matematik alanının temel değerlerini zayıflatabileceği konusunda endişe ifade etti.
Ancak, matematikçiler bu yeni araştırma tekniklerine nasıl yaklaşılacağı konusunda ikiye bölünmüş durumda. Bir blog yazısında, Fields Madalyası sahibi Timothy Gowers, AI'nin matematiği daha karmaşık ve olumlu bir şekilde değiştirebileceği konusunda sordu.
