Pravda zostane vždy pravdou.

Keď som bol mladý, tak sa ešte na výpočty používali logaritmické tabuľky. Kalkulačky ešte v Československu neboli. Dnes máme dobu, kde sa používa takzvaná umelá inteligencia. Umelá inteligencia je v súčasnosti najrýchlejšie sa šíriacim nástrojom v ľudskej spoločnosti. Je umelá inteligencia naozaj tým za čo ju mnoho ľudí považuje? V posledných rokoch sa umelá inteligencia (LLM) opisuje ako „univerzálna“, „všeobecná“, inteligencia. Ľudia si však miešajú dve zásadne odlišné kategórie: **formálne výpočtové systémy** a **štatistické modely**. LLM nie je Turingovo kompletný systém, nie je všeobecný výpočtový mechanizmus. To hovorí o tom, že LLM nemá podmienené vetvenie, neobmedzenú iteráciu alebo rekurziu, nemá prístup k neobmedzenej pamäti a nemá schopnosť udržiavať a meniť stav počas výpočtu. A teraz vzniká otázka, čo vlastne je LLM? LLM je konečná neurónová sieť s pevnými parametrami, vykonávajúca len jeden dopredný výpočet, mapuje konečný vstup na pravdepodobnosti ďalších tokenov a je obmedzená konečným kontextovým oknom.
LLM:
– nemá vlastnú pamäť mimo vstupu,
– nemá riadiaci tok,
– nemá rekurziu,
– nemá schopnosť pokračovať vo výpočte bez externého zásahu.
Z pohľadu teórie ide o „konečný stavový systém“, hoci extrémne kompexný.
To vedie k záveru:
– LLM nie je Turingovo kompletný systém aj keď LLM dokáže opísať alebo vygenerovať napr. Lisp kód, neznamená to, že tento algoritmus aj vykonáva. Opis výpočtu nie je výpočet. Stále je to len opis.
Preto som v mojom nedávnom blogu písal o dôležitosti jazyka Lisp v súvislosti s LLM, lebo Lisp umožňuje to čo LLM nevie. LLM v súčasnosti je len imitácia „inteligencie“. Práve preto sa to volá umelá inteligencia.
Podľa môjho názoru skutočným nástrojom na vytvorenie „inteligentného systému“ je Lisp. Lisp, jeho makrá dokážu meniť samotný jazyk, má mechanizmus, ktorým Lisp vykonáva kód, ktorý vznikol za behu programu.Lispový program môže generovať nový program, jazyk môže rásť bez potreby externého zásahu.
LLM z tohto nič nedokáže. A to je ten rozdiel.
Lisp je otvorený formálny systém, LLM je uzavretý model.
Mýtus 1.: LLM myslí. – Nie je to tak. LLM vykonáva jedinú operáciu: **štatistickú predpoveď ďalšieho tokenu** na základe vstupu. Neexistuje v ňom subjekt, cieľ ani prebiehajúci proces. To čo pôsobí ako myslenie, je len výsledok vysokej hustoty naučených vzorov.
Mýtus 2.: LLM je jazyk. – Nie je, lebo nemá presný syntax ako majú jazyky.
Mýtus 3.: LLM je všeobecná inteligencia. – Nie je, lebo nedokáže samostatne formulovať ciele, prenášať poznatky, učiť sa z vlastnej skúsenosti, meniť stratégiu riešenia problémov. To že LLM dokáže odpovedať na otázky z rôznych oblastí, neznamená všeobecnú „inteligenciu“.
LLM nie je všeobecná inteligencia, ale univerzálny aproximátor jazykových vzorov a nič viac.
Aký je rozdiel medzi Lispom a LLM?
– Lisp je výpočtový systém
– LLM je len nástroj na aproximáciu textu.
Z toho všetkého plynie konečný záver:
-LLM nie je a nemôže byť Turingovo kompletný systém. Lisp áno – a práve preto sa môže rozvýjať do nekonečna. Samozrejme, že aj jazyky ako Assembler, C, C++, Python a ďalšie iné sú Turingovo kompletné systémy. Ale Lisp je naozaj výnimočný jazyk, jazyk samotnej božej múdrosti.