Anthropic’in Gizli Modeli 150 Yıllık Matematik Problemine El Attı

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.

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.

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.