Yapay Zeka Matematiğin En Büyük Sırlarından Birine Dokundu: Riemann Hipotezi'nde Kritik Gelişme

Matematiğin 150 Yıllık Bilmecesi Yapay Zeka ile Sarsıldı

Matematik dünyasının 150 yılı aşkın süredir cevabını aradığı ve asal sayıların dağılımını konu alan Riemann hipotezi, günümüzün en büyük çözülememiş problemlerinden biri olarak kabul ediliyor. Öyle ki, bu hipotezi kanıtlayacak kişiye 1 milyon dolarlık büyük bir ödül vaat ediliyor. Şimdi ise Anthropic, henüz piyasaya sürülmemiş bir yapay zeka modelinin bu devasa problemin çözümünde kayda değer bir mesafe kat ettiğini duyurdu.

650 Fikir, 60 Alt Ajan ve 31 Milyon Parametre

Bu gelişmeyi daha etkileyici kılan detay ise sürecin yönetiliş biçimi. Derin bir matematiksel uzmanlığı bulunmayan bir Anthropic çalışanı, modele hipotezi kanıtlaması için basit bir komut vererek süreci başlattı. Yapay zeka, yaklaşık bir buçuk gün boyunca kendi kendine koordine olarak tam 650 farklı çözüm fikrini test etti.

Buna da Göz Atın

Zoom Ekran Paylaşımında Kritik Açık: Cihazınızın Kontrolü Ele Geçirilebilir

Haberi Oku

Sistem, süreci yönetmek için 60 alt ajanı devreye soktu. Bu çalışma düzeni şu şekilde işledi:

• 2 ajan, temel matematiksel fikirleri geliştirmekten sorumlu tutuldu.
• 13 ajan, bu fikirlere katkı sağladı.
• 30 ajan, yeni fikirler üretmeye çalıştı ancak başarılı olamadı.
• 13 ajan, argümanların doğruluğunu denetleyen doğrulayıcılar olarak görev yaptı.
• Son 2 ajan ise makalenin yazım sürecinde yer aldı.

Elde edilen bulgular, Anthropic bünyesindeki matematikçiler tarafından onaylandı ve açık kaynaklı kanıt asistanı Lean kullanılarak resmileştirildi.

Yapay Zeka ve Matematiğin Geleceği

Bu başarı, LLM yani Büyük Dil Modellerinin bilimsel keşiflerdeki rolünü yeniden tartışmaya açtı. Daha önce Erdos problemleri ve Jacobian sanısı gibi önemli matematiksel konularda da benzer atılımlar yapılmıştı. Ancak bu durum akademide bir bölünmeye neden oldu. Bazı matematikçiler, buluşların sahipliğinin belirsizleşmesinden ve sorumluluk ilkesinin zedelenmesinden endişe duyarken, Timothy Gowers gibi Fields Madalyası sahibi isimler, yapay zekanın matematiği daha karmaşık ve pozitif bir yöne taşıyabileceğini savunuyor. Sizce matematiksel kanıtların "yazarı"nın bir makine olması, bilginin değerini değiştirir mi, yoksa sadece yeni bir dönemin başlangıcı mı?