OpenAI Navier-Stokes Matematik Probleminde İlerleme Kaydettiğini Açıkladı
OpenAI, matematik dünyasının en önemli çözülememiş problemlerinden birinde ilerleme kaydettiğini duyurdu. Şirket, yapay zeka sistemlerinin Navier-Stokes varoluş ve düzgünlük problemiyle—yaklaşık 90 yıldır çözülemeyen akışkan denklemlerinin davranışına ilişkin bir soru—yaklaşık 88 saatlik hesaplama süresinde ilgilendiğini bildirdi.
Navier-Stokes denklemleri, akışkan maddelerin hareketini tanımlar ve hava durumu modellerinden uçak tasarımına kadar uzanan fenomenlerin anlaşılması için temel oluşturur. Problem, bu denklemlerin çözümlerinin her zaman mevcut olup olmadığı ve düzgün kalıp kalmadığı ya da tekillikler geliştirip geliştiremeyeceği üzerine odaklanır.
Doğrulanması halinde, bu durum saf matematik alanına önemli bir katkı sağlamış olacaktır. Ancak bu tür iddiaların geniş çaplı kabul görmesinden önce kapsamlı bir akran değerlendirmesi ve matematik camiası tarafından doğrulanması tipik olarak gereklidir. Bu duyuru, yapay zeka sistemleri ile biçimsel matematiksel akıl yürütme arasındaki büyüyen kesişimi vurgulamaktadır; burada makine öğrenimi modelleri sayı teorisi, geometri ve şimdi de akışkan dinamiğindeki karmaşık kanıt sistemlerine ve açık problemlere giderek daha fazla uygulanmaktadır.
Matematik camiası, çalışmanın resmi incelemeden geçtiği süreç boyunca yakından izleyecektir.