Süni intellekt milyon dollarlıq mükafatı olan uzunmüddətli riyazi problemi həll etmiş ola bilər. Bu, mükafatın kimə verilməsi ilə bağlı mübahisəyə səbəb oldu

Mayelərin hərəkəti ilə bağlı məşhur nəzəri riyazi məsələ olan Navier-Stokes problemi təxminən 200 ildir riyaziyyatçıları çətinliyə salıb. 21-ci əsrin əvvəlində Clay Riyaziyyat İnstitutu onu həll edənə 1 milyon dollar mükafat verəcəyini elan edib. İyirmi altı il sonra həll nəhayət tapılmış ola bilər — amma bunu edən riyaziyyatçı olmayıb.

Çərşənbə günü ChatGPT-nin yaradıcısı OpenAI blog yazısında "daxili OpenAI sistemi"nin bu çoxdankı tapmacaya həll tapdığını elan edib. Şirkət, Navier-Stokes tənlikləri üzərində 88 saat boyu böyük ölçüdə muxtar işləyən təxminən 10 min süni intellekt "agentindən" istifadə edib, bu da güman ki, milyonlarla dollar dəyərində hesablama gücü tələb edib. OpenAI-nin bu nailiyyəti süni intellekt modellərinin insanların uzun müddət həll edə bilmədiyi riyazi tapmacaları həll edə biləcəyinin növbəti sübutudur.

"Simvolik olaraq bunun böyük bir an olduğu inkaredilməzdir — böyük anların təbii zəncirinin növbəti həlqəsidir," — Kollec de Frans-ın riyaziyyatçısı Timoti Qauers Wall Street Journal-a bildirib, baxmayaraq ki, o, hələ OpenAI-nin bu nailiyyətlə bağlı məqaləsini oxumadığını qeyd edib.

Amma bu nailiyyət eyni zamanda mübahisə də doğurub: Navier-Stokes problemi süni intellekt tərəfindən həll edilmiş ola bilsə də, nailiyyət iki insan tədqiqatçının — onlardan birinin OpenAI-nin rəqibi Anthropic-də çalışması — işi ilə mümkün əlaqəsinə görə mübahisəli olub.

Bu hekayə təxminən 200 il əvvəl, Klod-Lui Navye və Corc Qabriel Stoks mayelərin necə hərəkət etdiyini təsvir edən tənliklər yazanda başlayır. O vaxtdan bəri riyaziyyatçılar bu tənliklərin bütün hallarda işləyib-işləmədiyini, yoxsa mayenin kiçik bir hissəsinin sonsuz sürətlə hərəkət etdiyi və həllin "partladığı" nəzəri bir vəziyyətə imkan verib-vermədiyini araşdırırlar.

OpenAI belə bir "partlama" ssenarisi tapdığını iddia edir — spaqetti kimi uzanaraq içəriyə spiral şəklində burulan bir maye burulğanı. Şirkət, süni intellekt agentlərinin işini Lean adlı proqramlaşdırma dili ilə yoxladığını bildirir.