OpenAI, matematiğin yedi Milenyum Ödül Problemi'nden birine -her biri 1 milyon dolar (USD) değerinde- 10.000 yapay zeka ajanından oluşan bir grubun çözüm önerisi ürettiğini açıkladı. Matematikçiler şimdi sistemin bu sonuca nasıl ulaştığını sorguluyor. Bu gelişme önemli, çünkü yapay zekanın sadece bilinen çözümleri tekrarlamak yerine gerçek bir atılım yapıp yapamayacağını test ediyor.
Ne oldu?
CoinDesk'in haberine göre OpenAI, GPT-6 Astra sisteminden daha güçlü bir dahili modelin büyük bir matematik problemine çözüm önerisi ürettiğini duyurdu. Şirket, görevi yürütmek için 10.000 yapay zeka ajanından oluşan koordineli bir grup kullandı. Hedef, her biri 1 milyon dolar (USD) ödül taşıyan yedi Milenyum Ödül Problemi'nden biriydi. Rapor, hangi problemin hedef alındığını belirtmiyor ve tam teknik dökümü de paylaşmıyor. İddiayı inceleyen matematikçiler, yapay zeka sisteminin bu sonuca ne kadar bağımsız şekilde ulaştığını sorguluyor. Tartışmanın odağında, ajanların problemi kendi başlarına mı çözdüğü, yoksa sisteme gömülü mevcut insan yapımı ispat tekniklerine büyük ölçüde mi dayandığı yer alıyor.
Buraya nasıl gelindi?
OpenAI, modellerinin sadece dil görevlerini değil, ileri düzey akıl yürütmeyi de kaldırabildiğini göstermek için bir yarış içindeydi. Bu yeni sistemin kıyaslandığı GPT-6 Astra, OpenAI'nin bu sistemden önceki en son adlandırılmış modelini temsil ediyor. Yapay zeka laboratuvarları, karmaşık problemlerle uğraşmak için giderek tek bir model yerine çok sayıda koordineli ajana yöneliyor. Bu iddia da bu yaklaşımı, CoinDesk'e göre alanın en zor kategorilerinden biri sayılan yedi Milenyum Ödül Problemi'nden birine taşıyor.
Bu sizin için neden önemli?
Yapay zeka geliştiricileri için bu iddia, bir sonucun doğrulanmış sayılmadan önce ajan tabanlı sistemlerin ispatlaması gereken standartları yükseltiyor. Matematikçiler için ise, yapay zeka tarafından üretilen ispatları daha hızlı denetleyecek yöntemler geliştirme baskısını artırıyor. Sıradan kullanıcılar ve yapay zeka ile bağlantılı varlıkları elinde tutanlar içinse bu tartışma, cesur yetenek iddialarının piyasaları veya itibarları etkilemeden önce bağımsız şekilde doğrulanması gerektiğinin bir hatırlatıcısı. İddia doğrulanırsa, bu durum araştırmaları daha çok ajan sürülerine yönlendirebilir. Başarıyla çürütülürse, şirketlerin çığır açan matematik sonuçlarına dair tek taraflı duyurularına duyulan güveni zayıflatabilir.
Büyük soru
Bir yapay zeka sistemi tüm akıl yürütme sürecini gösteremiyorsa, bir matematiksel atılımın gerçek mi yoksa ödünç mü olduğuna kim, nasıl karar verecek? Bu soru OpenAI'nin ötesine geçiyor. Yapay zeka ajanları daha zor bilimsel problemlere el attıkça, alanın gerçek bağımsız keşif ile gizli insan girdisine dayanan çalışmayı birbirinden ayıracak bir yönteme ihtiyacı var. Bu standardı kim belirleyecek, kim denetleyecek?
Bundan sonra nelere bakmalı?
Önerilen çözümün doğrulanmış sayılabilmesi için bağımsız matematikçilerin incelemesi bekleniyor. Şimdiye kadar resmi bir hakem değerlendirme takvimi açıklanmadı. OpenAI'nin dahili model ve hedef alınan spesifik Milenyum Ödül Problemi hakkında daha fazla teknik ayrıntı paylaşıp paylaşmayacağı takip edilecek. Matematik camiasından gelecek ek incelemeler, önümüzdeki haftalarda iddiayı doğrulayabilir, revize edebilir ya da tümüyle reddedebilir.
