На протяжении десятилетий IBM была бесспорным лидером компьютерной индустрии. Даже сегодня, хотя он и не занимает преобладающей роли, как когда-то, его творчество продолжает быть актуальным. Однако в случае искусственного интеллекта вход и выход IBM были довольно быстрыми, хотя и очень важными.
В пятидесятые годы исследования в этой области считались неотъемлемой частью знаний, необходимых для создания лучших компьютеров. Поэтому IBM решила дать добро на разработку программы для решения теорем.
Вход и выход из IBM
мы видели в предыдущие статьи что Саймону и его команде удалось разработать программу, доказывающую математические теоремы. Для этого им пришлось создать новый язык программирования.
Задача, стоящая перед IBM, заключалась в дополнительной проблеме. Чтобы компьютер доказал геометрическую теорему, он должен был увидеть фигуру. Веб-камеры и программное обеспечение, способное обрабатывать изображения, еще не были изобретены.
Команда, выбранная для задачи Это был IBM 704. Он считается одним из первых в мире суперкомпьютеров.Он был первым, кто использовал аппаратные средства с плавающей запятой.
Операции с плавающей запятой включают сложение, вычитание, деление, умножение и вычисление квадратного корня с очень большими или очень маленькими числами.
У него также была память на магнитном сердечнике, которая была быстрее, чем система магнитных барабанов, использовавшаяся в предыдущих моделях, и была способна выполнять сорок тысяч инструкций в секунду, выраженных в 36-битных инструкциях.
На разработку программного обеспечения ушло три года, так как его руководитель, доктор физики по имени Герберт Геллентер,Ему пришлось изобрести новый язык программирования который мог манипулировать символами, как IPL, но имел простоту программирования на Фортране, разработке самой IBM для создания приложений для научных вычислений.
Программа получил информацию о геометрической фигуре, с которой должен был работать в виде ряда координат, введенных в виде перфокарт и он выводил промежуточные результаты из известных данных.
Программное обеспечение стало известно как средство доказательства теорем геометрии (доказательство геометрических задач) и основано на тех свойствах, которые оно могло проверить на чертеже. ему удалось решить двухшаговую теорему для двадцати пяти различных возможностей, когда, делая это вслепую, ему пришлось бы анализировать миллион.
Тестер геометрических задач был первым, кто использовал технику, известную как привязка к модели.. Если вы не приземлились на летающую тарелку 5 минут назад, наверняка слышали об одном из последних результатов применения этой техники: ChatGPT.
В области искусственного интеллекта Модель представляет собой представление сложного процесса, из которого можно сделать выводы. В случае тестера моделью выступали координаты геометрической фигуры, в случае ChatGPT — моделью, способной обрабатывать человеческий язык.
Другие компьютеры IBM занимались менее серьезными делами, такими как изучение шашек или шахмат. В первом случае цель состояла в том, чтобы увидеть, способна ли машина узнать о манере игры своего противника. Ему, наконец, удалось победить его, так что похоже, что он это сделал.
Первые успехи IBM также стали причиной ухода компании из этой области. Компьютеры, предназначенные для игры в шахматы и шашки, имели большой успех у прессы, но не так много среди акционеров компании, которые считали это пустой тратой денег.
К этому надо добавить, что отдел маркетинга компании Он заметил, что среди его потенциальных клиентов растет недоверие к компьютерам.. Среди тех, кто отвечал за их приобретение, были опасения, что их покупка в конечном итоге заменит их.
Исследования в области искусственного интеллекта были прекращены, и новая маркетинговая стратегия заключалась в том, чтобы охарактеризовать компьютеры как процессоры данных, которые делают только то, что им говорят.
Произойдет ли то же самое с новыми инструментами, которые сейчас так популярны? Не запретят ли им работать в компаниях из-за страха, что они займут самые высокие посты?
Нам придется подождать, чтобы увидеть это.