IBM je decenijama bio neprikosnoveni lider u računarskoj industriji. Čak i danas, iako ne zauzima dominantnu ulogu koju je nekada imao, njegov rad je i dalje aktuelan. Međutim, u slučaju umjetne inteligencije, ulazak i izlazak IBM-a je bio prilično brz, iako vrlo važan.
Pedesetih godina, istraživanja u ovoj disciplini smatrana su sastavnim dijelom znanja neophodnih za izgradnju boljih računara. Stoga je IBM odlučio dati zeleno svjetlo razvoju programa koji bi rješavao teoreme.
Ulazak i izlazak iz IBM-a
videli smo unutra prethodni članci da su Simon i njegov tim uspjeli s programom koji je dokazao matematičke teoreme. Za to su morali kreirati novi programski jezik.
Izazov s kojim se IBM suočio imao je dodatni problem. Da bi kompjuter dokazao geometrijsku teoremu, morao je vidjeti figuru. Web kamere i softver za obradu slika još nisu bili izmišljeni.
Tim izabran za zadatak Bio je to IBM 704. Smatran jednim od prvih superkompjutera na svijetu fBio je prvi koji je uključio hardverski pokretni zarez.
Operacije s pomičnim zarezom uključuju sabiranje, oduzimanje, dijeljenje, množenje i izračunavanje kvadratnog korijena s vrlo velikim ili vrlo malim brojevima.
Takođe je imao memoriju sa magnetnim jezgrom koja je bila brža od sistema magnetnog bubnja korišćenog u prethodnim modelima i bila je sposobna da izvrši četrdeset hiljada instrukcija u sekundi izraženih u 36-bitnim instrukcijama.
Softveru je trebalo tri godine da bude spreman jer njegov menadžer, doktor fizike po imenu Herbert Gellenter, tMorao je da izmisli novi programski jezik koji je mogao manipulirati simbolima poput IPL-a, ali je imao lakoću programiranja Fortrana, razvoja samog IBM-a za kreiranje aplikacija za naučne proračune.
Program dobio informaciju o geometrijskoj figuri s kojom je morao raditi u obliku niza koordinata upisanih u obliku bušenih kartica a on je izvodio međurezultate iz poznatih podataka.
Softver je postao poznat kao Geometry Theorem Prover (Geometry Problem Prover) i na osnovu onih svojstava koje je mogao provjeriti na crtežu uspeo je da reši teoremu u dva koraka na dvadeset pet različitih mogućnosti kada bi, radeći to na slepo, morao da analizira milion.
Tester geometrijskih problema bio je prvi koji je koristio tehniku poznatu kao referenciranje modela.. Osim ako niste sletjeli na leteći tanjir prije 5 minuta, sigurno ste čuli za jedan od najnovijih rezultata primjene ove tehnike: ChatGPT.
U oblasti veštačke inteligencije Model je prikaz složenog procesa iz kojeg se mogu izvesti zaključci. U slučaju testera, model su bile koordinate geometrijske figure, u slučaju ChatGPT-a model sposoban da obrađuje ljudski jezik.
Drugi IBM računari radili su manje ozbiljne stvari poput učenja dama ili šaha. U prvom slučaju, cilj je bio vidjeti da li je mašina sposobna naučiti o protivničkom načinu igre. Konačno ga je uspio pobijediti pa izgleda da jeste.
Rani uspjesi IBM-a također su bili uzrok njegovog napuštanja ove oblasti. Kompjuteri posvećeni igranju šaha i dama bili su veoma uspešni kod štampe, ali ne toliko među dioničarima kompanije koji su to smatrali bacanjem novca.
Ovome moramo dodati da je marketing odjel kompanije Primijetio je da među njegovim potencijalnim klijentima raste nepovjerenje prema kompjuterima. Među onima koji su bili zaduženi za njihovu nabavku postojao je strah da će ih njihova kupovina na kraju zamijeniti.
Istraživanje umjetne inteligencije je napušteno i nova marketinška strategija je bila da se kompjuteri okarakterišu kao procesori podataka koji rade samo ono što im se kaže.
Hoće li se isto dogoditi i sa novim alatima koji su sada toliko u modi? Hoće li im biti zabranjen rad u kompanijama zbog straha da će na kraju zauzeti najviše pozicije?
Moraćemo da sačekamo da vidimo.