ИБМ је деценијама био неприкосновени лидер у рачунарској индустрији. Чак и данас, иако не заузима доминантну улогу као некада, његово дело је и даље актуелно. Међутим, у случају вештачке интелигенције, улазак и излазак ИБМ-а је био прилично брз иако веома важан.
Педесетих година истраживања у овој дисциплини сматрана су саставним делом знања неопходних за изградњу бољих рачунара. Тако је ИБМ одлучио да да зелено светло развоју програма који би решавао теореме.
Улазак и излазак из ИБМ-а
видели смо у претходни чланци да су Симон и његов тим успели са програмом који је доказао математичке теореме. За ово су морали да направе нови програмски језик.
Изазов са којим се ИБМ суочио имао је додатни проблем. Да би компјутер доказао геометријску теорему, морао је да види фигуру. Веб камере и софтвер за обраду слика још нису били измишљени.
Тим изабран за задатак Био је то ИБМ 704. Сматран једним од првих суперкомпјутера на свету фБио је први који је укључио хардверски покретни зарез.
Операције са помичним зарезом укључују сабирање, одузимање, дељење, множење и израчунавање квадратног корена са веома великим или веома малим бројевима.
Такође је имао меморију са магнетним језгром која је била бржа од система магнетног бубња коришћеног у претходним моделима и била је способна да изврши четрдесет хиљада инструкција у секунди изражених у 36-битним инструкцијама.
Софтверу је требало три године да буде спреман јер његов менаџер, доктор физике по имену Херберт Геллентер, тМорао је да измисли нови програмски језик који је могао да манипулише симболима као што је ИПЛ, али је имао лакоћу програмирања Фортрана, развоја самог ИБМ-а за креирање апликација за научне прорачуне.
Програм добио информацију о геометријској фигури са којом је морао да ради у виду низа координата унетих у виду бушених карата а из познатих података изводио је међурезултате.
Софтвер је постао познат као Доказивач геометријских теорема (Геометри Проблем Провер) и на основу оних својстава које је могао да провери на цртежу успео је да реши теорему у два корака на двадесет пет различитих могућности када би, радећи то на слепо, морао да анализира милион.
Тестер геометријских проблема био је први који је користио технику познату као референцирање модела.. Осим ако нисте слетели на летећи тањир пре 5 минута, сигурно сте чули за један од најновијих резултата примене ове технике: ЦхатГПТ.
У области вештачке интелигенције Модел је приказ сложеног процеса из којег се могу извести закључци. У случају тестера, модел су биле координате геометријске фигуре, у случају ЦхатГПТ-а модел способан да обрађује људски језик.
Други ИБМ рачунари су радили мање озбиљне ствари попут учења дама или шаха. У првом случају, циљ је био да се види да ли је машина способна да научи о противничком начину игре. Коначно је успео да га победи тако да изгледа да јесте.
Рани успеси ИБМ-а такође су били узрок његовог напуштања ове области. Компјутери посвећени игрању шаха и дама били су веома успешни код штампе, али не толико међу акционарима компаније који су то сматрали бацањем новца.
Овоме морамо додати да маркетинг одељење компаније Приметио је да међу његовим потенцијалним клијентима расте неповерење према рачунарима. Међу онима који су били задужени за куповину постојао је страх да ће их њихова куповина на крају заменити.
Истраживање вештачке интелигенције је напуштено и нова маркетиншка стратегија је била да се компјутери окарактеришу као процесори података који раде само оно што им се каже.
Хоће ли се исто десити и са новим алатима који су сада толико у моди? Хоће ли им бити забрањен рад у компанијама из страха да ће на крају заузети највише позиције?
Мораћемо да сачекамо да видимо.