Anthropic'in Yeni Yapay Zeka Modeli 150 Yıllık Matematik Problemini Çözmeye Yaklaştı

Anthropic'in henüz duyurulmamış yeni bir yapay zeka modeli, matematiğin 150 yıldır çözülemeyen en büyük problemlerinden biri olan Riemann hipotezinde çığır açıcı bir ilerleme kaydetti. Çözümü için 1 milyon dolarlık ödül bulunan bu karmaşık problem, yapay zekanın bilimsel keşif yeteneklerini yeniden tartışmaya açıyor.

60 Alt Ajan ile 1.5 Günlük Yoğun Mesai

Anthropic tarafından yapılan açıklamaya göre, matematiksel eğitimi olmayan bir şirket çalışanı, modele hipotezi kanıtlaması için bir prompt verdi. Kendi haline bırakılan model, bir buçuk gün boyunca görev koordinasyonunu sağlayarak problem üzerinde çalıştı. Toplamda 650 farklı fikri test eden sistem, 60 farklı agent (alt ajan) arasında koordinasyon kurarak süreci yönetti.

Araştırma notlarına göre, bu 60 ajandan ikisi temel matematiksel fikirleri geliştirmekten sorumluyken, 13'ü bu ajanlara fikir sağladı. Diğer 30 ajan yeni fikirler geliştirmeye çalışıp başarısız olurken, 13'ü argümanların doğruluğunu kontrol eden doğrulayıcılar olarak görev yaptı. Kalan iki ajan ise ilk makalenin yazımına yardımcı oldu.

Matematik Dünyasında Yapay Zeka Tartışması

Elde edilen bulgular, Anthropic'in bünyesindeki iki matematikçi tarafından doğrulandı ve open-source (açık kaynaklı) kanıt asistanı Lean kullanılarak resmileştirildi. Bu gelişme, LLM'lerin (Büyük Dil Modelleri) öncülük ettiği matematiksel atılımların sadece son örneği. Yakın zamanda OpenAI'ın dahili "Astra" modeli de on önemli sonucu kanıtlarken, Anthropic'in başka bir çalışması uzun süredir devam eden Jacobian varsayımını çürütmüştü.

Giderek artan bu başarılar, matematik camiasında hem heyecan hem de endişe yaratıyor. Haziran ayında bir grup önde gelen matematikçi, yapay zeka sistemlerinin alanın temel değerlerini zayıflatabileceğine dair endişelerini dile getirdi. Özellikle matematiksel kanıtların, keşfin kredisini alan ve doğruluğunun sorumluluğunu üstlenen belirli yazarlara atfedilmesi gerektiği vurgulandı.

Buna karşın, Fields Madalyası sahibi Timothy Gowers gibi bazı isimler, yapay zekanın matematiği daha karmaşık ve olumlu bir şekilde değiştirebileceğini savunuyor. Gowers, matematiksel teoremlerin artık matematikçilerle ilişkilendirilmediği bir dünyanın, yıldızların astronomların adını taşımaması kadar doğal karşılanabileceğini belirtiyor.

--- **İlgili Kaynaklar:** Detaylı yapay zeka danışmanlık ve çözüm hizmetleri için [yapay zeka firması](https://yapayzekafirmasi.com) sayfasını incelemenizi öneriyoruz.