Yapay Zeka, Riemann Hipotezi Üzerinde Önemli Bir İlerleme Kaydetti

Riemann hipotezi, 150 yılı aşkın süredir matematiğin en büyük çözülmemiş problemlerinden biri olarak kabul ediliyor. Anthropic, henüz yayımlanmamış bir modelin bu hipotez üzerinde önemli ilerlemeler kaydettiğini duyurdu. Model, 650 farklı çözüm önerisi test ederek, hipotezin geçerli olduğu alt sınırı önemli ölçüde artırdı.

Bu ilerleme, matematiksel eğitim almamış bir Anthropic çalışanının modelle etkileşime geçmesiyle gerçekleşti. Model, 60 alt ajanla koordinasyon sağlayarak 31 milyon hesaplama gerçekleştirdi. Sonuçlar, Anthropic'in iç matematikçileri tarafından doğrulandı ve açık kaynaklı bir kanıt asistanı kullanılarak formalize edildi. Bu gelişmeler, yapay zekanın matematik alanındaki potansiyelini yeniden gündeme getirirken, bazı matematikçiler bu durumun alanın değerlerini tehdit edebileceğinden endişe ediyor.