Anthropic'in Yeni Yapay Zeka Modeli Riemann Hipotezinde Önemli İlerleme Kaydetti

Anthropic'in henüz yayınlanmamış yeni yapay zeka modeli, 150 yıllık Riemann hipotezi üzerinde önemli bir matematiksel ilerleme kaydetti. Matematik dünyasının 150 yılı aşkın süredir çözülemeyen en büyük problemlerinden biri olan Riemann hipotezi, asal sayıların dağılımı üzerine kurulu gizemini koruyor. Bu hipotezin genel bir kanıtı için sunulan 1 milyon dolarlık ödül henüz kimse tarafından alınamadı. Güncel modeller henüz bu problemi tamamen çözemese de, matematiksel fikirler üretme konusunda beklenenden daha fazla ilerleme kaydedebiliyorlar. Bu durum, yapay zekanın bilimsel keşiflerdeki rolüne dair uzun süredir devam eden tartışmaları yeniden gündeme taşıyor. Riemann hipotezinde yapay zeka adımı Anthropic, henüz piyasaya sürülmemiş bir modelinin Riemann hipotezi üzerinde önemli bir ilerleme sağladığını duyurdu. Model, hipotezin geçerli olduğu çözüm aralığının alt sınırını belirgin şekilde artırmayı başardı. Bu gelişme, matematiksel eğitimi bulunmayan bir Anthropic çalışanının modele hipotezi kanıtlaması için basit bir komut vermesiyle başladı. Model, bir buçuk gün boyunca 60 alt temsilciyle koordineli çalışarak toplamda 650 farklı çözüm fikrini test etti. Süreç boyunca 31 milyon çıktı token’ı harcayan modelin çalışmaları, Anthropic bünyesindeki iki matematikçi tarafından doğrulandı. Elde edilen bulgular, açık kaynaklı kanıt asistanı Lean kullanılarak resmileştirildi. Matematik dünyasında yapay zeka tartışması Büyük dil modellerinin matematik alanındaki başarıları, sektörde hem heyecan hem de endişe yaratıyor. Bazı önde gelen matematikçiler, yapay zekanın kanıtların sahipliği ve sorumluluğu gibi temel değerleri zayıflatabileceği konusunda kaygılı. Haziran ayında yayınlanan bir deklarasyonda, matematiksel kanıtların belirli yazarlara atfedilmesi gerektiği vurgulandı. Ancak Fields Madalyası sahibi Timothy Gowers gibi isimler, yapay zekanın matematiği daha karmaşık ve olumlu bir yöne taşıyabileceğini savunuyor. Gowers, matematiksel teoremlerin artık belirli kişilerle anılmamasının, astronomi dünyasındaki isimlendirme alışkanlıkları kadar doğal karşılanabileceğini ifade ediyor. Sizce yapay zekanın matematiksel keşiflerde bu denli aktif rol alması, bilim dünyasının geleceğini nasıl değiştirecek?