Adı açıklanmayan bir yapay zekâ modeli, yaklaşık 10 bin yapay zekâ ajanından oluşan bir ağla, insan araştırmacıları doksan yıldır meşgul eden problemi 88 saatte tamamladı. Süreç 1 Eylül’de başladı, sonuç 5 Eylül’de elde edildi; kanıtın Lean diliyle doğrulanması 17 saat daha sürdü. Ajanlar bu süreçte birbirlerine 2,7 milyon mesaj gönderdi. Şirket ödülü talep etmiyor.
“Ajan sürüsü” yarışı ve veri gizliliği şüphesi
Duyuru akademide hemen tepki topladı. NYU Matematik Profesörü Tristan Buckmaster, OpenAI’ın kendi araştırma oturumlarına izinsiz erişip erişmediğini sorguladı. OpenAI özel kullanıcı verilerine eriştiğini reddetti, ancak “kimliksizleştirilmiş verinin” dolaylı katkı sağlamış olabileceğini kabul etti.
Tartışmanın çekirdeğinde şu var: Buckmaster ve birlikte çalıştığı Anthropic’ten Levent Alpöge, kanıt üzerinde çalışırken OpenAI’ın Codex asistanını kullanmıştı. Şirket, kullanıcı açıkça kapatmadığı sürece bu oturumlar üzerinde eğitim yapabiliyor. İkili sonuçlarını OpenAI’dan 12 saat önce duyurmuştu.
Buckmaster’ın bir başka iddiası yazarlıkla ilgili. Öne sürdüğüne göre OpenAI’lı matematikçi Sébastien Bubeck, Anthropic çalışanı olduğu için Alpöge’yi kredilendirmeden çıkaracak bir uzlaşma önerdi. Buckmaster durumu kamuya açıklamakla karşılık verince aldığı yanıt şu oldu: “Kariyerini neden mahvedesin ki?”
Sam Altman iki yaklaşımın farklı göründüğünü, şirketin rakiplerin ilerlemesine dair söylentileri duyduktan sonra çalışmayı başlattığını söyledi.
Akademik güven sarsılıyor
Akademisyenler hamleyi, matematikteki yazılı olmayan güven ilkelerinin ihlali olarak niteledi. Queen Mary Üniversitesi’nden Abhishek Saha, bu tür “önleyici hamlelerin” matematikte benzeri görülmemiş olduğunu belirtti. Carnegie Mellon’dan Jeremy Avigad ise yapay zekâ sistemlerinin taslak fikirleri alması ihtimalinin bilimsel işbirliği üzerinde caydırıcı bir etki yaratacağı uyarısında bulundu.
Kredi tartışmasının bir boyutu da katkının kime ait olduğu. Çalışma, Diego Córdoba ve Luis Martínez-Zoroa’nın geliştirdiği analitik tekniklere dayanıyor. Buckmaster’ın vurgusu net: “Luis Martínez-Zoroa bir Fields Madalyası hak ediyor.”
Problem henüz resmen çözülmüş sayılmıyor
Başlıklara rağmen Clay Matematik Enstitüsü, Navier–Stokes’u hâlâ çözülmemiş problemler arasında listeliyor ve OpenAI’ın kanıtını kabul etmiş değil. Enstitü Başkanı Martin Bridson açıklamayı yine de “matematiğin insan tarafından anlaşılmasında büyük ilerlemelerin duyurulduğu heyecan verici bir gün” sözleriyle karşıladı.
2000’de belirlenen yedi Milenyum Problemi’nden bugüne kadar yalnızca biri çözüldü: Poincaré konjektürü, 2003’te Grigori Perelman tarafından.
OpenAI böylece yapay zekânın yeteneklerini gösteren büyük bir tanıtım zaferi elde ederken, etkilemeyi hedeflediği akademik topluluk içindeki güveni aşındırmış oldu.
Kaynak: The Verge, OpenAI
