Skupina matematičara tvrdila je da je neprobavljiva matematika nepremostiva prepreka algoritmima strojnog učenja. Sada su to uspjeli dokazati u praksi.
Nije sve na svijetu poznato. Barem se to odnosi na algoritme umjetne inteligencije i strojnog učenja. Na prvi pogled takva izjava u našem dobu napretka može zvučati kao prava hereza - ali, nažalost, to je slučaj. Međunarodna skupina matematičara i istraživača AI otkrila je da, unatoč prividno neograničenom potencijalu strojnog učenja, čak i najnapredniji algoritam veže matematička ograničenja.
"Prednosti matematike ponekad se grade na činjenici da … jednostavnim riječima, nije sve dokazljivo", pišu istraživači predvođeni računalnim znanstvenikom Shai Ben-Davidom sa Sveučilišta u Waterlou. Tvrde da strojno učenje dijeli tu sudbinu.
Kako su došli do ovog zaključka? Matematička ograničenja često su povezana s poznatim austrijskim matematičarom Kurtom Gödelom, koji je 1930-ih razvio teoreme o nepotpunosti - dvije pretpostavke koje pokazuju ograničenja formalne aritmetike (i, kao posljedica toga, bilo koji formalni sustav koji koristi koncepte iz ove aritmetike: 0 i 1, zbrajanje i množenje i prirodni brojevi). Nova su istraživanja samo dokazala da je strojno učenje zaključano u istom okviru.
Trenutno je AI doslovno ograničen neprobavljivom matematikom. Drugim riječima, umjetna inteligencija ne može riješiti problem čiji algoritam ne predviđa „istinsko“ili „lažno“rješenje. Matematičar Amir Yehudayov s Tehnološko-izraelskog instituta za tehnologiju u intervjuu časopisu Nature priznao je da je to iznenađenje za znanstvenike. Studija je izgrađena na web stranici: algoritam je trebao prikazivati ciljane oglase posjetiteljima koji stranicu posjećuju najčešće - bez da unaprijed znaju koji će je posjetitelji posjetiti. To je takozvana procjena maksimalnog (EMX) problema.
Prema istraživačima, korijeni matematičkog problema mogu se nalaziti u strukturi algoritma učenja koji je poznat i kao „vjerovatno približno ispravno učenje“, ili PAC. Vrlo je sličan matematičkom paradoksu koji se naziva hipoteza kontinuuma. Poput teorema o potpunosti, ova se hipoteza odnosi na matematiku, što se ne može dokazati u okviru istinitog / lažnog sustava. Hipotetski, čak i za najsavršeniji algoritam ovo je ćorsokak iz kojeg se ne može izaći. Matematičari priznaju da je neizdrživost teret koji će strojevi sada morati podnijeti. Lev Reizin, koji nije bio uključen u studiju, napominje da bi ove mjere "mogle biti sposobne naučiti AI poniznosti, čak i ako nastavi revoluciju svijeta oko nas".
Vasily Makarov