Henüz piyasaya sürülmemiş bir yapay zeka modeli, matematik dünyasının 150 yılı aşkın süredir çözülemeyen en önemli problemlerinden biri olan Riemann hipotezi üzerinde kayda değer bir ilerleme kaydetti. Bu hipotez, asal sayıların dağılımının gizemini çözmeyi amaçlıyor ve genel bir kanıtı için sunulan 1 milyon dolarlık ödül hala sahibini bulamadı.
Riemann hipotezinde yapay zeka adımı
Anthropic tarafından geliştirilen ve henüz yayınlanmamış yapay zeka modeli, Riemann hipotezinin geçerli olduğu çözüm aralığının alt sınırını önemli ölçüde genişletmeyi başardı. Bu gelişmenin başlangıcı, matematiksel eğitimi olmayan bir Anthropic çalışanının modele hipotezi kanıtlaması için basit bir komut vermesiyle tetiklendi. Model, bir buçuk gün boyunca 60 alt temsilciyle koordineli bir şekilde çalışarak toplamda 650 farklı çözüm fikrini test etti. Bu süreçte 31 milyon çıktı token'ı kullanan modelin elde ettiği bulgular, Anthropic bünyesindeki iki matematikçi tarafından doğrulandı ve 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 bu tür 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 prensipleri zayıflatabileceği konusunda kaygılarını dile getiriyor. Haziran ayında yayınlanan bir deklarasyonla matematiksel kanıtların belirli yazarlara atfedilmesi gerektiği vurgulanırken, 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.
