幾十年來，IBM 一直是計算行業無可爭議的領導者。 即使在今天，雖然它不再像過去那樣佔據主導地位，但他的工作仍然具有重要意義。 不過在人工智能方面，IBM的進退雖然很重要，但還是相當快的。
在五十年代，這門學科的研究被認為是構建更好的計算機所必需的知識的組成部分。 因此，IBM 決定為解決定理的程序的開發開綠燈。
進出 IBM
我們曾在 以前的文章 西蒙和他的團隊成功地完成了一個證明數學定理的程序。 為此，他們必須創建一種新的編程語言。
IBM 面臨的挑戰還有一個問題。 為了讓計算機證明幾何定理，它必須看到圖形。 當時還沒有發明能夠處理圖像的網絡攝像頭和軟件。
為任務選擇的團隊 它就是 IBM 704。被認為是世界上第一台超級計算機 f它是第一個結合硬件浮點的。
浮點運算包括非常大或非常小的數字的加法、減法、除法、乘法和平方根計算。
它還具有比以前型號中使用的磁鼓系統更快的磁芯存儲器，並且能夠每秒執行以 36 位指令表示的四萬條指令。
該軟件花了三年時間才准備就緒，因為它的經理是一位名叫 Herbert Gellenter 的物理學博士，t他不得不發明一種新的編程語言 它可以操縱像 IPL 這樣的符號，但可以輕鬆地進行 Fortran 編程，這是 IBM 自己為創建科學計算應用程序而開發的。
該計劃 收到有關幾何圖形的信息，以穿孔卡片形式輸入的一系列坐標形式 他正在從已知數據中推導出中間結果。
該軟件被稱為幾何定理證明器（幾何問題證明器），並基於它可以在繪圖中驗證的那些屬性 他設法用兩步定理解決了二十五種不同的可能性，而盲目地這樣做，他將不得不分析一百萬種可能性。
幾何問題測試儀是第一個使用稱為模型引用的技術的人。. 除非你在 5 分鐘前降落在飛碟上，否則你一定聽說過這項技術應用的最新成果之一：ChatGPT。
在人工智能領域 模型是可以進行推論的複雜過程的表示。 對於測試者，模型是幾何圖形的坐標，對於 ChatGPT，模型是能夠處理人類語言的模型。
其他 IBM 計算機正在做不太嚴肅的事情，比如學習西洋跳棋或國際象棋。 在第一種情況下，目標是查看機器是否能夠了解對手的比賽方式。 他終於設法打敗了他，所以看起來他做到了。
IBM早期的成功也是其放棄該領域的原因。 專用於下國際象棋和西洋跳棋的計算機在媒體上非常成功，但是 公司股東認為這是浪費金錢的人並不多。
為此，我們必須補充說，公司的營銷部門 他注意到在他的潛在客戶中，對計算機的不信任正在增加. 負責收購他們的人擔心他們的購買最終會取代他們。
人工智能研究被放棄，新的營銷策略是將計算機描述為數據處理器，只做被告知的事情。
現在如此流行的新工具會發生同樣的情況嗎？ 他們會不會因為擔心他們最終會佔據最高職位而被公司禁止？
我們將不得不等待看到它。