OpenAI-nin son qalmaqalı bizə riyaziyyatın gələcəyi haqqında nə deyir

OpenAI-nin son riyaziyyat mərhələsi tezliklə mübahisələrə daldı. Bu gün şirkət agentlərinin "Millennium Prize Problemləri"nin birini həll etdiyini elan etdi. Bu da riyaziyyatda ən vacib açıq problemlərdən biridir. Normal şəraitdə bu həll OpenAIs caps böyük bir tüylü olacaq. Lakin bu elan OpenAI-nin Nyu-York Universitetinin riyaziyyatçısı Tristan Buckmaster və Anthropic əməkdaşı Levent Alpöge'nin bu problemlə bağlı süni intellektlə köməkli işlərindən istifadə etməsi və onların kredit verilməməsi ilə bağlı ittihamlar ilə kölgə altında qalıb. OpenAI ittihamları rədd edib.

OpenAI modellərinin Buckmaster və Alpöge tərəfindən tamamlanmış işlərdən istifadə etdiyini dəqiq bilinmir, baxmayaraq ki, OpenAI-nin texniki heyətinin üzvü Sébastien Bubeck bir mətbuat brifingində bildirib ki, komanda Buckmaster və Alpöge səyləri haqqında bir dedikodudan sonra problemin davam etdirilməsinə ilham aldı. OpenAI modellərinin Buckmaster və Alpöge araşdırmalarından faydalanıb-aylamadığından asılı olmayaraq, bu epizod riyaziyyat tarixində bir dönüş nöqtəsi ola bilər.

İndi süni intellekt modelləri dövrümüzün ən vacib riyazi problemlərində irəliləyiş üçün vacib görünür və onları həll etmək yalnız bir neçə sərhəd AI şirkətində mövcud olan resursları tələb edə bilər, bu da tez-tez əksər riyazi irəliləyişin əsasını təşkil edən akademik əməkdaşlıq normalarına meydan oxumuşdur. Əgər bu gələcəyə doğru gedirsək, insan riyaziyyatçılarının necə uyğunlaşacağı aydın deyil.

OpenAI-nin həll etdiyini iddia etdiyi problem NavierStokes mövcudluğu və hamarlıq problemi kimi tanınır. Bu, 2000-ci ildə Clay Riyaziyyat İnstitutunun seçdiyi yeddi Millenium Mükafatı Problemlərindən biridir. Çözümlər bir milyon dollarlıq mükafatla gəlir; bu günə qədər yalnız bir başqa Minilliya Mükafatı Probleminin həll olunub.

NavierStokes problemi su və hava kimi mayelərin zaman keçdikcə necə axdığını təsvir edən bir sıra tənliklərlə bağlıdır. Bərabərliklər maye dinamikası sahəsində geniş istifadə olunur və onlar güclü olduğunu sübut etdi, lakin fizikaçılar və riyaziyyatçılar onları tam başa düşmədilər. Xüsusilə, bərabərliklərin bəzi şərtlər altında məhdud bir sürəti olan bir maye kimi qeyri-mümkün bir vəziyyətin olacağını və onu proqnozlaşdırmağını bu günə qədər bilinmirdi.

Cümə günü NYU-nun Buckmaster-u sosial şəbəkə saytında Mastodon-da sübut yayıb ki, Navier-Stokes tənliklərinin sadələşdirilmiş versiyası həqiqətən Millenium Problemində böyük bir addım atmaqda kömək edə bilər. O və Alpöge, OpenAI və Anthropic-dən ictimaiyyətə mövcud olan modellərdən istifadə edərək, problem üzərində demək olar ki, bir il çalışmışdılar. Bu gün OpenAI bütün Navier Stokes tənliklərinin də parçalana biləcəyini göstərən bir sübut təqdim etdi. Bu sübut, yalnız ötən həftə buraxılan artıq təsirli Astra modelindən xeyli üstünlük təşkil edən daxili model istifadə edərək əldə edilib. Şirkət problemin həllinə görə milyon dollarlıq mükafatı almaq planını bildirmir.