OpenAI, 90 yıllık Navier-Stokes matematik problemini yapay zekayla çözdü

Yapay zeka şirketi OpenAI, matematiğin yaklaşık 90 yıldır çözülemeyen en önemli sorularından biri olan Navier-Stokes varlık ve düzgünlük problemine ilişkin bir çözüm geliştirdiğini açıkladı. Şirket, henüz kamuya sunulmayan ve GPT-6 Astra modelinden daha yetenekli olduğu belirtilen dahili bir yapay zeka modelinin, üç boyutlu bir akışın sonlu bir süre içinde tekillik geliştirebileceğini gösteren analitik bir kanıt sunduğunu bildirdi.

Elde edilen analitik kanıtın Lean sistemi kullanılarak biçimsel olarak doğrulanması ise 17 saat sürdü.

Navier-Stokes denklemleri; uçak tasarımı, hava tahmini, okyanus akıntıları ve kan dolaşımı gibi sıvı ve gaz hareketlerinin incelendiği pek çok bilimsel alanda kullanılıyor. Problemin temelinde, başlangıçta düzgün olan bir akışın belirli koşullar altında matematiksel olarak kontrolden çıkıp çıkmayacağı sorusu yatıyor. OpenAI'ın sunduğu çözüm, merkezindeki bölge küçüldükçe akış hızının sınırsız arttığı ancak toplam enerjinin sonlu kaldığı bir girdap yapısına dayanıyor.

Clay Matematik Enstitüsü tarafından 2000 yılında belirlenen yedi Milenyum Ödülü Problemi arasında yer alan bu konu, bugüne kadar yalnızca Poincaré varsayımı ile çözülebilmişti.

Megabayt'ın haberine göre, bu devasa hesaplama gücünün maliyetinin yaklaşık 10 milyon dolar olduğu tahmin edilirken; OpenAI yetkilileri, Milenyum Ödülü olan 1 milyon dolarlık ödülü talep etme niyetlerinin olmadığını vurguladı.