Desetljećima je IBM bio neprikosnoveni lider računalne industrije. Čak i danas, iako ne zauzima dominantnu ulogu kao nekoć, njegovo je djelo i dalje relevantno. Međutim, u slučaju umjetne inteligencije, ulazak i izlazak IBM-a bio je prilično brz, iako vrlo važan.
Pedesetih godina istraživanja u ovoj disciplini smatrana su sastavnim dijelom znanja potrebnog za izgradnju boljih računala. Stoga je IBM odlučio dati zeleno svjetlo za razvoj programa koji bi rješavao teoreme.
Ulazak i izlazak iz IBM-a
vidjeli smo u prethodni članci da su Simon i njegov tim uspjeli s programom koji je dokazivao matematičke teoreme. Za to su morali stvoriti novi programski jezik.
Izazov s kojim se IBM suočavao imao je i dodatni problem. Da bi računalo dokazalo geometrijski teorem, moralo je vidjeti lik. Web kamere i softver koji može obraditi slike još nisu bili izumljeni.
Tim odabran za zadatak Bio je to IBM 704. Smatran jednim od prvih svjetskih superračunala fBio je prvi koji je uključio hardverski pokretni zarez.
Operacije s pomičnim zarezom uključuju zbrajanje, oduzimanje, dijeljenje, množenje i izračunavanje kvadratnog korijena s vrlo velikim ili vrlo malim brojevima.
Također je imao memoriju magnetske jezgre koja je bila brža od sustava magnetskog bubnja korištenog u prethodnim modelima i bila je sposobna izvršiti četrdeset tisuća instrukcija u sekundi izraženih u 36-bitnim instrukcijama.
Softveru su trebale tri godine da bude spreman jer je njegov upravitelj, doktor fizike po imenu Herbert Gellenter, tMorao je izmisliti novi programski jezik koji je mogao manipulirati simbolima poput IPL-a, ali je imao lakoću programiranja Fortran-a, razvoja samog IBM-a za stvaranje aplikacija za znanstveno izračunavanje.
Program dobivao informacije o geometrijskom liku s kojim je morao raditi u obliku niza koordinata unesenih u obliku bušenih kartica a iz poznatih podataka izvodio je međurezultate.
Softver je postao poznat kao Geometry Theorem Prover (Geometry Problem Prover) i na temelju tih svojstava koja je mogao provjeriti na crtežu uspio je riješiti teorem u dva koraka za dvadeset i pet različitih mogućnosti kada bi, radeći to naslijepo, morao analizirati milijun.
Tester geometrijskih problema prvi je koristio tehniku poznatu kao referenciranje modela.. Osim ako prije 5 minuta niste sletjeli na leteći tanjur, sigurno ste čuli za jedan od najnovijih rezultata primjene ove tehnike: ChatGPT.
U području umjetne 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 za obradu ljudskog jezika.
Druga IBM-ova računala radila su manje ozbiljne stvari poput učenja dame ili šaha. U prvom slučaju, cilj je bio vidjeti je li stroj sposoban naučiti o protivničkom načinu igre. Napokon ga je uspio pobijediti pa izgleda da jest.
Rani uspjesi IBM-a također su bili uzrok njegovog napuštanja ovog područja. Računala posvećena igranju šaha i dame bila su vrlo uspješna u tisku, ali ne toliko među dioničarima tvrtke koji su to smatrali bacanjem novca.
Ovome moramo dodati da marketinški odjel poduzeća Primijetio je da među njegovim potencijalnim klijentima raste nepovjerenje prema računalima. Postojao je strah među onima koji su ih nabavili da će ih njihova kupnja na kraju zamijeniti.
Istraživanje umjetne inteligencije je napušteno i nova marketinška strategija bila je okarakterizirati računala kao procesore podataka koji rade samo ono što im se kaže.
Hoće li se isto dogoditi s novim alatima koji su sada toliko u modi? Hoće li im biti zabranjen rad u tvrtkama zbog straha da će završiti na najvišim pozicijama?
Morat ćemo pričekati da to vidimo.