Çinin süni intellekti, insan müdaxiləsi olmadan 12 illik bir riyaziyyat problemini 80 saat içində həll etdi. Bu inanılmaz nailiyyət süni intellektin gələcəyini dəyişdirə bilərmi?
İki Agentli AI Sistemi Necə İşləyir?
Pekin Universiteti tərəfindən hazırlanan iki agentli süni intellekt sistemi, mürəkkəb riyaziyyat problemlərini həll etməklə yanaşı, öz nəticələrini də yoxlayır. 2014-cü ildə Dan Anderson tərəfindən təqdim edilən ehtimalı bu sistem cəmi 80 saat ərzində tamamladı.
Araşdırmaçılar arXiv-də dərc olunmuş məqalələrində, "Bu çərçivədən istifadə edərək, kommutativ cəbriyyatda açıq bir problemi uğurla həll etdik və demək olar ki, heç bir insan müdaxiləsi olmadan isbatı avtomatik olaraq formalizə etdik," deyə yazdılar.
AI Sistemi Necə Çalışır?
AI aləti, Matlas adlanan bir riyaziyyat teoremi axtarış motorundan istifadə edərək problem həll etmə strategiyalarını araşdıran Rethlas adlı bir düşünmə sistemini tətbiq edir. Rethlas potensial bir isbat yaratdıqda, Archon adlı digər bir sistem LeanSearch axtarış motorunu istifadə edərək bu isbatı interaktiv teorem doğrulayıcısı üçün bir layihəyə çevirir.
"Heç bir insanın riyaziyyat qərarı tələb olunmadı" - Araşdırmaçılar
Matematiklərə Təsiri Nə Ola bilər?
Bu süni intellekt sistemi, insanlardan daha sürətli riyaziyyat tapşırıqlarını yerinə yetirdi və normalda müxtəlif sahələrdəki mütəxəssislərin əməkdaşlığını tələb edən işi müstəqil şəkildə həyata keçirdi. Lakin, araşdırma qrupu, lazım olduqda Archon-a rəhbərlik edərək bir riyaziyyatçının prosesi sürətləndirə biləcəyini də qeyd etdi.
Nəticə: Süni intellektin riyaziyyat problemlərini həll etmə bacarığı, gələcəkdə elmi tədqiqatlarda böyük dəyişikliklər yarada bilər.
