Протягом десятиліть IBM була беззаперечним лідером обчислювальної індустрії. Навіть сьогодні, хоч і не займає такої переважної ролі, як колись, його творчість продовжує бути актуальною. Однак у випадку зі штучним інтелектом вихід і вихід IBM був досить швидким, хоча й дуже важливим.
У п'ятдесяті роки дослідження в цій дисципліні вважалися невід'ємною частиною знань, необхідних для створення кращих комп'ютерів. Тому IBM вирішила дати зелене світло розробці програми, яка розв’язувала б теореми.
Вхід і вихід з IBM
ми бачили в попередні статті що Саймон і його команда досягли успіху з програмою, яка довела математичні теореми. Для цього їм довелося створити нову мову програмування.
Виклик, що стояв перед IBM, мав додаткову проблему. Щоб комп’ютер міг довести геометричну теорему, він мав побачити фігуру. Веб-камери та програмне забезпечення, здатне обробляти зображення, ще не були винайдені.
Команда, обрана для виконання завдання Це був IBM 704. Вважається одним із перших у світі суперкомп’ютерів fВін був першим, хто включив апаратне обчислення з плаваючою комою.
Операції з плаваючою комою включають додавання, віднімання, ділення, множення та обчислення квадратного кореня з дуже великими або дуже малими числами.
Він також мав пам’ять на магнітному сердечнику, яка була швидшою, ніж система магнітного барабана, що використовувалася в попередніх моделях, і була здатна виконувати сорок тисяч інструкцій за секунду, виражених у 36-бітних інструкціях.
Програмне забезпечення знадобилося три роки, щоб бути готовим, оскільки його менеджер, доктор фізики на ім'я Герберт Геллентер, tЙому довелося винайти нову мову програмування який міг маніпулювати символами, як IPL, але мав легкість програмування Fortran, розробки самої IBM для створення програм для наукових розрахунків.
Програма отримав інформацію про геометричну фігуру, з якою йому довелося працювати, у вигляді ряду координат, введених у вигляді перфокарт і він виводив проміжні результати з відомих даних.
Програмне забезпечення стало відомим як Geometry Theorem Prover (Geometry Problem Prover) і засноване на тих властивостях, які воно могло перевірити на кресленні йому вдалося розв’язати теорему про два кроки для двадцяти п’яти різних можливостей, тоді як, роблячи це наосліп, йому довелося б проаналізувати мільйон.
Тестер геометричних задач був першим, хто використав техніку, відому як посилання на модель.. Якщо ви не приземлилися на літаючу тарілку 5 хвилин тому, напевно ви чули про один з останніх результатів застосування цієї техніки: ChatGPT.
У сфері штучного інтелекту Модель — це зображення складного процесу, з якого можна зробити висновки. У випадку з тестером моделлю були координати геометричної фігури, у випадку з ChatGPT — моделлю, здатною обробляти людську мову.
Інші комп’ютери IBM виконували менш серйозні речі, наприклад, вивчали шашки чи шахи. У першому випадку мета полягала в тому, щоб побачити, чи здатна машина дізнатися про манеру гри свого опонента. Йому нарешті вдалося перемогти його, тому, схоже, він це зробив.
Ранні успіхи IBM також стали причиною відмови від цієї галузі. Комп’ютери, призначені для гри в шахи та шашки, мали великий успіх у пресі, але не стільки серед акціонерів компанії, які вважали це марною тратою грошей.
До цього слід додати, що відділ маркетингу компанії Він зауважив, що серед його потенційних клієнтів зростає недовіра до комп'ютерів. Серед тих, хто відповідав за їх придбання, був страх, що їхня покупка в кінцевому підсумку замінить їх.
Дослідження в галузі штучного інтелекту було припинено, і нова маркетингова стратегія полягала в тому, щоб охарактеризувати комп’ютери як процесори даних, які виконують лише те, що їм наказують.
Чи станеться те саме з новими інструментами, які зараз такі в моді? Чи будуть їх виключати з компаній через побоювання, що вони займуть найвищі посади?
Нам доведеться почекати, щоб побачити це.