OpenAI matematik kanıtı bulduğunu duyurdu ve tartışma başladı
Öne çıkanlar
- OpenAI, 1000'den fazla yapay zeka ajanını 50 saat çalıştırarak Navier-Stokes için çözüm ürettiğini duyurdu.
- Hesaplama sürecinin şirkete milyonlarca dolara mal olduğu açıklandı.
- Matematikçi Tristan Buckmaster, OpenAI'ın kendi Codex kullanım verilerinden haberdar olup süreci hızlandırdığını iddia etti.
- OpenAI, istem verilerini doğrudan incelemediğini savundu ancak anonim verilerin modelleri geliştirmiş olabileceğini kabul etti.
OpenAI, akışkanların hareketini açıklayan 200 yıllık Navier-Stokes denkleminin çözümü için yapay zeka destekli bir kanıt ürettiğini açıkladı. Clay Matematik Enstitüsü'nün 1 milyon dolar ödüllü Milenyum Problemleri arasında yer alan denklem için şirket, 1000'den fazla yapay zeka ajanını 50 saatten uzun süre çalıştırdı. OpenAI araştırma birimi yöneticisi Mark Chen, bu hesaplama sürecinin milyonlarca dolara mal olduğunu belirtti. Kanıtın matematiksel doğrulama dili Lean ile tamamen biçimselleştirildiği açıklandı.
Bu duyurunun hemen ardından New York Üniversitesi matematikçisi Tristan Buckmaster, OpenAI şirketini kendi çalışmalarını gölgelemek ve akademik önceliği ele geçirmekle suçladı. Buckmaster, Anthropic araştırmacısı Levent Alpöge ile birlikte Navier-Stokes ile bağlantılı Euler denklemleri üzerine yaptıkları çalışmaları yayımladıklarını ve süreçte OpenAI'ın Codex aracını kullandıklarını bildirdi. Buckmaster, OpenAI yönetiminin bu logları inceleyerek problemi çözmek için aceleyle kaynak ayırdığını ve Alpöge'nin adını dışarıda bırakacak ortak yayın teklifleri sunduğunu iddia etti.
OpenAI yöneticileri iddiaları reddederek araştırmacıların Codex istemlerini görmediklerini ve modelleri bu verilerle doğrudan yönlendirmediklerini savundu. Şirket araştırmacısı Sebastien Bubeck, iki çalışmanın matematiksel yöntem açısından birbirinden farklı olduğunu ifade etti. Bununla birlikte şirket, anonimleştirilmiş kullanıcı verilerinin modellerin genel gelişimine katkıda bulunmuş olma ihtimalini tamamen göz ardı edemeyeceğini kabul etti.
Bu özet yapay zekâ ile hazırlanmıştır; ayrıntılar ve doğrulama için orijinal kaynağa başvurun.