AI Riyaziyyatın 1 Milyon Dollar Millenium Mükafatı Problemlərindən Birini Həll Edib

8 sentyabr, çərşənbə axşamı səhəri OpenAI-dəki riyaziyyatçılar, onların rəhbərliyi altında olan və ictimaiyyətə açıq olmayan qabaqcıl bir modeldə işləyən 10 000 avtonom süni intellekt agentinin üç ölçülü Navier-Stoks tənliklərində bir “sinqulyarlıq” tapdığını elan etdilər. Bununla da, 2000-ci ildə Kley Riyaziyyat İnstitutu tərəfindən irəli sürülən və hər biri 1 milyon dollar mükafat dəyərində olan altı qalan Minillik Mükafatı Problemindən biri həll edilmiş oldu. Onların nəticəsi Lean proqramlaşdırma dilində rəsmi olaraq yoxlanılıb və bu, riyaziyyatçılarda onun həqiqətən də doğru olduğuna dair inam yaradıb.

Əgər nəticə gələcək araşdırmalara tab gətirə bilsə, bu, indiyə qədər süni intellekt modeli tərəfindən əldə edilmiş ən mühüm riyazi sübutdur və bəlkə də riyaziyyatçıların çətin problemlərin öhdəsindən gəlmə üsulunda fundamental bir dönüş nöqtəsini işarə edir.

Bu xüsusi çətin problem dəyişən kəmiyyətlər arasındakı əlaqəni ifadə edən diferensial tənliklərlə bağlıdır. Onlar ətrafımızdakı dünyanı izah etmək üçün ən mühüm riyazi alət hesab olunurlar. Bir qayda olaraq, onları yazmaq asan, həll etmək isə çətindir.

Navier-Stoks tənlikləri, okean axınlarından hava axınlarına qədər mayelərin necə davrandığını təsvir etmək üçün Nyutonun ikinci hərəkət qanunundan istifadə edən diferensial tənliklərdir. Onlar ilk dəfə 19-cu əsrin ortalarında yazılıb və o vaxtdan bəri maye mexanikası elminin mərkəzində dayanıb. Lakin tənliklərlə bağlı bir əsas sual hələ də qalmaqdadır: Onların həlləri həmişə qaydasındadırmı? Yoxsa onların həlləri zaman keçdikcə elə dəyişə bilər ki, mayenin hansısa sonsuz dərəcədə kiçik bir hissəsi sonsuz sürətlə axmağa başlayaraq, "sinqulyarlıq" adlanan vəziyyəti yarada bilərmi?

OpenAI-nin bu çoxdan axtarılan sinqulyarlıqla bağlı elanı, Nyu-York Universitetindən Tristan Bakmasterin Anthropic-dən Levent Alpöge ilə birlikdə OpenAI-nin modelləri də daxil olmaqla, müxtəlif süni intellekt modellərinin köməyi ilə bir-biri ilə sıx bağlı olan bir neçə problemi həll etdiklərini elan etməsindən 12 saat sonra gəldi.

Hər iki süni intellektlə işləyən komanda Madrid Riyaziyyat Elmləri İnstitutundan Dieqo Kordoba və CUNEF Universitetindən Luis Martines-Zoroanın işinə çox güvənirdilər; bu tədqiqatçılar problemə hücum etmək üçün əksər riyaziyyatçıların istifadə etdiyi üsullardan köklü şəkildə fərqlənən bir strategiya hazırlamışdılar.