OpenAI, üç boyutlu Navier-Stokes problemine ilişkin kanıtı sayesinde Justin Sun’un ilk 1 milyon dolarlık matematik ödülünün sahibi olarak kayıtlara geçti. Ancak hem bu ödül hem de OpenAI’nin başvurmayı reddettiği Clay Matematik Enstitüsü’nün 1 milyon dolarlık Millennium Ödülü hâlâ sahipsiz duruyor.
Öne çıkanlar
- Sun’ın ödül deposu, OpenAI’nin Navier-Stokes girdisini çözüldü, ödüle uygun ve hâlâ talep edilmemiş olarak işaretliyor.
- OpenAI, yaklaşık 10.000 yapay zekâ ajanının 88 saat çalıştığını, ardından GPT-6 Astra’nın kanıtı biçimselleştirip kontrol etmek için 17 saat daha harcadığını açıkladı.
- Clay Matematik Enstitüsü, duyurulan sonuca rağmen Navier-Stokes problemini inceleme süreci bitene kadar resmen “aktif” olarak listeliyor.
OpenAI’nin kazandığı ödül
Sun’ın yeni matematik ödülü, üç boyutlu Navier-Stokes problemi için hazırlanan çalışma nedeniyle 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ında problem “çözüldü” ve “ödül almaya uygun” şeklinde işaretlendi; ancak para henüz çekilmedi.
OpenAI, sonucunu 8 Eylül’de yayımladı. Şirket, yaklaşık 10.000 ajanın yaklaşık 88 saat çalıştığını, ardından GPT-6 Astra’nın Lean ortamında kanıtı biçimselleştirmek ve doğrulamak için 17 saat harcadığını belirtti. OpenAI, probleme bağlı Clay Mathematics Institute tarafından vaat edilen 1 milyon dolarlık Millennium Ödülü’ne başvurmayı da düşünmediğini duyurdu.
Clay Enstitüsü, Navier-Stokes problemini resmen hâlâ “aktif” olarak sınıflandırıyor. Kurum, 11 Eylül tarihli açıklamasında, duyurunun soruyu çözmüş gibi göründüğünü, ancak ödül kuralları gereği karar öncesi uzun ve titiz bir değerlendirme sürecinin şart olduğunu hatırlattı. Bu süreç henüz tamamlanmadı. Sun’ın ayrı ödülü ise makineyle denetlenebilir kanıtlara dayanıyor ve aynı geleneksel hakemlik sürecini beklemeden OpenAI ekibini kazanan ilan etti.
İlginizi çekebilir: Bitcoin madenciliği, AI kapasite çekerken yüzde 50’lik hashrate açığıyla karşı karşıya
Justin Sun’ın kuralları
Sun, ödül mekanizmasını, sonucu kimin ürettiğinden — insan mı yapay zekâ mı — bağımsız olarak başarıyı ödüllendirecek şekilde tasarladığını, biçimsel doğrulamayı sürecin merkezine koyduğunu söylüyor. Sun, “Benim için önemli olan yalnızca sonuç; katkıyı yapanın insan mı yoksa makine mi olduğu değil” diyor. Sun’ın deposunda ayrıca, OpenAI’nin duyurusunun hakemli yayın yerine geçmediği ve matematik camiasında geniş kabulün henüz teyit edilmediği uyarısı yer alıyor.
Atıf ve emek paylaşımı tartışmaları ise sürüyor. New York Üniversitesi’nden Tristan Buckmaster, bir meslektaşıyla birlikte yürüttüğü, henüz yayımlanmamış bir çalışmanın OpenAI’nin bir ürününe yüklendiğini, fakat modelin bunu kullanıp kullanmadığını bilmediğini söyledi. Buckmaster, The Guardian gazetesine, “Kimseyi herhangi bir şeyle suçlamıyorum” dedi. OpenAI ise kendi soruşturmasının, Buckmaster’ın Codex komutlarının kanıtı üreten sisteme etki etmiş olamayacağını ortaya koyduğunu açıkladı.
Tartışma, OpenAI’nin 8 Eylül’de, kurum içi sisteminin resmi koşullar altında Navier-Stokes varlık ve düzgünlük sorununa son veren, sonlu zamanda tekillik oluştuğunu gösteren bir kanıt ürettiğini duyurmasının ardından alevlendi.
Clay Matematik Enstitüsü, 2000 yılında her biri 1 milyon dolarlık yedi Millennium Problemi’ni ilan etmişti. Aradan yirmi yılı aşkın süre geçmesine rağmen, Navier-Stokes problemi resmî olarak hâlâ “açık” durumda. Matematikçiler hem yeni kanıtı hem de kimin ne ölçüde hak sahibi olduğu tartışmasını incelemeyi sürdürüyor.
Sıradaki haber: Shiba Inu, Shibarium’un bozuk cüzdan bağlantısını düzeltti ancak SHIB bir haftada yüzde 6 geriledi
