Գուգլի հետազոտական թիմը ներկայացրել է AlphaMath արհեստական բանականության մոդելը, որը կարողացել է ապացուցել տոպոլոգիայի ամենաբարդ վարկածներից մեկը։ Ըստ ներկայացված տվյալների՝ սա առաջին դեպքն է, երբ արհեստական բանականությունը ոչ միայն կատարում է պարզ հաշվարկներ, այլև ինքնուրույն ստեղծում է նոր և բարդ մաթեմատիկական թեորեմներ։
AlphaMath-ի արդյունքը կարևոր է հատկապես նրանով, որ մաթեմատիկական խնդիրների լուծումը պահանջում է ոչ միայն հաշվարկային գործողություններ, այլև բարդ կապերի հայտնաբերում ու տրամաբանական հիմնավորում։ Այս դեպքում մոդելը կարողացել է աշխատել այդ մակարդակի խնդրի հետ և ստանալ ապացույց։
Ներկայացված արդյունքը ցույց է տալիս, որ արհեստական բանականության կիրառումը մաթեմատիկայում կարող է դուրս գալ արդեն հայտնի մեթոդների և պարզ հաշվարկների սահմաններից։ Եթե նման համակարգերը կարողանան ինքնուրույն առաջադրել ու ապացուցել նոր թեորեմներ, դրանք կարող են փոխել մաթեմատիկական հետազոտությունների այն հատվածը, որտեղ մինչ այժմ հիմնական աշխատանքը կատարում էին մարդիկ։
Այստեղ, սակայն, առանցքային է հենց նոր թեորեմների ստեղծման հանգամանքը։ Մոդելի արժեքը միայն արագ հաշվարկելու մեջ չէ, այլ այնպիսի բարդ խնդիրների վրա աշխատելու կարողության, որոնք պահանջում են նոր գաղափարներ և դրանց հետևողական ապացուցում։
Այս արդյունքը ցույց է տալիս արհեստական բանականության հնարավորությունների մի կարևոր փոփոխություն․ համակարգը ներկայացվում է ոչ միայն որպես արդեն հայտնի մեթոդներ կիրառող գործիք, այլ որպես մաթեմատիկական խնդիրների վրա ինքնուրույն աշխատող համակարգ։ Հենց այդ տարբերությունն է այստեղ ամենաուշագրավը, քանի որ խոսքը վերաբերում է գաղափարի ձևակերպման և դրա ապացուցման գործընթացին, ոչ միայն հաշվարկի արագությանը։
Միաժամանակ, հոդվածում ներկայացված տվյալները սահմանափակ են, և դրանցից դեռ չի կարելի ավելի լայն եզրակացություններ անել մաթեմատիկայի բոլոր ոլորտների համար։ Բայց նույնիսկ այս նկարագրությամբ արդյունքը ցույց է տալիս, թե ինչ ուղղությամբ է զարգանում ԱԲ-ի կիրառումը․ բարդ մաթեմատիկական խնդիրների դեպքում համակարգից ակնկալվում է ոչ միայն պատասխան, այլ նաև նոր լուծման կառուցում և հիմնավորում։
