“Google DeepMind” yeni süni intellekt sistemi “AlphaProof Nexus”un uzun illərdir açıq qalan bəzi mürəkkəb riyaziyyat problemlərini həll etdiyini açıqlayıb.
Şirkətin məlumatına görə, sistem məşhur macar riyaziyyatçısı Pol Erdosun irəli sürdüyü yüzlərlə açıq problemdən doqquzunu insan müdaxiləsi olmadan həll edə bilib. Onlardan bəzisi onilliklərdir cavabsız qalırdı.
“DeepMind” bildirir ki, AI yalnız cavab verməyib, həm də riyazi sübutları formal şəkildə yoxlayaraq səhvləri azaltmağa çalışıb.
Ekspertlər bunu süni intellektin artıq təkcə köməkçi vasitə deyil, elmi araşdırmalarda yeni ideyalar irəli sürə bilən alətə çevrilməsi istiqamətində mühüm addım hesab edirlər.
