OpenAI, yapay zekâ sisteminin matematiğin en önemli ve uzun süredir çözülemeyen sorularından biri olan Navier-Stokes Problemi için bir çözüm ürettiğini açıkladı. Yaklaşık 90 yıldır çözülememiş olan ve matematiğin en zor yedi sorusunu içeren Milenyum Problemleri arasında yer alan bu bulgu, yapay zekânın yeni matematiksel sonuçlar ortaya koyma kapasitesine ilişkin tartışmaları yeniden alevlendirdi.
Sıvı ve gazların nasıl hareket ettiğini açıklamak için kullanılan Navier-Stokes denklemleri; uçak tasarımından hava tahminlerine ve kan akışının incelenmesine kadar pek çok alanda önem taşıyor. Bu denklemlerle ilgili temel soru, üç boyutlu bir akışın başlangıçta düzgün olsa bile belirli bir süre içinde bir "tekillik" geliştirip geliştiremeyeceği sorusu etrafında şekilleniyor.
10 bin ajanla 88 saatlik ortak çalışma
OpenAI, geliştirdiği dahili yapay zekâ sisteminin, başlangıçta düzgün ve hareketsiz olan bir akışın sonlu bir süre içinde böyle bir tekilliğe ulaşabileceğini gösteren analitik bir kanıt ürettiğini açıkladı. Şirket ayrıca kanıtı, matematiksel doğrulamaların bilgisayar tarafından kontrol edilmesini sağlayan Lean sistemiyle de biçimselleştirdi. Çözümün, giderek hızlanan ve uzayan bir girdap yapısına dayandığı belirtilirken, akışın merkezi küçülürken hızın arttığı ancak sistemin enerjisinin sonlu kaldığı ifade edildi.
OpenAI'nin açıklamasına göre sistem, problemi çözmek için çok sayıda yapay zekâ aracısının birlikte çalıştığı bir yapı kullandı. Navier-Stokes çözümünde yaklaşık 10 bin eşzamanlı ajan görev alırken, çözümün bulunması yaklaşık 88 saat sürdü ve ardından Lean ile doğrulama 17 saat daha devam etti. Çalışma boyunca yapay zekâ ajanlarının toplam 2,7 milyon mesaj gönderdiği ve yaklaşık 130 milyar çıktı tokenı kullandığı açıklandı.
Clay Mathematics Institute tarafından 2000 yılında belirlenen ve her biri 1 milyon dolarlık ödül içeren yedi büyük matematik sorusundan biri olan bu problemle ilgili OpenAI, sonucu Milenyum Ödülü'nü talep etmek amacıyla yayınlamadığını, bunun yapay zekâ destekli bilimsel araştırmadaki ilerlemenin bir göstergesi olduğunu vurguladı.
