Skupina matematikov tvrdila, že nepreukázateľná matematika je neprekonateľnou prekážkou algoritmov strojového učenia. Teraz to dokázali v praxi.
Nie všetko na svete je známe. Prinajmenšom to platí pre algoritmy umelej inteligencie a strojového učenia. Na prvý pohľad môže takéto vyhlásenie v našom veku pokroku znieť ako skutočná heréza - bohužiaľ, je to tak. Medzinárodná skupina matematikov a výskumníkov AI zistila, že napriek zdanlivo neobmedzenému potenciálu strojového učenia sú aj tie najpokročilejšie algoritmy viazané matematickými obmedzeniami.
„Výhody matematiky sú niekedy postavené na skutočnosti, že … jednoducho povedané, nie všetko je preukázateľné,“píšu vedci vedené počítačovým vedcom Shai Ben-Davidom z University of Waterloo. Tvrdia, že strojové učenie zdieľa tento osud.
Ako dospeli k tomuto záveru? Matematické obmedzenia sú často spojené so slávnym rakúskym matematikom Kurtom Gödelom, ktorý v 30. rokoch 20. storočia vyvinul vety o neúplnosti - dva predpoklady, ktoré poukazujú na obmedzenia formálnej aritmetiky (a v dôsledku toho akýkoľvek formálny systém, ktorý používa koncepty tejto aritmetiky: 0 a 1)., sčítanie a množenie a prirodzené čísla). Nový výskum len dokázal, že strojové učenie je zamknuté v rovnakom rámci.
Práve teraz je umelá inteligencia doslova obmedzená nepreukázateľnou matematikou. Inými slovami, umelá inteligencia nemôže vyriešiť problém, ktorého algoritmus nezabezpečuje „skutočné“alebo „nesprávne“riešenie. Matematik Amir Yehudayov z Technion-Israel Institute of Technology v rozhovore pre časopis Nature priznal, že to bolo pre vedcov prekvapenie. Štúdia bola postavená na webovej stránke: algoritmus musel zobrazovať cielené reklamy návštevníkom, ktorí stránku navštevujú najčastejšie - bez toho, aby vopred vedeli, ktorí návštevníci by ju navštívili. Toto je takzvaný odhad maximálneho (EMX) problému.
Podľa vedcov môžu korene matematického problému spočívať v štruktúre algoritmu učenia známeho ako pravdepodobnostne približne správne učenie alebo PAC. Je tiež veľmi podobný matematickému paradoxu nazývanému hypotéza kontinua. Rovnako ako vety o úplnosti, aj táto hypotéza súvisí s matematikou, ktorú nemožno dokázať v rámci pravdivého / nepravdivého systému. Hypoteticky, aj pre najdokonalejší algoritmus, je to slepá ulička, z ktorej sa nemôže dostať von. Matematici uznávajú, že nevykonateľnosť je bremenom, ktoré budú teraz stroje musieť znášať. Lev Reizin, ktorý sa nezúčastnil na štúdii, poznamenáva, že tieto opatrenia „možno dokážu naučiť pokoru AI, aj keď to bude stále revolucionizovať svet okolo nás“.
Vasily Makarov