Anthropic'in Henüz Yayınlanmamış Modeli Riemann Hipotezi'nde İlerleme Kaydetti

Matematik dünyasında 150 yılı aşkın süredir çözülemeyen Riemann hipotezi, Anthropic tarafından geliştirilen ve henüz halka açılmamış bir yapay zeka modeliyle yeni bir aşamaya taşındı. Asal sayıların dağılımı üzerine kurulu bu karmaşık problemde, model hipotezin geçerli olduğu çözüm aralığını önemli ölçüde genişletmeyi başardı.

İleri düzey matematik eğitimi bulunmayan bir Anthropic çalışanı, modele hipotezi kanıtlaması için basit bir komut verdi. Ardından model, 36 saatlik bir süre zarfında 60 farklı alt ajan ile koordineli bir şekilde çalışarak 650 farklı çözüm fikrini test etti. Bu süreçte 31 milyon işlem gerçekleştirildi.

Çalışmanın detaylarına göre, 60 alt ajandan ikisi temel matematiksel fikirleri geliştirmekten sorumlu tutuldu. 13 ajan fikir geliştirme sürecine katkı sağlarken, 30 ajan başarısız denemeler yaptı, 13 ajan ise argümanların doğruluğunu denetleyen doğrulayıcılar olarak görev aldı. Geriye kalan iki ajan ise raporlama sürecini üstlendi. Elde edilen bulgular, kurum bünyesindeki matematikçiler tarafından incelendi ve açık kaynaklı Lean kanıt asistanı ile resmileştirildi.

Bu gelişme, yapay zekanın bilimsel keşiflerdeki rolüne dair tartışmaları da yeniden alevlendirdi. Matematik camiasında, kanıtların belirli yazarlara atfedilmesi gerektiğini savunan bir grup uzman, yapay zeka kullanımının alanın temel değerlerini zedeleyebileceği endişesini taşıyor. Buna karşın Fields Madalyası sahibi Timothy Gowers gibi isimler, yapay zekanın matematiği daha karmaşık ve pozitif bir yöne evirebileceğini belirterek, keşiflerin yazarlarından bağımsızlaşmasının bilimsel ilerleme açısından sorun teşkil etmeyebileceğini savunuyor.