几十年来，IBM 一直是计算行业无可争议的领导者。 即使在今天，虽然它不再像过去那样占据主导地位，但他的工作仍然具有重要意义。 不过在人工智能方面，IBM的进退虽然很重要，但还是相当快的。
在五十年代，这门学科的研究被认为是构建更好的计算机所必需的知识的组成部分。 因此，IBM 决定为解决定理的程序的开发开绿灯。
进出 IBM
我们曾在 以前的文章 西蒙和他的团队成功地完成了一个证明数学定理的程序。 为此，他们必须创建一种新的编程语言。
IBM 面临的挑战还有一个问题。 为了让计算机证明几何定理，它必须看到图形。 当时还没有发明能够处理图像的网络摄像头和软件。
为任务选择的团队 它就是 IBM 704。被认为是世界上第一台超级计算机 f它是第一个结合硬件浮点的。
浮点运算包括非常大或非常小的数字的加法、减法、除法、乘法和平方根计算。
它还具有比以前型号中使用的磁鼓系统更快的磁芯存储器，并且能够每秒执行以 36 位指令表示的四万条指令。
该软件花了三年时间才准备就绪，因为它的经理是一位名叫 Herbert Gellenter 的物理学博士，t他不得不发明一种新的编程语言 它可以操纵像 IPL 这样的符号，但可以轻松地进行 Fortran 编程，这是 IBM 自己为创建科学计算应用程序而开发的。
该计划 收到有关几何图形的信息，以穿孔卡片形式输入的一系列坐标形式 他正在从已知数据中推导出中间结果。
该软件被称为几何定理证明器（几何问题证明器），并基于它可以在绘图中验证的那些属性 他设法用两步定理解决了二十五种不同的可能性，而盲目地这样做，他将不得不分析一百万种可能性。
几何问题测试仪是第一个使用称为模型引用的技术的人。. 除非你在 5 分钟前降落在飞碟上，否则你一定听说过这项技术应用的最新成果之一：ChatGPT。
在人工智能领域 模型是可以进行推论的复杂过程的表示。 对于测试者，模型是几何图形的坐标，对于 ChatGPT，模型是能够处理人类语言的模型。
其他 IBM 计算机正在做不太严肃的事情，比如学习西洋跳棋或国际象棋。 在第一种情况下，目标是查看机器是否能够了解对手的比赛方式。 他终于设法打败了他，所以看起来他做到了。
IBM早期的成功也是其放弃该领域的原因。 专用于下国际象棋和西洋跳棋的计算机在媒体上非常成功，但是 公司股东认为这是浪费金钱的人并不多。
为此，我们必须补充说，公司的营销部门 他注意到在他的潜在客户中，对计算机的不信任正在增加. 负责收购他们的人担心他们的购买最终会取代他们。
人工智能研究被放弃，新的营销策略是将计算机描述为数据处理器，只做被告知的事情。
现在如此流行的新工具会发生同样的情况吗？ 他们会不会因为担心他们最终会占据最高职位而被公司禁止？
我们将不得不等待看到它。