Pád a vzkriesenie LISP strojov: lekcia z minulosti

Video od Asianometryho sa ponorilo do fascinujúcej, no nakoniec aj tragickej histórie LISP strojov – špecializovaného hardvéru navrhnutého pre umelú inteligenciu v 80. rokoch. Od ambiciózneho začiatku s pionierskymi výskumníkmi ako Johnom McCarthy a Allenom Newellom, cez boom expert systémov financovaný DARPA, až po nakoniec neúspešný boj proti lacnejším a výkonnejším Unix pracovným staniciam, príbeh LISP strojov je poučná lekcia o technologickej inovácii, trhovej dynamike a dôležitosti adaptácie. Video odhaľuje nielen technické detaily týchto unikátnych počítačov, ale aj ľudské príbehy za nimi – rivalitu medzi Richardom Greenblattom a Russellom Noftskerom, vnútorne rozdiely v Symbolics a LMI, ktoré ich nakoniec zničili.

Kľúčové Poznámky

• Symbolický AI: Prvé pokusy o umelú inteligenciu sa sústredili na symbolickú AI – manipuláciu s internými symbolmi reprezentujúcimi svet.
• LISP a IPL: John McCarthy vytvoril LISP, prvý programovací jazyk špeciálne navrhnutý pre symbolické výpočty, inšpirovaný predchádzajúcim jazykom IPL.
• DARPA a financovanie AI: Vláda USA investovala značné prostriedky do AI výskumu cez DARPA, čo viedlo k rozmachu LISP strojov.
• Expert Systémy a Boom 80-tych rokov: Hype okolo expert systémov (pravidlových AI) prispel k krátkodobému boomu na trhu s AI hardvérom.
• Konkurencia Unix pracovných staníc: Nízka cena a výkon Unix pracovných staníc od spoločností ako Sun Microsystems a Apollo Computer nakoniec zničili trh s LISP strojmi.
• Trvalé dedičstvo LISP: Napriek komerčnému neúspechu zostáva LISP vplyvný programovací jazyk, a Genera OS je stále dostupný a funguje na modernom hardvére.

Symbolický Začiatok: IPL, LISP a Prvé AI Mašiny

Príbeh začína v 50. rokoch s pionierskou prácou Johna McCarthyho, Allena Newella a Herberta Simona, ktorí sa snažili vytvoriť stroje schopné myslieť. McCarthy je považovaný za otca umelej inteligencie, keďže práve on po prvýkrát použil termín "Artificial Intelligence" na konferencii v Darmouthe v roku 1956. Ich prvá myšlienka bola vytvoriť programovací jazyk, ktorý by bol vhodný pre symbolické výpočty – a tak vznikol IPL (Indiana Programming Language). Neskôr McCarthy vyvinul LISP (List Processor), ktorý sa stal prvým implementovaním konceptu spracovania zoznamov. LISP vynikal svojou jednoduchosťou, schopnosťou považovať kód za dáta (meta-programovanie) a dynamickým typovaním – vlastnosti, ktoré ho robili ideálnym pre experimenty s AI.

DARPA a Rýchly Rozvoj: Kons Projekt a CADR

Vláda USA, cez DARPA, rýchlo pochopila potenciál umelej inteligencie a začala investovať do výskumu. Tieto investície viedli k vzniku špecializovaného hardvéru pre LISP – najprv projektu CONS (Common On-line System) a neskôr CADR (Computer Aided Design and Robotics). Richard Greenblatt, ktorý stál za týmito projektmi, sa snažil vytvoriť počítač optimalizovaný práve pre LISP. CADR predstavoval výrazné zlepšenie oproti CONS, s mikroprogramovanými kontrolami typov a real-time garbage collection – technológiami, ktoré boli v tom čase revolučné.

Rozkol a Konkurencia: Symbolics vs. LMI

Príbeh však nebol len o technologickom pokroku. Rozdiely v obchodnej stratégii medzi Richardom Greenblattom (ktorý založil LISP Machines Inc - LMI) a Russellom Noftskerom (Symbolics Inc.) viedli k rozkolu a vzniku konkurenčných spoločností. Obe firmy sa snažili komercializovať LISP stroje, pričom Symbolics získal rozsiahlejšie venture capital financovanie. Na začiatku ponúkali podobné produkty – LM-2 a LMI-Lambda – bežiacich na rovnakom jadre LISP softvéru.

Boom Expert Systémov a Japonská Výzva

80. roky priniesli boom expert systémov, pravidlových AI, ktoré mali napodobňovať ľudských odborníkov. PROSPECTOR, geologický expert systém vyvinutý SRI International (tiež tvorcov Siri), úspešne identifikoval ložisko molybdenu v Washingtone, čo demonštrovalo komerčný potenciál AI. DARPA zvýšila financovanie a Japonsko spustilo ambiciózny projekt Fifth Generation Computer Systems, ktorý mal využívať paralelné hardvéry a programy PROLOG (namiesto LISP). Toto vyvolalo obavy v USA o technologickú nadvládu.

Zánik: Unix Workstations a Vnútorne Rozdiely

Napriek úspechom sa trh s LISP strojmi začal rúcať. Unix pracovné stanice od spoločností ako Sun Microsystems a Apollo Computer ponúkali porovnateľný výkon za oveľa nižšiu cenu. Symbolics, ktorý dosiahol vrchol v roku 1985 s príjmami 114 miliónov dolárov, sa potýkal s vnútornými rozdeleniami ohľadom stratégie – mala spoločnosť pokračovať vo vývoji AI čipov alebo sa zamerať na grafiku? Tieto problémy viedli k prepúšťaniu a nakoniec aj k bankrotu v roku 1993.

Dedičstvo LISP: Programovací Jazyk, ktorý Prežil

Napriek komerčnému neúspechu zostáva LISP dôležitým programovacím jazykom s vernou základňou fanúšikov. Genera OS vyvinutý Symbolics bol neskôr otvorený a môže byť spustený na modernom hardvére. Bývalí používatelia LISP strojov si stále chvália ich ako "najlepšie vývojové prostredie vôbec vynájdené", pričom zdôrazňujú ich jedinečné schopnosti. Početné emulátory, hobby projekty a zachované dokumenty svedčia o trvalej hodnote tohto kultového hardvéru.

Odporúčania a Zamyslenia

Príbeh LISP strojov je pripomienkou toho, že technologická inovácia nie je len o vynálezoch, ale aj o schopnosti prispôsobiť sa meniacim sa trhovým podmienkam. Aj najlepšie technológie môžu zlyhať, ak nevedia konkurovať lacnejším a výkonnejším alternatívam. Zároveň je však dôležité si uvedomiť, že aj keď komerčný úspech nie je vždy garantovaný, vplyv a dedičstvo určitej technológie môžu pretrvávať po celé desaťročia. LISP zostáva inšpiráciou pre programátorov a pripomína nám dôležitosť experimentovania a hľadania nových riešení.

Dôležité odkazy:

• Patreon (podpora kanála priamo!):
• X (Twitter):
• Bluesky:
• Newsletter & Podcast (dostupné cez Stratechery Plus):

Približne 131 gCO₂ bolo uvoľnených do atmosféry a na chladenie sa spotrebovalo 0.66 l vody za účelom vygenerovania tohoto článku.