Söhbət Navye–Stoks tənliklərinin həllərinin mövcudluğu və hamarlığı problemindən gedir. Bununla belə, Nyu-York Universitetinin riyaziyyatçısı Tristan Bakmaster OpenAI-nin həll prosesində onun həmkarı ilə birlikdə apardığı işin nəticələrinə əsaslandığını iddia edib.
OpenAI bildirib ki, şirkətin daxili süni intellekt modeli “Minilliyin yeddi problemi”ndən birinin, Navye–Stoks tənliklərinin həllərinin mövcudluğu və hamarlığı probleminin həllini tapıb.
“Biz Navye–Stoks tənliklərinin həllərinin mövcudluğu və hamarlığı probleminin, ‘Minilliyin problemləri’ndən birinin həllini təqdim edirik. Biz həm sübutun özünün təsvirini, həm də onun Lean dilində formalizasiyasını dərc edirik”, – şirkətin açıqlamasında deyilir.
OpenAI Navye–Stoks problemini həll etmək üçün imkanları GPT-6 Astra modelini əhəmiyyətli dərəcədə üstələyən daxili modeldən istifadə etdiyini bildirib. Süni intellekt agentlərindən ibarət qruplara bir sıra “Minilliyin problemləri”ni həll etmək tapşırılıb. Navye–Stoks problemini həll edən qrupda eyni vaxtda təxminən 10 min agent işləyib. Onların internetin keşlənmiş nüsxəsindəki məlumatları oxumaq və proqram kodunu icra etmək kimi alətlərə çıxışı olub.
Agentlərin bir hissəsinə iddianın sübutuna aparan konkret yanaşmaları araşdırmaq, digər hissəsinə isə həmin iddianı təkzib etməyə çalışmaq tapşırılıb. Bundan əlavə, onlar bir sıra nisbətən daha sadə problemləri də həll etməyə çalışıblar. Bunlardan biri Eyler tənliklərinin həllərinin requlyarlığı problemi olub və agentlər onun öhdəsindən gəliblər. Bu tapşırıq üzərində təxminən 100 agent 50 saata yaxın işləyib.
OpenAI-nin məlumatına görə, agentlər Navye–Stoks probleminin həllinə sentyabrın 5-də gəliblər. Sübutun GPT-6 Astra vasitəsilə formalizasiyası və yoxlanılması isə əlavə 17 saat çəkib. Həll prosesində 2,7 milyon mesaj göndərilib və 130 milyard çıxış tokenindən istifadə olunub. Şirkətin hesablamasına görə, bu həcm təxminən bir milyon kitabın mətninə bərabərdir.
OpenAI bildirib ki, sentyabrın 1-də şirkətə iki “Minilliyin problemi”nin həll olunduğu barədə məlumat çatıb. Sonradan məlum olub ki, bu həllər Anthropic-dən riyaziyyatçı Levent Alpege və Nyu-York Universitetinin riyaziyyat professoru Tristan Bakmasterə məxsusdur.
“Layihəni başa çatdırdıqdan və Lean sistemində formal yoxlamanı sentyabrın 6-da tamamladıqdan sonra, eşitdiklərimizə əsasən onların da Navye–Stoks probleminin həllini tapdıqlarını düşündük və nəticələri eyni vaxtda dərc etməyi, həmçinin birgə bəyanatda onların prioritetini tanımağı təklif etmək üçün onlarla əlaqə saxladıq. Biz, həm tədqiqatçılar, həm də agentlər, onların işi ictimaiyyətə açıqlanana qədər həmin işlə tanış deyildik”, – OpenAI bildirib.
Sentyabrın 8-də Bakmaster problemin həllinə dair ilkin nəticələri əks etdirən sübutları təqdim edib. Bu nəticələr Alpege ilə birlikdə Codex və Claude süni intellekt modellərindən istifadə edilməklə əldə olunub.
“Bu hekayənin başqa tərəfi də var və açığı, mən bununla məşğul olmaq məcburiyyətində qalmaq istəməzdim”, – Bakmaster bildirib.
Onun sözlərinə görə, OpenAI Navye–Stoks problemini həll edərkən onların işi ictimaiyyətə açıqlanmamışdan əvvəl həmin nəticələrə əsaslanıb.
Bakmasterin açıqlamasından qısa müddət sonra OpenAI Navye–Stoks tənliklərinin həllərinin mövcudluğu və hamarlığı probleminə dair tam sübutu dərc edib.
Hələlik bu nəticənin “Minilliyin problemi”nin rəsmi həlli kimi qəbul edilməsi üçün ayrıca elmi yoxlama və qiymətləndirmə tələb olunur.
