OpenAI, Navier-Stokes ispatı sayesinde Justin Sun’ın ilk 1 milyon dolarlık matematik ödülünün kazananı olarak listelense de, ödül fonu hâlâ dokunulmamış duruyor. OpenAI, aynı ispat üzerinden Clay Mathematics Institute’un Millennium ödülüne başvurmama kararını da koruyor.
Öne Çıkanlar
- Sun’ın ödül deposu, OpenAI’nin Navier-Stokes girişini “çözüldü, talep edilmeye uygun ve hâlâ talep edilmemiş” olarak işaretliyor.
- OpenAI’ye göre yaklaşık 10.000 yapay zekâ ajanı 88 saat çalıştı, ardından GPT-6 Astra ispatı biçimselleştirip kontrol etmek için 17 saat daha harcadı.
- Clay Mathematics Institute, duyurulan sonuca rağmen Navier-Stokes problemini inceleme süreci bitene kadar “aktif” listesinde tutuyor.
OpenAI’ye Verilen Ödül
Sun’ın yeni ödül programı, üç boyutlu Navier-Stokes problemi için OpenAI araştırma ekibini ilk 1 milyon dolarlık büyük ödülün sahibi olarak ilan etti. Kamuya açık GitHub kaydı, ilgili problemi “çözüldü” olarak işaretliyor ve ödülün talep edilebileceğini gösteriyor. Buna rağmen para henüz çekilmedi.
OpenAI, 8 Eylül tarihli açıklamasında, yaklaşık 10.000 ajanın 88 saate yakın çalıştığını, ardından GPT-6 Astra’nın ispatı Lean ortamında biçimselleştirip doğrulamak için 17 saat daha harcadığını duyurdu. Şirket, Clay Mathematics Institute tarafından aynı probleme bağlanan 1 milyon dolarlık Millennium Prize’ı talep etme niyetleri olmadığını yineledi.
Clay enstitüsü Navier-Stokes’u hâlâ “aktif” problem olarak sınıflandırıyor. Kurum, 11 Eylül’de yaptığı açıklamada, OpenAI’nin duyurusunun problemi çözmüş göründüğünü, ancak ödül kurallarının herhangi bir karar öncesinde kapsamlı ve zamana yayılan bir değerlendirme süreci gerektirdiğini vurguladı. Bu süreç henüz tamamlanmadı. Sun’ın ayrı ödül programı ise makine tarafından denetlenebilir ispatlara dayanıyor ve geleneksel hakemlik prosedürü sonuçlanmadan OpenAI ekibini kazanan ilan etmiş durumda.
Ayrıca Oku: Bitcoin Madenciliği, Yapay Zekâ Kapasite Çekerken %50 Hashrate Açığıyla Karşı Karşıya
Justin Sun’ın Kuralları
Sun, programını insan ya da yapay zekâ fark etmeksizin, yalnızca sonuca odaklanan bir ödül mekanizması olarak tasarladığını söylüyor; biçimsel doğrulama sürecin merkezinde yer alıyor. Sun, “Benim için önemli olan sadece sonuç; katkıyı insan mı yoksa makine mi yaptı, umursamıyorum” diyor. Sun’ın deposunda ayrıca, OpenAI’nin duyurusunun hakemli yayın niteliğinde olmadığı ve matematik camiasında geniş kabulün henüz sağlanmadığı uyarısı da yer alıyor.
Atıf tartışmaları ise sürüyor. New York Üniversitesi’nden profesör Tristan Buckmaster, bir meslektaşıyla üzerinde çalıştığı, yayımlanmamış bazı sonuçların bir OpenAI ürününe yüklendiğini, ancak modelin bu çalışmalardan yararlanıp yararlanmadığını bilmediğini belirtti. Buckmaster, The Guardian’a “Kimseyi bir şeyle suçlamıyorum” dedi. OpenAI ise yaptığı iç soruşturmanın ardından, Buckmaster’ın Codex’e verdiği istemlerin ispatı üreten sisteme etki etmiş olamayacağı sonucuna vardığını açıkladı.
Tartışma, OpenAI’nin 8 Eylül’de, kurum içi sisteminin Navier-Stokes’un varlık ve düzgünlük problemine dair uzun yıllardır süren sorunu çözdüğünü; resmi koşullar altında sonlu zamanda tekillik oluştuğunu gösterdiği iddiasıyla alevlendi.
Clay, Millennium Prize Problems serisini 2000 yılında oluşturdu ve her problem için 1 milyon dolar koydu. Aradan geçen yirmi yılı aşkın sürenin ardından, Navier-Stokes dosyası resmen hâlâ açık: Matematikçiler yeni ispatı ve kime ne ölçüde kredi yazılması gerektiğini incelemeyi sürdürüyor.
Sıradaki Haber: Shiba Inu, Shibarium’un Bozuk Cüzdan Bağlantısını Onardı; SHIB Bir Haftada %6 Geriledi
