Για δεκαετίες, η IBM ήταν ο αδιαμφισβήτητος ηγέτης του κλάδου των υπολογιστών. Ακόμη και σήμερα, αν και δεν κατέχει τον κυρίαρχο ρόλο που είχε κάποτε, το έργο του συνεχίζει να είναι επίκαιρο. Ωστόσο, στην περίπτωση της Τεχνητής Νοημοσύνης, η είσοδος και η έξοδος της IBM ήταν αρκετά γρήγορη αν και πολύ σημαντική.
Στη δεκαετία του 'XNUMX, η έρευνα σε αυτόν τον κλάδο θεωρούνταν αναπόσπαστο μέρος της γνώσης που ήταν απαραίτητη για την κατασκευή καλύτερων υπολογιστών. Έτσι η IBM αποφάσισε να δώσει το πράσινο φως στην ανάπτυξη ενός προγράμματος που θα λύνει θεωρήματα.
Μέσα και έξω από την IBM
είχαμε δει μέσα προηγούμενα άρθρα ότι ο Simon και η ομάδα του πέτυχαν με ένα πρόγραμμα που απέδειξε μαθηματικά θεωρήματα. Για αυτό, έπρεπε να δημιουργήσουν μια νέα γλώσσα προγραμματισμού.
Η πρόκληση που αντιμετωπίζει η IBM είχε ένα επιπλέον πρόβλημα. Για να αποδείξει ο υπολογιστής ένα γεωμετρικό θεώρημα, έπρεπε να δει το σχήμα. Οι κάμερες Ιστού και το λογισμικό ικανό να επεξεργάζεται εικόνες δεν είχαν ακόμη εφευρεθεί.
Η ομάδα που επιλέχθηκε για το έργο Ήταν ο IBM 704. Θεωρείται ως ένας από τους πρώτους υπερυπολογιστές στον κόσμο fΉταν το πρώτο που ενσωμάτωσε το υλικό κινητής υποδιαστολής.
Οι πράξεις κινητής υποδιαστολής περιλαμβάνουν υπολογισμούς πρόσθεσης, αφαίρεσης, διαίρεσης, πολλαπλασιασμού και τετραγωνικής ρίζας με πολύ μεγάλους ή πολύ μικρούς αριθμούς.
Είχε επίσης μνήμη μαγνητικού πυρήνα που ήταν ταχύτερη από το σύστημα μαγνητικού τυμπάνου που χρησιμοποιήθηκε σε προηγούμενα μοντέλα και ήταν ικανό να εκτελεί σαράντα χιλιάδες εντολές ανά δευτερόλεπτο εκφραζόμενες σε εντολές 36 bit.
Το λογισμικό χρειάστηκε τρία χρόνια για να είναι έτοιμο καθώς ο διευθυντής του, ένας γιατρός φυσικής ονόματι Herbert Gellenter, tΈπρεπε να εφεύρει μια νέα γλώσσα προγραμματισμού που μπορούσε να χειριστεί σύμβολα όπως το IPL, αλλά είχε την ευκολία προγραμματισμού του Fortran, μια εξέλιξη από την ίδια την IBM για τη δημιουργία εφαρμογών για επιστημονικούς υπολογισμούς.
Το πρόγραμμα έλαβε πληροφορίες για το γεωμετρικό σχήμα με το οποίο έπρεπε να εργαστεί με τη μορφή μιας σειράς συντεταγμένων που εισήχθησαν με τη μορφή διάτρητων καρτών και έβγαζε ενδιάμεσα αποτελέσματα από τα γνωστά δεδομένα.
Το λογισμικό έγινε γνωστό ως Geometry Theorem Prover (Geometry Problem Prover) και με βάση αυτές τις ιδιότητες που μπορούσε να επαληθεύσει στο σχέδιο κατάφερε να λύσει ένα θεώρημα δύο βημάτων σε είκοσι πέντε διαφορετικές πιθανότητες όταν, κάνοντας το στα τυφλά, θα έπρεπε να αναλύσει ένα εκατομμύριο.
Ο ελεγκτής προβλημάτων γεωμετρίας ήταν ο πρώτος που χρησιμοποίησε μια τεχνική γνωστή ως αναφορά μοντέλου.. Αν δεν προσγειωθείτε σε ιπτάμενο δίσκο πριν από 5 λεπτά, σίγουρα έχετε ακούσει για ένα από τα τελευταία αποτελέσματα της εφαρμογής αυτής της τεχνικής: ChatGPT.
Στον τομέα της τεχνητής νοημοσύνης Ένα μοντέλο είναι μια αναπαράσταση μιας πολύπλοκης διαδικασίας από την οποία μπορούν να εξαχθούν συμπεράσματα. Στην περίπτωση του ελεγκτή, το μοντέλο ήταν οι συντεταγμένες του γεωμετρικού σχήματος, στην περίπτωση του ChatGPT ένα μοντέλο ικανό να επεξεργαστεί την ανθρώπινη γλώσσα.
Άλλοι υπολογιστές της IBM έκαναν λιγότερο σοβαρά πράγματα, όπως να μάθουν πούλια ή σκάκι. Στην πρώτη περίπτωση, ο στόχος ήταν να δούμε αν μια μηχανή ήταν ικανή να μάθει για τον τρόπο παιχνιδιού του αντιπάλου της. Τελικά κατάφερε να τον νικήσει, έτσι φαίνεται ότι το έκανε.
Οι πρώτες επιτυχίες της IBM ήταν επίσης η αιτία της εγκατάλειψης αυτού του τομέα. Οι υπολογιστές αφιερωμένοι στο παιχνίδι σκάκι και πούλι ήταν πολύ επιτυχημένοι με τον Τύπο, αλλά όχι τόσο μεταξύ των μετόχων της εταιρείας που το θεωρούσαν σπατάλη χρημάτων.
Σε αυτό πρέπει να προσθέσουμε ότι το τμήμα μάρκετινγκ της εταιρείας Παρατήρησε ότι μεταξύ των πιθανών πελατών του η δυσπιστία προς τους υπολογιστές αυξανόταν. Υπήρχε φόβος μεταξύ των αρμοδίων για την απόκτησή τους ότι η αγορά τους θα καταλήξει να τους αντικαταστήσει.
Η έρευνα στην Τεχνητή Νοημοσύνη εγκαταλείφθηκε και η νέα στρατηγική μάρκετινγκ ήταν να χαρακτηριστούν οι υπολογιστές ως επεξεργαστές δεδομένων που έκαναν μόνο αυτό που τους έλεγαν.
Θα συμβεί το ίδιο με τα νέα εργαλεία που είναι τώρα τόσο στη μόδα; Θα τους απαγορευτούν από τις εταιρείες από φόβο μήπως καταλήξουν να καταλάβουν τις υψηλότερες θέσεις;
Θα πρέπει να περιμένουμε να το δούμε.