IBM je bil desetletja nesporen vodja računalniške industrije. Tudi danes, čeprav ne zaseda prevladujoče vloge kot nekoč, je njegovo delo še vedno aktualno. Vendar pa je bil v primeru umetne inteligence vstop in izstop IBM-a precej hiter, čeprav zelo pomemben.
V petdesetih letih so raziskave v tej disciplini veljale za sestavni del znanja, potrebnega za izdelavo boljših računalnikov. Zato se je IBM odločil prižgati zeleno luč za razvoj programa, ki bi reševal izreke.
Vhod in izstop iz IBM-a
smo videli v prejšnji članki da je Simonu in njegovi ekipi uspelo s programom, ki je dokazoval matematične izreke. Za to so morali ustvariti nov programski jezik.
Izziv, s katerim se je soočal IBM, je imel dodatno težavo. Da bi računalnik dokazal geometrijski izrek, je moral videti sliko. Spletne kamere in programska oprema za obdelavo slik še niso bile izumljene.
Ekipa, izbrana za nalogo To je bil IBM 704. Velja za enega prvih superračunalnikov na svetu fBil je prvi, ki je vključeval strojno plavajočo vejico.
Operacije s plavajočo vejico vključujejo seštevanje, odštevanje, deljenje, množenje in izračune kvadratnega korena z zelo velikimi ali zelo majhnimi števili.
Imel je tudi pomnilnik z magnetnim jedrom, ki je bil hitrejši od sistema magnetnega bobna, uporabljenega v prejšnjih modelih, in je bil sposoben izvajati štirideset tisoč navodil na sekundo, izraženih v 36-bitnih navodilih.
Programska oprema je bila pripravljena tri leta, saj je njen upravitelj, doktor fizike Herbert Gellenter, tIzumiti je moral nov programski jezik ki je lahko manipuliral s simboli, kot je IPL, vendar je imel enostavnost programiranja Fortran, razvoj samega IBM-a za ustvarjanje aplikacij za znanstvene izračune.
Program prejel informacije o geometrijskem liku, s katerim je moral delati, v obliki niza koordinat, vnesenih v obliki luknjanih kartic in je iz znanih podatkov sklepal vmesne rezultate.
Programska oprema je postala znana kot Geometry Theorem Prover (Geometry Problem Prover) in je temeljila na tistih lastnostih, ki jih je lahko preverila na risbi uspelo mu je rešiti izrek dveh korakov na petindvajset različnih možnosti, ko bi jih moral, če bi to počel na slepo, analizirati milijon.
Tester geometrijskih problemov je bil prvi, ki je uporabil tehniko, znano kot referenca modela.. Če niste pred 5 minutami pristali na letečem krožniku, ste zagotovo slišali za enega najnovejših rezultatov uporabe te tehnike: ChatGPT.
Na področju umetne inteligence Model je predstavitev kompleksnega procesa, iz katerega je mogoče sklepati. V primeru testerja so bile model koordinate geometrijskega lika, v primeru ChatGPT model, ki je sposoben obdelati človeški jezik.
Drugi IBM-ovi računalniki so počeli manj resne stvari, kot je učenje dama ali šaha. V prvem primeru je bil cilj ugotoviti, ali je stroj sposoben spoznati nasprotnikov način igranja. Končno mu ga je uspelo premagati, tako da je videti, da ga je.
Zgodnji uspehi IBM-a so bili tudi vzrok za opustitev tega področja. Računalniki, namenjeni igranju šaha in dame, so bili zelo uspešni pri tisku, vendar ne toliko med delničarji podjetja, ki so menili, da je to zapravljanje denarja.
K temu moramo dodati, da je marketinški oddelek podjetja Opazil je, da med njegovimi potencialnimi strankami narašča nezaupanje do računalnikov. Med odgovornimi za njihovo nabavo je obstajal strah, da jih bo njihov nakup na koncu zamenjal.
Raziskave na področju umetne inteligence so bile opuščene in nova tržna strategija je bila označiti računalnike kot procesorje podatkov, ki delajo samo tisto, kar jim je bilo naročeno.
Ali se bo enako zgodilo z novimi orodji, ki so zdaj tako v modi? Jih bodo zaradi strahu, da bodo na koncu zasedli najvišje položaje, izključili iz podjetij?
Bomo morali počakati, da ga vidimo.