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ı. Problem, matematiğin en zor yedi sorusunu içeren Milenyum Problemleri arasında yer alıyor ve yaklaşık 90 yıldır çözülememiş durumda.Navier-Stokes denklemleri, sıvı ve gazların nasıl hareket ettiğini açıklamak için kullanılıyor. Uçak tasarımından hava tahminlerine ve kan akışının incelenmesine kadar pek çok alanda önem taşıyan 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.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.Şirkete göre çözüm, giderek hızlanan ve uzayan bir girdap yapısına dayanıyor. Akışın merkezi giderek küçülürken hız artıyor ancak sistemin enerjisi sonlu kalıyor. OpenAI, bunun Navier-Stokes Milenyum Problemi'nin belirli bir formunu çözdüğünü belirtiyor.Bu sonuç, yapay zekânın yalnızca mevcut matematiksel bilgileri kullanmakla kalmayıp, yeni matematiksel sonuçlar ortaya koyma kapasitesine ilişkin tartışmayı da yeniden alevlendirebilir.
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 aldı ve çözümün bulunması yaklaşık 88 saat sürdü. Ardından Lean ile doğrulama 17 saat daha devam etti.OpenAI, çalışma boyunca yapay zekâ ajanlarının toplam 2,7 milyon mesaj gönderdiğini ve yaklaşık 130 milyar çıktı tokenı kullandığını açıkladı.
Şirket ayrıca bu 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ı.Milenyum Problemleri, 2000 yılında Clay Mathematics Institute tarafından belirlenmiş yedi büyük matematik sorusundan oluşuyor. Her bir problemin çözümü için 1 milyon dolarlık ödül bulunuyor. OpenAI ise bu açıklamasında ödülü talep etmediğini özellikle belirtiyor.
