OpenAI bir Milenyum Problemi’ni çözdüğünü duyurdu, intihal suçlaması geldi

Yapay zeka şirketi OpenAI, matematikteki yedi Milenyum Problemi’nden biri kabul edilen Navier-Stokes denklemlerini çözdüğünü açıkladı. Süreçte yaklaşık 10 bin yapay zeka ajanının görev yaptığı belirtilirken, akademisyenler Tristan Buckmaster ve Levent Alpöge şirketin kendi çalışmalarını izinsiz kullandığını belirtti.

Yapay zeka şirketi OpenAI, geliştirdiği kurum içi yapay zeka modelinin matematikteki yedi “Milenyum Problemi”nden biri olan Navier-Stokes denklemlerinin varlığı ve pürüzsüzlüğü sorununu çözdüğünü duyurdu.

Şirket, elde edilen ispatın hem matematiksel ayrıntılarını hem de Lean programlama dilindeki biçimsel doğrulamasını yayımladı.

Açıklamaya göre OpenAI, Navier-Stokes probleminin çözümü için kapasitesi GPT-6 Astra modelinin çok üzerinde olan dahili bir sistem kullandı.

Çözüm sürecinde aynı anda yaklaşık 10 bin yapay zeka ajanından yararlanıldı. İnternetin önbelleğe alınmış kopyasındaki verileri tarama ve bağımsız kod çalıştırma yetkisi verilen bu ajanların bir bölümü savı kanıtlamak, diğer bölümü ise çürütmek üzere görevlendirildi.

Ajanlar, ana problem öncesinde Euler denklemlerinin çözümlerinin düzenliliği olarak bilinen aşamayı yaklaşık 100 ajanla ve 50 saatlik bir çalışma sonucunda aştı.

Navier-Stokes problemine yönelik nihai çözüme 5 Eylül Cumartesi günü ulaşıldı; GPT-6 Astra ile yürütülen doğrulama ve biçimlendirme süreci ise 17 saat sürdü.

Toplamda 2,7 milyon mesajın gönderildiği ve yaklaşık 1 milyon kitabın hacmine denk gelen 130 milyar çıktı simgesinin (token) işlendiği kaydedildi.

Bu gelişmenin hemen ardından akademik dünyada öncelik ve telif tartışması başladı.

New York Üniversitesi Matematik Bölümü öğretim üyesi Tristan Buckmaster, OpenAI şirketinin kendi çalışmalarından yararlandığını öne sürdü.

Buckmaster, yaklaşık bir yıl önce yapay zeka şirketi Anthropic bünyesinde görev yapan Türk matematikçi Levent Alpöge ile birlikte Navier-Stokes problemi üzerinde çalışmaya başladıklarını, geçen ay ise Euler denklemlerini çözüme kavuşturduklarını kaydetti.

Buckmaster, 8 Eylül’de Alpöge ile birlikte Codex ve Claude modellerini kullanarak elde ettikleri ön sonuçları paylaştı.

OpenAI şirketinin henüz kamuoyuna duyurulmamış verilerden faydalandığını savunan Buckmaster, firmanın kendisine “tek yazarlık” teklif ettiğini açıkladı.

Buckmaster, OpenAI yetkililerinin rakip şirket Anthropic bünyesinde çalışan Levent Alpöge’nin adını yazar listesinden çıkarmak istediğini, kendisinin bu öneriyi geri çevirdiğini belirtti.

OpenAI ise 1 Eylül’de Milenyum Problemleri’nden ikisinin çözüldüğüne dair duyumlar aldığını bildirdi.

Şirket, Lean sistemindeki doğrulamanın tamamlanmasıyla birlikte Buckmaster ve Alpöge ile temasa geçtiklerini, eş zamanlı ortak bir yayın yapmayı ve onların önceliğini tanımayı önerdiklerini savundu.

Şirket açıklamasında, araştırmacıların ve yapay zeka ajanlarının bu çalışmayı kamuoyuna resmen duyurulmadan önce görmediği, çözüm aşamasında hiçbir kullanıcı verisine erişilmediği ifade edildi.

OpenAI, ilk duyurudan üç dakika sonra yayımladığı ek mesajla Alpöge ve Buckmaster’ı matematik alanındaki başarıları dolayısıyla kutladı; ardından da Navier-Stokes denklemlerine ilişkin ispatın tam metnini kamuoyuna sundu.