Matematik dünyasının en büyük gizemlerinden biri olarak kabul edilen Riemann hipotezi, yapay zekanın hedefi haline geldi. Asal sayıların dağılımını inceleyen ve 150 yılı aşkın süredir çözülemeyen bu matematiksel bulmaca üzerinde, yapay zeka araştırmalarında önemli bir eşik aşıldı. Yüzyıllardır insan zihnini meşgul eden bu problemin çözümü için halihazırda 1 milyon dolarlık bir ödül bulunuyor ancak bu ödül henüz sahibini bulmuş değil. Bilim insanlarının onlarca yıldır üzerinde çalıştığı bu karmaşık alan, yapay zeka sistemlerinin gelişmiş akıl yürütme kapasiteleri sayesinde yeni bir boyuta taşınıyor.
Yapay zeka alanındaki çalışmalarıyla bilinen Anthropic, henüz piyasaya sürülmemiş yeni nesil bir modelinin Riemann hipotezi üzerinde önemli bir başarı elde ettiğini duyurdu. Henüz modelin adı ve teknik detayları resmi olarak açıklanmamış olsa da, şirketin paylaştığı bilgiler yapay zekanın soyut matematik alanındaki sınırlarını zorladığını gösteriyor. Gerçekleştirilen çalışma sonucunda, hipotezin geçerli olduğu çözümlerin alt sınırları belirgin şekilde artırıldı ve bu durum matematik camiasında geniş yankı uyandırdı.
Alt Ajanlarla Yürütülen Matematiksel Süreç
Bu başarının arkasındaki en dikkat çekici detaylardan biri, sürecin nasıl yönetildiği oldu. İleri düzey matematik eğitimi bulunmayan bir şirket çalışanı, yapay zekaya problemi çözmesi için basit bir yönlendirme yaptı. Ardından model, yaklaşık bir buçuk gün boyunca kendi içinde bir organizasyon kurarak çalışmayı sürdürdü. Bu süre zarfında sistem, devasa bir veri ve işlem kapasitesini koordine ederek insanüstü bir çalışma temposu sergiledi.
Süreç boyunca toplamda 650 farklı çözüm fikri test edildi. Bu karmaşık süreçte 60 farklı alt ajan koordineli bir şekilde görev aldı. Yapılan açıklamaya göre bu alt ajanların dağılımı özel bir iş bölümüyle gerçekleşti: İki ajan temel matematiksel fikirlerin geliştirilmesinden sorumlu olurken, 13 ajan bu fikirlere katkı sundu. 30 ajan yeni fikirler üretmeye çalıştı; 13 ajan ise argümanların doğruluğunu kontrol eden denetçiler olarak görev yaptı. Geriye kalan iki ajan ise sürecin sonunda hazırlanan ilk makalenin kaleme alınmasına destek oldu. Tüm bu koordinasyon ve operasyon sürecinde model toplamda 31 milyon birim kaynak harcaması gerçekleştirdi.
Elde edilen bulgular, şirketin bünyesinde çalışan iki matematikçi tarafından incelenerek doğrulandı. Ayrıca sonuçlar, açık kaynaklı kanıt asistanı Lean kullanılarak resmi bir biçimde formüle edildi. Böylece yapay zekanın ürettiği teorik sonuçların matematiksel olarak geçerliliği güvence altına alınmış oldu.
Yapay Zeka ve Matematik Dünyasındaki Tartışmalar
Büyük dil modellerinin son dönemde imza attığı matematiksel başarılar hız kesmeden devam ederken, bu gelişmeler akademik dünyada da yeni tartışmaları beraberinde getiriyor. Yapay zekanın sadece metin üreten araçlar olmaktan çıkıp karmaşık teorik bilimler üretmeye başlaması, geleneksel akademik süreçlerin sorgulanmasına yol açıyor.
Öte yandan, alanın önde gelen isimlerinden Fields Madalyası sahibi Timothy Gowers ise konuya daha farklı bir perspektiften yaklaşıyor. Gowers, yapay zekanın matematiği daha karmaşık ve olumlu bir yöne evriltebileceğini savunarak, gelecekte teoremlerin insan yazarlarla anılmamasının gök cisimlerinin astronomların adıyla anılmaması kadar doğal bir sürece dönüşebileceğini ifade ediyor. Matematik disiplininin köklü gelenekleri yapay zekanın hızıyla dönüşürken, bu tür araştırmaların gelecekte bilimsel keşif süreçlerini tamamen değiştirmesi bekleniyor.
