OpenAI: daxili model Navye–Stoks problemi üçün sübut hazırlayıb

OpenAI nə elan etdi

Sentyabrın 8-də OpenAI Navye–Stoks mövcudluq və hamarlıq probleminin — Minillik Mükafatı problemlərindən birinin — həllini dərc etdiyini bildirdi. Şirkətə görə, sübutu OpenAI-ın daxili sistemi hazırlayıb və o, maye hərəkəti tənliklərinin dinamikasının sonlu zamanda sinqulyarlıq yarada biləcəyini göstərir. Həm sübutun mətni, həm də Lean-də formalizasiyası dərc olunub.

Yazıya görə, hamar üçölçülü maye hərəkətinin poza biləcəyi sualı təxminən 90 ildir açıq qalırdı. OpenAI GPT-6 Astra-dan xeyli güclü daxili modeldən istifadə etdiyini və dünyanı süni intellektin irəliləyiş tempi və gələcək modellərdən gözlənilənlər barədə məlumatlandırmağı vacib saydığını bildirir.

Problemin özü

Navye–Stoks tənlikləri maye hərəkətini Nyutonun ikinci qanunu ilə təsvir edir və mayeni ayrı-ayrı molekullar kimi deyil, kəsilməz mühit kimi qəbul edir. Onlardan təyyarə dizaynında, hava proqnozunda və qan axınının öyrənilməsində istifadə olunur. Açıq sual sabit sıxlıqlı üçölçülü sıxılmaz mayenin tənliklərinin hərəkət hamar başlasa da sinqulyarlıq yarada bilməsi idi.

Sinqulyarlıq mayedə sürətlərin sonlu zamanda sərhədsiz artması deməkdir — və bu, hərəkəti hamarlayan özlülüyə baxmayaraq baş verməlidir. Real maye sonsuz sürətlə hərəkət edə bilmədiyi üçün bu, tənliklərin mayeni modelləşdirməsində pozulma olardı; modelləşdirməni davam etdirmək üçün hər hissəciyin davranışını ayrıca izləmək lazım gələrdi. Tənliklər XIX əsrdə Klod-Lui Navye və Corc Qabriel Stoksun işlərindən qaynaqlanır; 1934-cü ildə Jan Lere həllərin ümumiləşdirilmiş mənada mövcud olduğunu sübut etdi, 2000-ci ildə isə Kley Riyaziyyat İnstitutu problemi yeddi Minillik Mükafatı problemindən biri elan etdi.

Nəticə

OpenAI bildirir ki, onun sistemi başlanğıcda hamar və sakit mayenin sonlu zamanda sinqulyarlıq yarada biləcəyinə dair analitik sübut və Lean formalizasiyası hazırlayıb. Mayeyə hamar qüvvə təsir edir və onun enerjisi sakitlikdən sinqulyarlığın yaranmasınadək bütün dinamika boyu sonlu qalır. Yazıda bu, Navye–Stoks Minillik probleminin həlli kimi təqdim olunur.

Şirkət işi elan etdiyi məqsədi ilə — alimlərə bütün bəşəriyyətə fayda verən tədqiqat və texnologiyanı irəli aparmaq imkanı verməklə — əlaqələndirir. Sübutun mətni və formalizasiya açıq şəkildə əlçatandır.