Decennia lang was IBM de onbetwiste leider van de computerindustrie. Zelfs vandaag de dag, hoewel het niet de overheersende rol inneemt die het ooit deed, blijft zijn werk relevant. In het geval van kunstmatige intelligentie was de in- en uitstap van IBM echter vrij snel, hoewel erg belangrijk.
In de jaren vijftig werd onderzoek in deze discipline beschouwd als een integraal onderdeel van de kennis die nodig is om betere computers te bouwen. Dus besloot IBM groen licht te geven voor de ontwikkeling van een programma dat stellingen zou oplossen.
Het in en uit van IBM
we hadden gezien eerdere artikelen dat Simon en zijn team slaagden met een programma dat wiskundige stellingen bewees. Hiervoor moesten ze een nieuwe programmeertaal maken.
De uitdaging waar IBM voor stond had nog een ander probleem. Om de computer een meetkundige stelling te laten bewijzen, moest hij de figuur zien. Webcamera's en software die beelden kan verwerken, waren nog niet uitgevonden.
Het team dat voor de taak is gekozen Het was de IBM 704. Beschouwd als een van 's werelds eerste supercomputers fHet was de eerste die hardware drijvende komma opnam.
Drijvende-kommabewerkingen omvatten optellen, aftrekken, delen, vermenigvuldigen en vierkantswortelberekeningen met zeer grote of zeer kleine getallen.
Het had ook een magnetisch kerngeheugen dat sneller was dan het magnetische drumsysteem dat in eerdere modellen werd gebruikt en was in staat om veertigduizend instructies per seconde uit te voeren, uitgedrukt in 36-bits instructies.
De software had drie jaar nodig om klaar te zijn toen de manager, een natuurkundige arts genaamd Herbert Gellenter, tHij moest een nieuwe programmeertaal uitvinden die symbolen zoals IPL kon manipuleren, maar die het gemak had van het programmeren van Fortran, een ontwikkeling door IBM zelf voor het maken van toepassingen voor wetenschappelijke berekeningen.
Het programma kreeg informatie over de geometrische figuur waarmee het moest werken in de vorm van een reeks coördinaten ingevoerd in de vorm van ponskaarten en hij leidde tussenresultaten af uit de bekende gegevens.
De software werd bekend als de Geometry Theorem Prover (Geometry Problems Prover) en op basis van die eigenschappen die het in de tekening kon verifiëren hij slaagde erin een tweestapsstelling tot vijfentwintig verschillende mogelijkheden op te lossen, terwijl hij blindelings een miljoen zou moeten analyseren.
De geometrieprobleemtester was de eerste die een techniek gebruikte die bekend staat als modelreferentie.. Tenzij je 5 minuten geleden op een vliegende schotel bent geland, heb je vast wel gehoord van een van de nieuwste resultaten van de toepassing van deze techniek: ChatGPT.
Op het gebied van kunstmatige intelligentie Een model is een weergave van een complex proces waaruit conclusies kunnen worden getrokken. In het geval van de tester was het model de coördinaten van de geometrische figuur, in het geval van ChatGPT een model dat menselijke taal kan verwerken.
Andere IBM-computers deden minder serieuze dingen, zoals leren dammen of schaken. In het eerste geval was het doel om te zien of een machine in staat was om de manier van spelen van zijn tegenstander te leren kennen. Hij slaagde er uiteindelijk in hem te verslaan, dus het lijkt erop dat hij dat deed.
De vroege successen van IBM waren ook de oorzaak van het verlaten van dit veld. Computers voor schaken en dammen waren zeer succesvol bij de pers, maar niet zozeer bij de aandeelhouders van het bedrijf die het weggegooid geld vonden.
Hieraan moeten we toevoegen dat de marketingafdeling van het bedrijf Hij merkte dat bij zijn potentiële klanten het wantrouwen jegens computers toenam. Er was angst onder degenen die verantwoordelijk waren voor de aanschaf ervan dat hun aankoop ze uiteindelijk zou vervangen.
Onderzoek naar kunstmatige intelligentie werd stopgezet en de nieuwe marketingstrategie was om computers te karakteriseren als gegevensverwerkers die alleen deden wat hen werd opgedragen.
Zal hetzelfde gebeuren met de nieuwe tools die nu zo in zwang zijn? Zullen ze uit bedrijven worden geweerd uit angst dat ze uiteindelijk de hoogste functies bekleden?
We zullen moeten wachten om het te zien.