Matematiğin 150 yılı aşkın süredir çözülemeyen en büyük problemlerinden Riemann hipotezi, bu kez yapay zekânın hedefi oldu. Anthropic, henüz yayımlanmamış bir modelinin bu zorlu görevde önemli ilerleme sağladığını açıkladı. Model Riemann hipotezini çözmeyi başaramadı; ancak hipotezin geçerli olduğu çözümlere ilişkin bilinen alt sınırını önemli ölçüde artırdı. Çalışmanın başlangıcında ileri düzey matematik eğitimi bulunmayan bir Anthropic çalışanı, modele Riemann hipotezini kanıtlamak için ciddi bir girişimde bulunmasını söyledi. Ardından model yaklaşık bir buçuk gün boyunca çalışmayı koordine etti. Toplamda 650 farklı çözüm fikri test edildi, 60 alt ajan kullanıldı ve süreç boyunca 31 milyon çıktı tokenı üretildi. 60 alt ajandan ikisi çalışmadaki temel matematiksel fikirleri geliştirdi. 13 alt ajan bu ajanlara fikir sağlarken 30’in çalışması, büyük dil modellerinin matematikte yeni fikirler ve sonuçlar üretip üretemeyeceğine ilişkin tartışmaları yeniden gündeme getiriyor.
Ancak model, Riemann hipotezini tam olarak kanıtlayamadı. Bunun yerine, model hipotezin geçerli olduğu çözümlere dair bilinen alt sınırını ciddi şekilde yükseltti. 650 farklı çözüm fikri test edildi, 60 alt ajan çalıştı ve süreç 31 milyon token üretildi. 2 alt ajan temel matematiksel fikirleri geliştirdi, 13 alt ajan fikir sağladı, 30’in ise çalışması yürütüldü. Bu, büyük dil modellerinin matematikte yeni fikirler ortaya çıkarıp çıkaramayacağı konusundaki tartışmaları yeniden ateşledi.
OpenAI da kendi dahili Astra modelini kullanarak 10 önemli sonucu kısa süre önce yayımladı. Aynı zamanda Anthropic’in ayrı bir çalışmasında uzun süredir tartışılan Jacobian varsayımının yanlış olduğu gösterildi. Yapay zekâ modellerinin matematiksel araştırmalarda giderek daha fazla kullanılmaya başlaması, matematikçiler arasında hem heyecan hem de endişe 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. Gerçek matematiksel kanıtların keşifleri için takdir alan ve doğruluklarının sorumluluğunu üstlenen yazarlara atfedilebilmesi gerektiği vurgulandı.
Bu yıl farklı yapay zekâ modelleri bazı Erdős problemlerinin çözümünde rol aldı; daha güçlü modellerin piyasaya sürülmesiyle elde edilen sonuçlar giderek daha etkileyici hâle geldi. Anthropic’in Riemann hipotezindeki ilerlemesi, bu trendin bir parçası olarak görülüyor. Matematikçiler, yapay zekâ destekli yeni araştırma tekniklerine nasıl yaklaşılması gerektiği konusunda hâlâ bölünmüş durumda.
Bakalım bu yeni yöntemler matematik dünyasını nasıl şekillendirir, gelecekte gerçek bir kanıt ortaya çıkarılır mı?
Kaynak: Orijinal Haber
