OpenAI Minilliyin yeddi məsələsi ndən birinin həll edildiyini elan etdi

OpenAI şirkəti daxili süni intellekt modelinin "Minilliyin yeddi məsələsi"ndən birini — Navye-Stoks tənliklərinin həllərinin mövcudluğu və hamarlığı problemini həll etdiyini bəyan edib.

Oxuməni.az xəbər verir ki, "Biz 'Minilliyin məsələləri'ndən biri olan Navye-Stoks tənliklərinin həllərinin mövcudluğu və hamarlığı probleminin həllini təqdim edirik. Biz həm sübutun özünün təsvirini, həm də onun Lean dilində formallaşdırılmasını dərc edirik", — deyə bəyanatda bildirilir.

Şirkətdən qeyd ediblər ki, Navye-Stoks problemini həll etmək üçün OpenAI imkanları GPT-6 Astra-nın göstəricilərini əhəmiyyətli dərəcədə üstələyən daxili modeldən istifadə edib. Agentlər qruplarına bir sıra "Minilliyin məsələlə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ştirak edib. Onların internetin keşlənmiş nüsxəsindən məlumat oxumaq və proqram kodunu icra etmək kimi alətlərə çıxışı olub.

Bəzi agentlərə təsdiqin sübutuna, digərlərinə isə onun təkzibinə aparan konkret formulalar təklif edilib. Bundan əlavə, onlar bir sıra "daha sadə" məsələləri həll etməyə çalışıblar. Bunlardan biri Eyler tənliklərinin həllərinin requlyarlığı problemi kimi tanınan məsələ olub və agentlər bunun öhdəsindən gələ biliblər. Təxminən 100 agent bu məsələ üzərində 50 saata yaxın işləyib.

OpenAI-ın məlumatına görə, onlar Navye-Stoks probleminin həllinə şənbə günü, sentyabrın 5-də çatıblar, GPT-6 Astra vasitəsilə formallaşdırma və yoxlama üçün isə daha 17 saat vaxt tələb olunub. Həll üçün 2,7 milyon mesaj göndərilib və 130 milyard çıxış tokeni istifadə edilib ki, bu da təxminən bir milyon kitabın həcminə bərabərdir.

OpenAI bildirib ki, sentyabrın 1-də onlara iki "Minilliyin məsələsi"nin həll edildiyi barədə "şayiələr çatıb". Sonradan məlum olub ki, həllər Anthropic şirkətindən olan riyaziyyatçı Levent Alpege və Nyu-York Universitetinin riyaziyyat professoru Tristan Bakmasterə məxsusdur.

Şirkətdən bildiriblər: "Layihəni başa çatdırıb və Lean sistemində formal yoxlamanı yerinə yetirdikdən sonra (sentyabrın 6-sı), eşitdiklərimizə əsaslanaraq onların da Navye-Stoks probleminin həllini tapdıqlarını güman edərək, nəticələrimizi birgə dərc etməyi təklif etmək və birgə bəyanatda onların prioritetini tanımaq üçün onlarla əlaqə saxladıq. Biz (tədqiqatçılar və agentlər) onların işi ilə ictimaiyyətə açıqlanana qədər tanış deyildik".

Sentyabrın 8-də Bakmaster ilkin nəticələri özündə əks etdirən sübutları təqdim etdi. Onlar Alpege ilə birlikdə Codex və Claude süni intellekt modellərindən istifadə edərək əldə edildi. "Bu hekayənin başqa bir tərəfi də var və açığı, mən bununla məşğul olmağı çox istəməzdim", Bakmaster bildirib.

Onun sözlərinə görə, OpenAI problemin ictimaiyyətə açıqlanmamışdan əvvəl həllində öz işlərinə etibar edib. Riyaziyyatçının açıqlamasından qısa müddət sonra şirkət Navye-Stoks tənliklərinin həllərinin mövcudluğu və hamarlığı probleminin tam sübutunu dərc etdi.

Qeyd edək ki, əvvəllər yeddi problemdən yalnız biri həll edilmişdi - rus alimi Qriqori Perelman tərəfindən həll edilən Puankare fərziyyəsi.

Almaz Həsənli