OpenAI'nin Navier-Stokes çözümü iddiası akademik itirazlarla gölgelendiOpenAI's Navier-Stokes solution claim overshadowed by academic objections

ÖzetSummary

OpenAI, 200 yıllık bir Clay Millennium Prize sorunu olan Navier-Stokes denkleminin yapay zekâ tarafından üretilen ve Lean ile biçimselleştirilmiş çözümünü duyurdu. Ancak bu iddia, şirketin matematikçiler Buckmaster ve Alpöge'nin paralel çalışmalarından haberdar olduktan sonra çabalarını hızlandırdığı ve kredi atfını kontrol etmeye çalıştığı yönündeki suçlamalarla gölgede kaldı.

Neden ÖnemliWhy it matters

Doğrulanırsa bu, bir Millennium Prize sorununun yapay zekâ tarafından üretilen ilk çözümü olacak. Bu durum, hem matematik hem de yapay zekâ kapasitesi için bir dönüm noktası niteliğinde. Daha acil olan ise, bu tartışmanın bir yönetim boşluğunu ortaya çıkarması. Laboratuvarlar milyonlarca dolarlık hesaplama maliyetiyle 10.000'den fazla ajanı devreye alabildiğinde, geleneksel akademik öncelik normları kırılgan hale geliyor. Ayrıca kimliği gizlenmiş eğitim verileri üzerinden 'ilham' ile 'uyarlama' arasındaki sınır tehlikeli biçimde bulanıklaşıyor.

Öne ÇıkanlarHighlights

• OpenAI, Lean ile biçimselleştirilmiş bir kanıt üretmek için 50 saatten fazla süre boyunca 10.000'e kadar yapay zekâ ajanını devreye aldı. Bu sürecin maliyeti 'milyonlarca dolar' olarak açıklandı.
• OpenAI'nin kendi blogu, rakiplerin Codex oturumlarından elde edilen kimliği gizlenmiş kullanım verilerinin modellerini iyileştirdiğini 'dışlamadığını' kabul ediyor.
• Buckmaster, OpenAI'nin Alpöge'nin adını koymadan çözümü yayımlamasını önerdiğini iddia ediyor. Bubeck ise bu iddiayı kamuya açık olarak reddetti.

EleştiriCritical take

OpenAI'nin katmanlı savunmaları, 'çalışmalarını görmedik' derken 'kimliği gizlenmiş verilerin fayda sağladığını dışlamıyoruz' ifadesiyle bir özür niteliği taşımıyor. Bu tutum, merkezi soruyu (istemleri veya kısmi kanıtları eğitim verilerine sızdı mı?) fiilen yanıtsız bırakıyor. Tartışmanın hakem incelemesi veya bağımsız bir denetim yerine sosyal medya gönderileriyle çözülmeye çalışılması, Navier-Stokes çözümünün temsil etmesi gereken titizliği de zedeliyor.