Matematiğin 150 yılı aşkın bir süredir çözülemeyen en büyük problemlerinden biri olan Riemann hipotezi, bu kez yapay zekânın ilgi alanına girdi.

Anthropic, henüz yayımlanmamış bir modelinin Riemann hipotezi üzerinde kayda değer ilerlemeler kaydettiğini duyurdu.

Model, hipotezi kanıtlamayı başaramadı; fakat hipotezin geçerli olduğu çözümler için bilinen alt sınırı önemli ölçüde yükselten bir sonuç elde etti.

650 FARKLI FİKİR DENENDİ

Çalışmanın başlangıcında, ileri düzey matematik bilgisi bulunmayan bir Anthropic çalışanı, modele Riemann hipotezini kanıtlaması için ciddi bir görev verdi.

Sonrasında model, yaklaşık bir buçuk gün boyunca çalışmalarını sürdürdü.

Toplamda 650 farklı çözüm fikri denendi; bu süreçte 60 alt ajan kullanıldı ve 31 milyon çıktı tokenı üretildi.

Bu 60 alt ajandan ikisi, çalışmadaki temel matematiksel fikirleri geliştirmeye katkıda bulundu.

13 alt ajan bu iki ajana fikir tedarik ederken, 30’u yeni fikirler üretmeye çalıştı ancak başarılı olamadı. Diğer 13 ajan ise argümanların doğruluğunu kontrol etme görevini üstlendi ve son iki ajan, ilk makalenin hazırlanmasına yardımcı oldu.

SONUÇ MATEMATİKÇİLER TARAFINDAN DOĞRULANDI

Modelin elde ettiği sonuç, Anthropic bünyesindeki iki matematikçi tarafından doğrulandı.

Çalışma, ayrıca açık kaynaklı matematiksel kanıt yardımcısı Lean kullanılarak formelleştirildi.

Riemann hipotezi ise hâlâ çözülememiş durumda.

Asal sayıların dağılımıyla ilişkili olan bu hipotezin genel bir kanıtını sunan kişiye 1 milyon dolarlık ödül verileceği belirtiliyor. Ancak bu ödül henüz kimse tarafından kazanılmış değil.

YAPAY ZEKÂNIN MATEMATİKTEKİ ROLÜ TARTIŞILIYOR

Anthropic’in bu çalışması, büyük dil modellerinin matematikte yeni fikirler ve çözümler üretebilme potansiyelini yeniden gündeme getiriyor.

Bu yıl farklı yapay zekâ modelleri bazı Erdős problemlerinin çözümünde rol oynadı; daha güçlü modellerin piyasaya sürülmesiyle elde edilen sonuçlar giderek daha etkileyici hale geldi. OpenAI, kendi dahili Astra modeli aracılığıyla kanıtlanan 10 önemli sonucu kısa süre önce paylaştı.

Anthropic’in diğer bir çalışmasında ise uzun süredir tartışılan Jacobian varsayımının yanlış olduğu gösterildi.

Yapay zekâ modellerinin matematiksel araştırmalarda artan kullanımı, matematikçiler arasında hem heyecan hem de kaygı yaratıyor.

Haziran ayında yayımlanan ve önde gelen matematikçilerin imzaladığı bir bildiride, yapay zekânın matematiğin temel değerlerini zayıflatabileceğine dair endişeler dile getirildi. Özellikle gerçek matematiksel kanıtların, keşifleri için takdir edilen ve doğruluklarının sorumluluğunu üstlenen belirli yazarlara atfedilmesi gerektiği vurgulandı.

Ancak, alanın yapay zekâ destekli yeni araştırma tekniklerine nasıl yaklaşacağı konusunda hâlâ farklı görüşler mevcut.

(Kaynak: TechCrunch)