OpenAI Milenyum Problemi'ni çözdüğünü iddia etti
Öne çıkanlar
- OpenAI, Navier-Stokes denklemlerinin kusurlu olduğunu dahili yapay zeka modeliyle kanıtladığını duyurdu.
- Şirket, elde edilen matematiksel kanıtın doğruluğunu Lean programlama diliyle onayladı.
- Matematikçi Tristan Buckmaster, OpenAI ekibini kendi yöntemlerini izinsiz benimsemekle suçladı.
- OpenAI yetkilisi Sébastien Bubeck, çalışmanın harici verilerden bağımsız biçimde üretildiğini açıkladı.
OpenAI, akışkanlar mekaniğinde kullanılan Navier-Stokes denklemlerini dahili bir yapay zeka modeliyle çürüttüğünü duyurdu. Şirket, yedi Milenyum Problemi arasında yer alan bu soruyu çözdüğünü ve kanıtın Lean adlı matematiksel doğrulama diliyle teyit edildiğini bildirdi. Modelin ortaya koyduğu kanıt, denklemlerin belirli koşullarda akışkan hızını sonsuz göstererek fiziksel gerçeklikle çeliştiğini ortaya koyuyor.
Duyurunun ardından matematik camiasında fikir hırsızlığı tartışmaları başladı. Matematikçi Tristan Buckmaster, OpenAI şirketinin Anthropic çalışanı Levent Alpöge ile birlikte Euler denklemleri üzerinde yürüttükleri çalışmadan haberdar olduğunu iddia etti. Buckmaster, yapay zeka şirketinin kendi kullandıkları yöntemi kopyalayarak Navier-Stokes problemini hızla çözüme kavuşturduğunu öne sürdü.
OpenAI bünyesinde çalışan matematikçi Sébastien Bubeck ise basın toplantısında iddiaları yalanladı. Bubeck, şirket modelinin Euler problemini tamamen bağımsız bir yöntemle çözdüğünü açıkladı. Kanıtın hafta sonu üretildiğini doğrulayan Bubeck, harici hiçbir yönlendirme, model veya taslak kullanılmadığını belirtti.
Bu özet yapay zekâ ile hazırlanmıştır; ayrıntılar ve doğrulama için orijinal kaynağa başvurun.