OpenAI-ın ən yeni çatbotu riyaziyyatda böyük bir ustalıq göstərsə də, akademik dəqiqliyi baxımından insanlardan çox geridə qalır .

Ötən həftə şirkət növbəti böyük dil modelinin daxili inkişafı və sınaqdan keçirilməsi zamanı aşkar edilmiş süni intellektlə yaradılan daha 10 riyaziyyat irəliləyişini elan etdi. Bu nəticələr LLM və Astra-dan gəldi və hər biri riyaziyyat ictimaiyyəti üçün “əhəmiyyətli maraq doğuran” fərqli bir “uzun müddətdir davam edən açıq problemi” həll edir və ya inkişaf etdirir. Şirkət ümumi token dəyərinin cəmi 2000 dollar olduğunu bildirdi.

Bu xəbər tez bir zamanda süni intellektin riyaziyyat və kompüter elmlərində dominant, dağıdıcı qüvvəyə çevrilmək vədinin – və ya təhdidinin – daha bir xəbərçisi kimi yayıldı. Lakin elandan sonrakı günlərdə, cismani mütəxəssislər təxminən 250 səhifəlik sənədi ətraflı araşdırdıqca, bir çoxları məyus oldu.

Ekspertlərin fikrincə, ən həyəcanverici nəticələrdən ikisi, son riyazi ədəbiyyatdan əvvəlcədən mövcud olan ideyaları düzgün istinad etmədən daxil edir. Bu, OpenAI-ın ilkin mətbuat açıqlaması ilə ziddiyyət təşkil edir . Açıqlamada deyilirdi ki, Astra həll etdiyi problemlər “ən azı on ildir ki, açıqdır və əsas nəticədə heç bir irəliləyiş müşahidə olunmur”. (OpenAI daha dəqiq olmaq üçün dili yeniləyib).

Yeşiva Universitetinin riyaziyyatçısı Stiven Miller deyir ki, “Onlar özlərindən əvvəl gələnlərin işlərini qəsdən tənqid edirlər. OpenAI-nin onun öz tədqiqatlarını effektiv şəkildə plagiat etdiyini iddia edir. Mənə bu, tamamilə sistemli görünür və tədqiqatların səhv aparıldığına işarə edir.”

Nəticə Miller bir qutuya neçə top sığışdıra biləcəyinizlə bağlı suala istinad edir – bu, sadə bir problemdir, amma bu toplar və qutular 1000 ölçülü və ya daha çox riyazi məkanda mövcuddur. OpenAI-nin məqaləsi bu topların nə qədər sıx yerləşdirilə biləcəyinə dair ən yaxşı təxminləri təkmilləşdirir. LLM tərəfindən yaradılan sübut, özününkü kimi təqdim etdiyi, lakin əslində ilk dəfə Miller və bir əməkdaşı tərəfindən 2016-cı ildə dərc edilmiş məqalədə ortaya çıxan müəyyən bir riyazi arqumentə əsaslanır.

10 nəticədən biri qrup nəzəriyyəsində uzun müddətdir davam edən bir sualı həll edir və bu sual mütəşəkkil şəkildə qarşılıqlı əlaqədə olan “qruplar” adlanan riyazi obyektlər dəstlərini öyrənir. Riyaziyyatçılar uzun müddətdir ki, bütün qrupların “sosiallıq” adlanan bir xüsusiyyətə, yəni digər, daha sadə qruplar tərəfindən xüsusi bir şəkildə dəqiq şəkildə yaxınlaşdırılma qabiliyyətinə malik olub-olmadığını düşünürlər. OpenAI sənədi bu xüsusiyyətdən məhrum olan ən azı bir qrupu müəyyən edir.

Bu kəşf, qrup nəzəriyyəsini öyrənən Kembric Universitetinin riyaziyyatçısı Françesko Furnye-Fasionu heyrətləndirdi – ən azından “bu kəşflə bir insan yazsaydı, etdiyim kimi məşğul olana” qədər. O və bəzi həmkarları nəticənin ilk göründüyü qədər yeni olmadığını aşkar etdilər. Bir sıra son süni intellekt kəşfləri kimi , bu kəşf də riyazi ədəbiyyatdan ideyaları birləşdirərək yeni bir teorem qurdu. Yenə də LLM-in hiyləgərliyi, dərin intellektual sıçrayış etmək qabiliyyəti deyil, tapmaca parçalarını yığmaq üçün fövqəltəbii səbridir.

Xüsusilə, Astranın əsas riyazi addımı ideyaları birləşdirərək ilk dəfə 2016 və 2019-cu illərdəki iki məqalədə tapılmışdır. 2019-cu ildəki məqalənin həmmüəllifi olan Drezden Texnologiya Universitetinin riyaziyyatçısı Andreas Tom nəticəni MathOverflow.com saytında ümumiləşdirərək onu “yaradıcı və eyni zamanda elementar” adlandırmışdır.

OpenAI-ın ilkin mətbuat açıqlaması bu vacib, son inkişafları görməzdən gəlmiş və ya tamamilə xəbərsiz olmuş kimi görünürdü. Fournier-Facio iddia edir ki, əvvəlki iki məqalə insanların mürəkkəblik problemi ilə bağlı heç bir problem yaşamadığını göstərir. OpenAI-ın riyaziyyatçıları bu fikirləri məqalələrində düzgün şəkildə ifadə etmək üçün əllərindən gələni etdilər, deyə o bildirir. Lakin, xoş niyyətlərinə baxmayaraq, “mümkün qədər təsirli səslənmək istəyən və 100 faiz dəqiq olmağa əhəmiyyət verməyən böyük PR maşını var”, deyə o bildirir.

OpenAI sözçüsü Scientific American- a verdiyi açıqlamada bildirib ki , “Biz bu nəticələrin düzgünlüyünə görə məsuliyyət daşıyırıq və ümumiyyətlə insan riyaziyyatçılarından gözlənilən eyni standartlara cavab veririk. Standart akademik təcrübəyə uyğun olaraq bu həftə [qəzetdə] kiçik yeniliklər etməyi planlaşdırırıq.”

Lakin süni intellekt riyaziyyatı fəth etmək üçün kampaniyasını sahənin akademik normalarına heç bir daxili sadiqlik göstərmədən davam etdirdikcə, cəmiyyətdə bəzi insanlar açıq şəkildə səbrlərini itirirlər . Fournier-Facio deyir: “OpenAI artıq yüksək səviyyəli tədqiqatlarda tam şəkildə iştirak edir. Buna görə də onlar bizimlə eyni akademik standartlara uyğun olmalıdırlar.”