IBM war jahrzehntelang der unbestrittene Marktführer der Computerindustrie. Sein Werk ist auch heute noch aktuell, obwohl es nicht mehr die vorherrschende Rolle einnimmt wie einst. Im Fall der künstlichen Intelligenz war der Ein- und Ausstieg von IBM jedoch ziemlich schnell, obwohl sehr wichtig.
In den fünfziger Jahren galt die Forschung in dieser Disziplin als integraler Bestandteil des Wissens, das notwendig ist, um bessere Computer zu bauen. Also beschloss IBM, der Entwicklung eines Programms zur Lösung von Theoremen grünes Licht zu geben.
Das In und Out von IBM
wir hatten reingeschaut früheren Artikeln dass Simon und seinem Team ein Programm gelang, das mathematische Theoreme bewies. Dafür mussten sie eine neue Programmiersprache erstellen.
Die Herausforderung für IBM hatte ein zusätzliches Problem. Damit der Computer ein geometrisches Theorem beweisen konnte, musste er die Figur sehen. Webkameras und Software zur Bildverarbeitung waren noch nicht erfunden.
Das für die Aufgabe ausgewählte Team Es war der IBM 704. Gilt als einer der ersten Supercomputer der Welt fEs war das erste, das Hardware-Gleitkommazahlen enthielt.
Gleitkommaoperationen umfassen Addition, Subtraktion, Division, Multiplikation und Quadratwurzelberechnungen mit sehr großen oder sehr kleinen Zahlen.
Es hatte auch einen Magnetkernspeicher, der schneller war als das in früheren Modellen verwendete Magnettrommelsystem und in der Lage war, vierzigtausend Anweisungen pro Sekunde auszuführen, ausgedrückt in 36-Bit-Anweisungen.
Es dauerte drei Jahre, bis die Software fertig war, da ihr Manager, ein Physiker namens Herbert Gellenter, tEr musste eine neue Programmiersprache erfinden die Symbole wie IPL manipulieren konnte, aber die Leichtigkeit hatte, Fortran zu programmieren, eine Entwicklung von IBM selbst für die Erstellung von Anwendungen für wissenschaftliche Berechnungen.
das Programm erhielt Informationen über die geometrische Figur, mit der es arbeiten musste, in Form einer Reihe von Koordinaten, die in Form von Lochkarten eingegeben wurden und er leitete Zwischenergebnisse aus den bekannten Daten ab.
Die Software wurde als Geometry Theorem Prover (Geometry Problem Prover) bekannt und basiert auf diesen Eigenschaften, die sie in der Zeichnung überprüfen konnte er schaffte es, ein zweistufiges Theorem auf fünfundzwanzig verschiedene Möglichkeiten zu lösen, wenn er blindlings eine Million analysieren müsste.
Der Geometry Problem Tester war der erste, der eine Technik verwendete, die als Modellreferenzierung bekannt ist.. Wenn Sie nicht vor 5 Minuten auf einer fliegenden Untertasse gelandet sind, haben Sie sicherlich von einem der neuesten Ergebnisse der Anwendung dieser Technik gehört: ChatGPT.
Im Bereich der künstlichen Intelligenz Ein Modell ist eine Darstellung eines komplexen Prozesses, aus dem Rückschlüsse gezogen werden können. Im Fall des Testers waren das Modell die Koordinaten der geometrischen Figur, im Fall von ChatGPT ein Modell, das die menschliche Sprache verarbeiten kann.
Andere IBM-Computer machten weniger ernsthafte Dinge wie das Erlernen von Dame oder Schach. Im ersten Fall ging es darum zu sehen, ob eine Maschine in der Lage ist, die Spielweise ihres Gegners zu lernen. Er hat es endlich geschafft, ihn zu schlagen, also sieht es so aus, als hätte er es getan.
Die frühen Erfolge von IBM waren auch der Grund für die Aufgabe dieses Bereichs. Computer, die dem Schach- und Damespiel gewidmet sind, waren bei der Presse sehr erfolgreich, aber nicht so sehr bei den Aktionären des Unternehmens, die es als Geldverschwendung betrachteten.
Dazu müssen wir hinzufügen, dass die Marketingabteilung des Unternehmens Er bemerkte, dass bei seinen potenziellen Kunden das Misstrauen gegenüber Computern zunahm. Die für den Erwerb Verantwortlichen befürchteten, dass ihr Kauf sie am Ende ersetzen würde.
Die Forschung im Bereich der künstlichen Intelligenz wurde aufgegeben und die neue Marketingstrategie bestand darin, Computer als Datenverarbeiter zu charakterisieren, die nur das taten, was ihnen gesagt wurde.
Wird das gleiche mit den neuen Tools passieren, die jetzt so im Trend sind? Werden sie aus Angst, die höchsten Positionen zu besetzen, aus Unternehmen verbannt?
Wir müssen warten, um es zu sehen.