Cambridge ve Hong Kong Üniversiteleri‘nin ortak araştırması, yapay zeka ajanlarına tam özerklik verildiğinde matematiksel ispatlar ve değerlendiricilerin talep etmediği yeni genellemeler keşfedebildiğini ortaya koydu. “The Station” adı verilen açık dünya çok ajanlı ortamında yürütülen çalışma, mevcut endüstri konsensüsünü sorguluyor.
Yapay Zeka Matematiksel Keşif: Geleneksel Yaklaşım Sorgulanıyor
Cambridge Üniversitesi, Hong Kong Üniversitesi ve diğer araştırma laboratuvarlarının ortak çalışması, yapay zeka modellerinin tam özerklik ile matematiksel keşif yapabildiğini kanıtladı. “Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment” başlıklı araştırma, sektördeki mevcut yaklaşımın artık geçerli olmayabileceğini öne sürüyor.
Günümüzde yapay zeka modellerinin güvenilir olmadığı kabul edilerek, ajanlar sabit boru hatları, orkestratörler, atanmış roller, sıkı değerlendiriciler ve insan tarafından tasarlanmış arama döngüleriyle destekleniyor. AlphaEvolve, modelin bir mutasyon operatörü olarak insan tarafından inşa edilmiş mekanizma içinde çalıştığı evrimsel bir arama döngüsü olarak bu yaklaşımın en güçlü örneği.
The Station: Açık Dünya Çok Ajanslı Araştırma Ortamı
Araştırmacılar, AlphaEvolve kataloğundan 12 yapı problemi ve iki ek vaka çalışması üzerinde test edilen “The Station” adlı çok ajanlı ortamı geliştirdi. Farklı model ailelerinden gelen yapay zeka ajanları, merkezi bir koordinatör veya betiklenmiş bir boru hattı olmaksızın ortak bir araştırma hedefi doğrultusunda çalıştı.
Ajanlar kendi araştırma yönlerini seçti, deneyler yürüttü, işbirliği yaptı ve paylaşılan bir bilimsel literatür oluşturdu.
Matematiksel Keşif Sonuçları: 5 Yeni Keşif
The Station ortamındaki yapay zeka ajanları, 12 problemden 5’inde literatürde yeni olan sonuçlar elde etti:
- Sonlu alan Kakeya kümelerinin yeni sonsuz ailesi keşfedildi
- Boyut 11’de 604 noktalı tam öpüşme konfigürasyonları bulundu
- Ayrıklaştırılmış Kakeya iğnesi ve işaret belirsizliği problemleri için yeni rekorlar kırıldı
- Erdős’ün minimum-örtüşme problemi için önemli ölçüde iyileştirilmiş alt sınır elde edildi
- Book Ramsey sayıları için yeni sonsuz aileler keşfedildi
Önemli olan, ajanların yalnızca sayısal inşaatlar değil, aynı zamanda bu inşaatların nasıl çalıştığını açıklayan teoremler ve analizler de üretmesi. Bu sayede keşifler yorumlanabilir ve matematikçilerin üzerine inşa etmesi kolay hale geldi.
Çok Ajanslı Yapay Zeka Neden Daha Etkili?
Araştırmanın en çarpıcı bulgusu, mevcut yapay zeka modellerinin artık araştırmacı olarak değerlendirilmesi gerektiği yönünde. Scaffolding yaklaşımının, satın aldığı faydadan daha fazlasına mal olduğu iddia ediliyor.
Kazancın kaynağı, ajanların bütçelerini arama yerine yapıya harcaması olarak açıklanıyor. Bu yaklaşım, bir teoremin alanı budayabildiği ve en iyi yapının düzensiz olduğu durumlarda yardımcı oluyor.
Matematiksel Yapay Zeka Araştırmasının Geleceği
Bu çalışma, yapay zeka ajanlarına özerklik tanındığında ortaya çıkabilecek potansiyeli gözler önüne seriyor. Araştırmacılar, bu tür ajanların “değerlendiricinin talep etmediği matematiksel ispatlar ve genellemeler üretebildiğini” kanıtladı.
Henüz yorum yok. İlk yorumu siz yapın!