Po desetiletí byla IBM nesporným lídrem v počítačovém průmyslu. I dnes, i když nezaujímá převažující roli jako kdysi, je jeho dílo stále aktuální. Nicméně v případě umělé inteligence byl vstup a výstup IBM poměrně rychlý, i když velmi důležitý.
V padesátých letech byl výzkum v této disciplíně považován za nedílnou součást znalostí nezbytných pro stavbu lepších počítačů. IBM se tedy rozhodlo dát zelenou vývoji programu, který by řešil teorémy.
Vstup a výstup IBM
viděli jsme v předchozí články že Simon a jeho tým uspěli s programem, který dokázal matematické teorémy. Za tímto účelem museli vytvořit nový programovací jazyk.
Výzva, před kterou IBM stála, měla další problém. Aby počítač dokázal geometrickou větu, musel vidět obrazec. Webové kamery a software schopný zpracovávat obrázky ještě nebyly vynalezeny.
Tým vybraný pro daný úkol Byl to IBM 704. Považován za jeden z prvních superpočítačů na světěByl první, který začlenil hardware s pohyblivou řádovou čárkou.
Operace s pohyblivou řádovou čárkou zahrnují sčítání, odčítání, dělení, násobení a výpočty druhé odmocniny s velmi velkými nebo velmi malými čísly.
Měl také paměť magnetického jádra, která byla rychlejší než systém magnetického bubnu používaný v předchozích modelech a byla schopna provádět čtyřicet tisíc instrukcí za sekundu vyjádřených v 36bitových instrukcích.
Software trvalo tři roky, než byl připraven jako jeho manažer, lékař fyziky jménem Herbert Gellenter, tMusel vymyslet nový programovací jazyk který mohl manipulovat se symboly jako IPL, ale měl snadné programování Fortran, což je vývoj od IBM pro vytváření aplikací pro vědecké výpočty.
Program obdržel informace o geometrickém obrazci, se kterým měl pracovat, ve formě řady souřadnic zadaných ve formě děrných štítků a ze známých dat vyvozoval mezivýsledky.
Software se stal známým jako Geometry Theorem Prover (Geometry Problem Prover) a na základě těch vlastností, které mohl ověřit ve výkresu podařilo se mu vyřešit dvoukrokovou větu na dvacet pět různých možností, když by to dělal naslepo, musel by analyzovat milion.
Tester problémů s geometrií byl první, který použil techniku známou jako modelové odkazování.. Pokud jste před 5 minutami nepřistáli na létajícím talíři, jistě jste slyšeli o jednom z nejnovějších výsledků aplikace této techniky: ChatGPT.
V oblasti umělé inteligence Model je reprezentace komplexního procesu, ze kterého lze vyvozovat závěry. V případě testeru byly modelem souřadnice geometrického obrazce, v případě ChatGPT model schopný zpracovat lidskou řeč.
Jiné počítače IBM dělaly méně závažné věci, jako je učení dáma nebo šachy. V prvním případě bylo cílem zjistit, zda je stroj schopen dozvědět se o způsobu hry svého soupeře. Nakonec se mu ho podařilo porazit, takže to vypadá, že ano.
Počáteční úspěchy IBM byly také příčinou jejího opuštění tohoto oboru. Počítače věnované hraní šachů a dámě byly u tisku velmi úspěšné, ale ne tak mezi akcionáři společnosti, kteří to považovali za vyhozené peníze.
K tomu musíme dodat, že marketingové oddělení společnosti Všiml si, že mezi jeho potenciálními klienty roste nedůvěra k počítačům. Mezi těmi, kdo měli na starosti jejich pořízení, panoval strach, že jejich nákup skončí jejich nahrazením.
Výzkum v oblasti umělé inteligence byl opuštěn a novou marketingovou strategií bylo charakterizovat počítače jako datové procesory, které dělají pouze to, co jim bylo řečeno.
Stane se totéž s novými nástroji, které jsou nyní tak v módě? Dostanou zákaz vstupu do firem ze strachu, že skončí na nejvyšších pozicích?
Na to si budeme muset počkat.