Süni intellekt riyaziyyata nəzarətsiz sürətlə daxil olarkən, Axiom Math startapı yoxlanılmamış sübutların qarşısını almaq üçün yeni yanaşma təklif edir. Şirkətin süni intellekt agentləri bu yaxınlarda Stacks Project adlı sahənin ən böyük riyazi kitabxanalarından birini formal şəkildə yoxlayıb. Bu, süni intellektin riyazi tədqiqatlarda etibarlı istifadəsi üçün mühüm addım kimi qiymətləndirilir.
Riyaziyyatda süni intellektin rolu
Süni intellekt modelləri riyazi sübutlar yaratmaq qabiliyyətinə malik olsa da, bu sübutların düzgünlüyü həmişə yoxlanılmır. Bu da elmi tədqiqatlarda ciddi problemlər yarada bilər. Axiom Math-ın yanaşması məhz bu boşluğu doldurmağa yönəlib: agentlər yalnız sübut yaratmır, həm də onları formal olaraq yoxlayır.
Stacks Project kitabxanasının yoxlanılması texniki cəhətdən mürəkkəb vəzifədir, çünki burada minlərlə teorem və sübut yer alır. Şirkətin bu vəzifənin öhdəsindən gəlməsi onun texnologiyasının yetkinliyini göstərir. Ekspertlər bunu süni intellektin fundamental elmlərdə tətbiqi baxımından mühüm hadisə adlandırırlar.
Gələcəkdə bu cür yoxlama sistemləri elmi nəşrlərin keyfiyyətinə nəzarət mexanizminin bir hissəsinə çevrilə bilər. Süni intellekt sahəsində etibarlılıq və şəffaflıq məsələləri getdikcə daha çox diqqət çəkir, xüsusilə də elmi tədqiqatlarda.
Mənbə: techcrunch.com
