"Xəzərsiz partlayış" - deyə, riyaziyyatçı Tomas Blöm mənə telefonla danışıb. O, bilmirdi ki, saatlar sonra OpenAI 722 riyaziyyat əlyazmasını yayımlayacaqdı.
Yeni işlərin işarəsi sualın təcililiyini artırır: süni intellekt riyazi kəşfləri necə dəyişir? Başlıqları ələ keçirən uğurlar uğrunda yarışlarında süni intellekt şirkətləri adətən metod və məlumatlarını açıqlamırlar. Bu süni intellekt şirkətləri arasında rəqabət insan əməkdaşlığını və anlayışını əhatə etməyə hədəfləyir.
Bu gərginlik XX əsrin ən çox inkişaf etmiş riyaziyyatçılarından biri olan Paul Erdős tərəfindən əvvəllər ortaya qoyulan və toplanan 1000-dən çox problemin inkişafını izləyən Bloom Run saytında miniatür olaraq oynanıb. Burada insanlar açıq problemləri müzakirə etmək üçün əməkdaşlıq edirdi və ya ən yaxşı həll yolu tapılmamış və ya daha böyük riyaziyyat cəmiyyətinə məlum olmayan problemlər. Ancaq ziyarətçilər tez-tez başa düşmədikləri süni intellektlə açıq problemləri bağlamaq üçün rəqabət aparırdılar. İngiltərədəki Mançester Universitetinin riyaziyyatçısı Bloom günlərini süni intellekt tərəfindən yaradılan işlərin hakimiyyətində keçirmək istəmir. Beləliklə, danışdıqdan bir qədər sonra və OpenAI-nin son nəticələrini elan edəcəyini bilmədən əvvəl Bloom problemləri artıq açıq və ya həll olunmuş kimi qeyd etmədiyini yazıb və şərhlərini də bağladı.
Bu qədər çox açıq problemlərin tez həll edilməsi çox maraqlıdır. Amma bu, riyaziyyatçılara cavabları başa düşməyə və onlara əsaslanmağa kömək edə bilərmi?
OpenAI nəticələrinin səngindən cəmi iki gün sonra Google DeepMind araşdırmasının rəqiblər tərəfindən nəzərdən keçirilmiş nəşri ictimaiyyətə çatdı. İlk dəfə bu ilin əvvəlində bir preprint-də bildirilib ki, bu, bir süni intellekt sisteminin açıq riyaziyyat problemləri ilə necə məşğul olduğunu dərc edir. AlphaProof Nexus adlı sistem 9 Erdős problemini həll etdi və bir sıra digər maraqlı riyazi inkişaflar etdi.
Hesabatda nəticələrin necə əldə edildiyi barədə ətraflı məlumat verilir. Üstəlik, insan riyaziyyatçıları bir çox sübutları yoxlayıblar. Bloom deyir ki, bu, OpenAI və Anthropic-in riyaziyyat nəticələrini necə idarə etdiklərindən tamamilə fərqlidir.
Xülasə — davamını mənbədə oxuyun.
