OpenAI, akışkanların hareketini açıklayan Navier-Stokes denklemlerine ilişkin yaklaşık 90 yıldır çözülemeyen matematik problemine yapay zekâ yardımıyla çözüm geliştirdiğini duyurdu.
Şirketin 8 Eylül’de yayımladığı çalışmaya göre henüz kamuya sunulmayan gelişmiş bir yapay zekâ sistemi, belirli koşullarda başlangıçta düzgün olan bir akışın sonlu zamanda tekillik oluşturabileceğini gösteren matematiksel bir ispat üretti. OpenAI, ispatın Lean sistemiyle de formelleştirilerek kontrol edildiğini bildirdi.
Navier-Stokes problemi, Clay Mathematics Institute tarafından 2000 yılında belirlenen yedi Milenyum Ödülü probleminden biri. Enstitü, her problemin kabul edilen çözümü için 1 milyon dolar ödül veriyor. Ancak OpenAI’ın duyurusuna rağmen Clay Mathematics Institute’un güncel internet sitesinde Navier-Stokes hâlen çözülmemiş problemler arasında yer alıyor. Bu nedenle çalışmanın kesin biçimde çözüme ulaştığının kabul edilmesi için matematik camiasındaki inceleme sürecinin tamamlanması gerekiyor.
OpenAI’ın açıklaması aynı problem alanında çalışan araştırmacılarla ilgili tartışmayı da gündeme taşıdı. New York Üniversitesi matematikçisi Tristan Buckmaster ile Anthropic araştırmacısı Levent Alpöge, ilişkili bir Euler problemi üzerinde yürüttükleri çalışma sırasında OpenAI’ın kendi çalışmalarından haberdar olduğunu savundu. Buckmaster, şirketin büyük hesaplama gücünü kullanarak sonucu kendilerinden önce yayımlamaya yöneldiğini ileri sürdü.
OpenAI ise Buckmaster ve Alpöge’nin yayımlanmamış çalışmalarına erişildiği iddiasını reddetti. Şirket, kendi araştırmacılarının ve yapay zekâ sistemlerinin söz konusu çalışmayı kamuya açıklanmadan önce görmediğini, iki ekibin ulaştığı matematiksel sonuçların da birbirinden farklı olduğunu bildirdi.
