Yao Shunyu, Tencent Hunyuan AI4S İçin İşe Alım Yapıyor; 50 Yıllık Matematik Problemi Çözüldü

Tanınmış yapay zeka araştırmacısı Yao Shunyu, Tencent'in Hunyuan AI4S ekibi için bizzat eleman aramaya başladı. Ayrıntılı bir iş tanımı yerine, bir araştırma sonucuyla birlikte kısa bir mesaj paylaştı: Kendi geliştirdikleri ajan Hyra, matematikte 50 yıllık açık bir problemi yeni bir en iyi sonuca taşıdı. Hy3 modeli (295 milyar toplam, 21 milyar aktif parametre) üzerine inşa edilen Hyra, tam sayı kümelerinin toplamları ve farklarıyla ilgili bir problemde üst sınırın istenildiği kadar yaklaşılabileceğini kanıtlayan bir yapı buldu. Ajan önce daha iyi sonuçlar aramak için çalıştı, ardından doğal dile geçerek bir matematiksel yapı ve ispat önerdi; bu süreç yaklaşık 24 saat sürdü. Ekip, ispatı bağımsız olarak doğruladı ve Lean 4 ile biçimselleştirdi. AI4S ekibinin ilk testlerinde Hyra-1.0, matematik, astronomi, kuantum bilişim ve ilaç tasarımı alanlarında etkileyici sonuçlar elde etti: 55 açık problemden 29'unu çözdü, güneş lekesi verilerinden öngörücü bir formül keşfetti (R²=0,77; R-kare, bir modelin veriyi ne kadar iyi açıkladığını gösteren istatistiksel bir ölçüttür), bir kuantum yönlendirme algoritmasını yüzde 44,4 oranında iyileştirdi ve PARP1 için aday bir molekül üretti. Ekip, yapay zeka araştırmalarında tam otomasyonu hedefliyor; bu vizyonda yapay zeka hipotezler öne sürecek, deneyler yürütecek ve süreci yineleyerek geliştirecek. Bu amaçla hem ajan mimarisi, pekiştirmeli öğrenme (RL), bağlam öğrenimi, değerlendirme, eğitim sistemleri ve GPU çekirdekleri üzerinde çalışacak yapay zeka araştırmacıları, hem de bilimsel hedefleri uygulanabilir görevlere dönüştürebilecek ve yapay zeka sonuçlarının geçerliliğini değerlendirebilecek disiplinler arası bilim insanları arıyorlar. Bu eğilim, yapay zekanın gerçek bir araştırmacı haline gelmekte olduğu daha geniş bir dönüşümü yansıtıyor; nitekim popüler bir yorumda bunun, tamamen insan emeğiyle verilen son Fields Madalyası olabileceği belirtiliyor. Dikkat çekici bir şekilde, OpenAI ve Anthropic, yapay zeka gelişim hızını koordine edecek uluslararası mekanizmalar için ortak bir çağrıda bulundu; bu da yapay zekanın kendi kendini geliştirmesiyle kontrol ihtiyacı arasındaki ikili gerçekliğin altını çiziyor.