Влизането и излизането от IBM. Кратка история на изкуствения интелект 7

IBM разработи първата програма за доказване на геометрична теорема.

Десетилетия наред IBM беше безспорен лидер в компютърната индустрия. Дори днес, въпреки че не заема преобладаващата роля, както някога, работата му продължава да бъде актуална. Въпреки това, в случая с изкуствения интелект, навлизането и излизането на IBM беше доста бързо, макар и много важно.

През петдесетте години изследванията в тази дисциплина се считат за неразделна част от знанията, необходими за изграждането на по-добри компютри. Затова IBM реши да даде зелена светлина за разработването на програма, която да решава теореми.

Влизането и излизането от IBM

бяхме виждали в предишни статии че Саймън и неговият екип са успели с програма, която доказва математически теореми. За целта те трябваше да създадат нов език за програмиране.

Предизвикателството пред IBM имаше допълнителен проблем. За да може компютърът да докаже геометрична теорема, той трябваше да види фигурата. Уеб камерите и софтуерът, способен да обработва изображения, все още не са били изобретени.

Екипът, избран за задачата Това беше IBM 704. Считан за един от първите суперкомпютри в света fТой беше първият, който включи хардуерна плаваща запетая.

Операциите с плаваща запетая включват събиране, изваждане, деление, умножение и изчисления на квадратен корен с много големи или много малки числа.

Освен това имаше памет с магнитна сърцевина, която беше по-бърза от системата с магнитен барабан, използвана в предишните модели, и беше способна да изпълнява четиридесет хиляди инструкции в секунда, изразени в 36-битови инструкции.

Софтуерът отне три години, за да бъде готов, тъй като неговият мениджър, доктор по физика на име Хърбърт Гелентър, tТрябваше да изобрети нов език за програмиране който можеше да манипулира символи като IPL, но имаше лекотата на програмиране на Fortran, разработка на самата IBM за създаване на приложения за научни изчисления.

Програмата получи информация за геометричната фигура, с която трябваше да работи, под формата на поредица от координати, въведени под формата на перфокарти и той извеждаше междинни резултати от известните данни.

Софтуерът стана известен като Geometry Theorem Prover (Geometry Problem Prover) и въз основа на онези свойства, които можеше да провери в чертежа той успя да реши теорема от две стъпки за двадесет и пет различни възможности, когато, правейки го на сляпо, трябваше да анализира милион.

Тестерът за геометрични проблеми беше първият, който използва техника, известна като препратка към модел.. Освен ако не сте кацнали на летяща чиния преди 5 минути, със сигурност сте чували за един от последните резултати от прилагането на тази техника: ChatGPT.

В областта на изкуствения интелект Моделът е представяне на сложен процес, от който могат да се направят изводи. В случая на тестера моделът беше координатите на геометричната фигура, в случая на ChatGPT модел, способен да обработва човешки език.

Други компютри на IBM правеха по-малко сериозни неща като учене на дама или шах. В първия случай целта беше да се види дали машината е в състояние да научи за начина на игра на опонента си. Най-накрая успя да го победи, така че изглежда така.

Ранните успехи на IBM също бяха причина за изоставянето на тази област. Компютрите, предназначени за игра на шах и дама, бяха много успешни с пресата, но не толкова сред акционерите на компанията, които го смятаха за загуба на пари.

Към това трябва да добавим, че маркетинговият отдел на компанията Той забеляза, че сред потенциалните му клиенти нараства недоверието към компютрите. Имаше страх сред отговорните за придобиването им, че покупката им в крайна сметка ще ги замени.

Изследванията в областта на изкуствения интелект бяха изоставени и новата маркетингова стратегия беше да се характеризират компютрите като процесори за данни, които правят само това, което им се каже.

Ще се случи ли същото с новите инструменти, които сега са толкова на мода? Ще бъдат ли забранени от компании от страх, че в крайна сметка ще заемат най-високите позиции?

Ще трябва да почакаме, за да го видим.


Бъдете първите, които коментират

Оставете вашия коментар

Вашият имейл адрес няма да бъде публикуван. Задължителните полета са отбелязани с *

*

*

  1. Отговорник за данните: AB Internet Networks 2008 SL
  2. Предназначение на данните: Контрол на СПАМ, управление на коментари.
  3. Легитимация: Вашето съгласие
  4. Съобщаване на данните: Данните няма да бъдат съобщени на трети страни, освен по законово задължение.
  5. Съхранение на данни: База данни, хоствана от Occentus Networks (ЕС)
  6. Права: По всяко време можете да ограничите, възстановите и изтриете информацията си.