Atrado dirbtiniam intelektui neįkandamą užduotį?

Rafi Letzter | Live Science

Pagaliau matematikai atrado uždavinį, kurios jie negali išspręsti. Ne dėl to, kad būtų nepakankamai protingi; šiam uždaviniui tiesiog nėra teisingo atsakymo.

Uždavinys yra susijęs su sistemos mokymusi – dirbtinio intelekto modeliu kurio pagalba kai kurie kompiuteriai „mokosi“ atlikti tam tikras užduotis.

Kai „Facebook“ arba „Google“ atpažįsta jūsų nuotrauką ir pasiūlo save pažymėti, jie tai daro naudodami sistemos mokymąsi. Kai automobilis be vairuotojo važiuoja judria sankryža, taip pat veikia sistemos mokymasis. Neurologai naudoja ši dirbtinio intelekto modelį mokydamiesi „skaityti“ mintis.

2018 m. duomenys. Šaltinis: Deloitte,com

Sistemos mokymasis yra grįstas matematika. Dėl to matematikai gali jį ištirti ir suprasti teoriniu lygmeniu. Jie gali įrodyti visais atvejais galiojančias sistemos mokymosi taisykles. Šiuo atveju matematikų komanda sukūrė sistemos mokymosi uždavinį, pavadintą „maksimumo įvertinimu“ (EMX, angl.)

EMX veikia daugmaž taip: įsivaizduokite, kad norite svetainėje patalpinti reklaminius skelbimus ir maksimaliai padidinti juos pamatysiančių žmonių skaičių. Jūs turite įvairiausių reklaminių skelbimų, skirtų sporto fanatams, kačių mėgėjams, automobilistams ir pan. Tačiau jūs iš anksto nežinote, kas ketina aplankyti svetainę. Kaip pasirinkti reklamų turinį, kuris maksimaliai atitiks jūsų svetainės lankytojų pomėgius? EMX turi atsakyti į tą klausimą, disponuodamas tik nedideliu kiekiu duomenų apie svetainės lankytojus.

[…]

Bėda ta, kad [sprendžiant šį uždavinį] matematika nustoja veikti. Ji neveikia jau nuo 1931 m., kai logikas Kurtas Gödelis paskelbė savo garsiąją neužbaigtumo teoremą (incompleteness theorem, angl.). Ji parodė, kad bet kurioje matematinėje sistemoje yra tam tikrų klausimų, į kuriuos negalima atsakyti. Jie nėra labai sudėtingi – jie tiesiog neišsprendžiami. Taip matematikai sužinojo, kad jų gebėjimas suprasti visatą yra iš esmės ribotas.

Gödelis ir kitas matematikas Paulas Cohenas surado to pavyzdį: kontinuumo hipotezę (continuum hypothesis, angl.). […] Gödelis ir Cohenas pademonstravo, kad neįmanoma įrodyti, jog kontinuumo hipotezė yra teisinga, bet taip pat neįmanoma įrodyti, kad ji neteisinga. Taigi, klausimas „ar tęstinumo hipotezė yra teisinga?“ yra klausimas be atsakymo.

Pasirodo, kad EMX gali išspręsti uždavinį [surasti maksimumą] tik tuomet, jei kontinuumo hipotezė yra teisinga. Bet jei ji nėra teisinga, EMX uždavinio išspręsti negali… Tai reiškia, kad atsakymas į klausimą „Ar EMX gali išmokti išspręsti šį uždavinį?“ yra toks pat neįmanomas, kaip ir pačios kontinuumo hipotezės teisingumo nustatymas.

Skaityti visą tekstą (anglų k.)