Yapay Zeka, 150 Yıllık Matematik Problemini Çözmeye Yönelik Bir Adım Attı

Matematik dünyasının en büyük problemlerinden biri olan Riemann hipotezi, 150 yılı aşkın süredir çözülememiş bir gizem olarak kalıyor. Bu hipotezin genel bir kanıtı için sunulan 1 milyon dolarlık ödül henüz kimse tarafından alınamadı.

Haberi okuduğunuz için teşekkürler, bizi takip etmeyi unutmayın!

Yapay zekanın, matematiksel fikirler üretme konusunda beklenenden daha fazla ilerleme kaydedebilme yeteneği, bilimsel keşiflerdeki rolünü tartışmaya açı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ı. 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.

Yapay zekanın matematiksel keşiflerde bu denli aktif rol alması, bilim dünyasının geleceğini nasıl değiştirecek?

Sizce yapay zekanın matematiksel keşiflerde bu denli aktif rol alması, bilim dünyasının geleceğini nasıl değiştirecek?