İkinci dəfədir ki, kimsə yeddi Minilliyin Mükafatı Məsələsindən birini həll edir – riyaziyyatın ən böyük hədəfləri, hər biri 1 milyon dollar mükafata layiqdir. Lakin ilk dəfədən fərqli olaraq, həmin kimsə süni intellekt startapıdır.

Bu gün OpenAI, riyaziyyatçıların mayelərin necə hərəkət etdiyini öyrənmək üçün istifadə etdikləri Navier-Stokes tənliklərinin daxili modelinin ölümcül qüsurlu olduğunu sübut etdiyini açıqladı. Bu açıqlama, riyaziyyatçı Tristan Buckmasterin, şirkətin Buckmaster və həmkarı Levent Alpögenin əlaqəli bir problemi həll etmək üçün müəyyən bir metoddan istifadə etdiyini bildikdən sonra OpenAI-nin sübutu həll etdiyini iddia etməsindən sonra gəldi. OpenAI iddiaları rədd etdi.

OpenAI-nin sübutu göstərir ki, nadir hallarda Navier-Stokes tənlikləri “partlayır”, yəni mayenin sürətinin bəzi nöqtələrdə sonsuza çevrildiyini diktə edir ki, bu da təbiətdə qeyri-mümkündür. Şirkət sübutun, demək olar ki, onun düzgünlüyünü təmin edən Lean proqramlaşdırma dili ilə təsdiqləndiyini bildirir.

Dieqo Kordoba deyir: “Biz bir az şokdayıq. O və Luis Martinez-Zoroa əvvəlcə süni intellekt tərəfindən problemi həll etmək üçün istifadə edilən yanaşmanı, yəni “məcbur etmə” adlanan yanaşmanı inkişaf etdiriblər. Kordoba deyir: “Əgər bu, edilərsə, bu, bizim üçün böyük bir sürpriz olacaq”.

OpenAI sübutu elan etməzdən bir gecə əvvəl , Buckmaster sosial mediada riyaziyyatçı və Anthropic-in əməkdaşı olan Alpöge ilə birlikdə Euler tənliklərini şişirdərək bu tənliklərin Navier-Stokes probleminin həlli istiqamətində atılan addım kimi geniş şəkildə qəbul edildiyini paylaşdı. Bazar ertəsi günü yayımlanan açıqlamada Buckmaster iddia edir ki, OpenAI son bir həftə ərzində cütlüyün irəliləyişi barədə məlumat əldə edib və Buckmaster və Alpöge-nin problemi tam həll etmək üçün istifadə etdiyi metodla eyni metodu tətbiq edib.

Çərşənbə axşamı keçirilən mətbuat brifinqində OpenAI riyaziyyatçısı Sebastyan Bubek sübutun mənşəyi ilə bağlı şayiələri təkzib etdi. Bubek bildirib ki, OpenAI-ın daxili modeli Euler problemini Buckmaster və Alpöge tərəfindən istifadə edilənlərdən tamamilə fərqli vasitələrlə müstəqil şəkildə həll edib. Lakin OpenAI-ın Navier-Stokes probleminin tam həlli iki riyaziyyatçının istifadə etdiyi metoda bənzər bir metoddan istifadə edib. Bubekin sözlərinə görə, sübut həftəsonu – yəni Buckmasterin onun və Alpögenin nəticəsi barədə xəbərin OpenAI-yə çatdığını iddia etdiyi vaxtdan sonra hazırlanıb. Bubek iki riyaziyyatçının işinin OpenAI-yə təsir etdiyini qəti şəkildə təkzib edib. O, deyib: “Biz onların təklifindən və ya sübutlarından modellərimizi təklif etmək üçün istifadə etmədik”.

İki sübut arasındakı fərqləri araşdırmaq çox güman ki, vaxt aparacaq və süni intellekt riyazi ideyalarının törəmələrini izləmək çox çətindir. Çikaqo Universitetinin riyaziyyatçısı Luis Silvestr deyir: “Dünən və bu gün dəli günlərdir. Hamımız, cəmiyyətdə, bunun nəticələrini müzakirə edirik.”