Avqustun sonuncu günündə bir insan riyaziyyatçı ədədlər nəzəriyyəsinin ən məşhur problemlərindən birində bir sıra irəliləyişlərə start verdi və demək olar ki, dərhal süni intellekt tərəfindən üstələndi.
İllinoys Urbana-Şampeyn Universitetindən Culiya Stadlman, sadə ədədlər arasındakı fərqin cəmi iki vahid olduğu sonsuz sayda sadə ədəd cütünün mövcud olduğunu irəli sürən (məsələn, 3 və 5, eləcə də 17 və 19 əkiz sadə ədədlərdir) əkiz sadə ədədlər fərziyyəsini həll etmək axtarışında yeni bir rekord qeydə aldığını bildirdi. Bu, on ildən çox müddətdə bu sahədə əldə edilən ilk belə irəliləyiş idi.
Stadlmanın əzmkarlığını və cəsarətini yüksək qiymətləndirdiyini deyən Stenford Universitetinin riyaziyyatçısı Kannan Soundararajan bunun "dəhşətli dərəcədə çətin bir problem" olduğunu bildirir. "Bu, həqiqətən də çox təsir edici idi."
Üç gün ərzində "Axiom Math" adlı süni intellekt startapı Stadlmanın yanaşmalarını əsas götürərək onun nailiyyətini üstələdi. "Axiom"un elanından iki saat sonra hər iki rekord OpenAI tərəfindən geridə qoyuldu və cəmi beş gün sonra şirkət riyaziyyatın digər ən böyük tapmacalarından birini həll etdiyini iddia etdi.
Stadlmanın İllinoysdakı doktorantura rəhbəri Kevin Ford deyir: "Bu, insanın qızıl medal qazandığı Davud və Qoliaf hekayəsidir". Ən azı üç günlüyünə.
Bu sürətli hadisələr silsiləsi riyaziyyatçıların süni intellektlə bağlı narahatlığını pik həddə çatdırıb. Bir çox tədqiqatçının fikrincə, bəzi süni intellekt şirkətləri təkcə peşəkar normaları pozmur, həm də tədqiqatçıların bilik axtarışına xələl gətirir. UCLA-dan olan, Filds medalı laureatı və yəqin ki, riyaziyyat sahəsində ən nüfuzlu bloqer olan Terens Tao mathstodon.xyz saytında yazır: "Burada gördüyümüz şey, insan anlayışına nail olmaq iddiasından imtina etmək və süni intellekt alətlərindən yalnız bir göstəriciyə çatmaq məqsədilə istifadə etmək kimi çox qəsdən seçilmiş qərarların nəticəsidir".
Xülasə — davamını mənbədə oxuyun.
