Matematik dünyasının 150 yılı aşkın müddettir çözülemeyen en büyük sorunlarından biri olan Riemann hipotezi, asal sayıların dağılımı üzerine kurulu gizemini koruyor. Bu hipotezin genel bir ispatı için sunulan 1 milyon dolarlık ödül şimdi kimse tarafından alınamadı.

Güncel modeller şimdi bu sorunu büsbütün çözemese de, matematiksel fikirler üretme konusunda beklenenden daha fazla ilerleme kaydedebiliyorlar. Bu durum, yapay zekanın bilimsel keşiflerdeki rolüne dair uzun müddettir devam eden tartışmaları tekrar gündeme taşıyor.

Riemann hipotezinde yapay zeka adımı

Anthropic, şimdi piyasaya sürülmemiş bir modelinin Riemann hipotezi üzerinde kıymetli bir ilerleme sağladığını duyurdu. Model, hipotezin geçerli olduğu tahlil aralığının alt hududunu besbelli halde artırmayı başardı.

Bu gelişme, matematiksel eğitimi bulunmayan bir Anthropic çalışanının modele hipotezi kanıtlaması için kolay bir komut vermesiyle başladı. Model, bir buçuk gün boyunca 60 alt temsilciyle koordineli çalışarak toplamda 650 farklı tahlil 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ı ispat asistanı Lean kullanılarak resmileştirildi.

Matematik dünyasında yapay zeka tartışması

Büyük lisan modellerinin matematik alanındaki muvaffakiyetleri, bölümde hem heyecan hem de telaş yaratıyor. Kimi önde gelen matematikçiler, yapay zekanın ispatların sahipliği ve sorumluluğu üzere temel bedelleri zayıflatabileceği konusunda dertli.

Haziran ayında yayınlanan bir deklarasyonda, matematiksel ispatların muhakkak müelliflere atfedilmesi gerektiği vurgulandı. Fakat Fields Madalyası sahibi Timothy Gowers üzere isimler, yapay zekanın matematiği daha karmaşık ve olumlu bir yöne taşıyabileceğini savunuyor.

Gowers, matematiksel teoremlerin artık belli bireylerle anılmamasının, astronomi dünyasındaki isimlendirme alışkanlıkları kadar doğal karşılanabileceğini söz ediyor.

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

Kaynak: Shiftdelete