Ο κόσμος της τεχνολογίας πέρασε τα τελευταία τρία χρόνια με εμμονή στο να κάνει τα μοντέλα AI εξυπνότερα. Πανηγυρίσαμε όταν πέρασαν εξετάσεις δικηγορικών συλλόγων και έγραψαν ποίηση, ακόμα και όταν περιστασιακά είχαν παραισθήσεις γεγονότων ή αποτύγχαναν στη βασική αριθμητική. Το κυρίαρχο αφήγημα υποδηλώνει ότι αν απλώς προσθέσουμε περισσότερα δεδομένα και περισσότερη επεξεργαστική ισχύ, αυτοί οι ψηφιακοί εγκέφαλοι θα γίνουν τελικά αλάνθαστοι. Ενώ αυτή η προσέγγιση «το μεγαλύτερο είναι καλύτερο» ακούγεται λογική, η πραγματικότητα της σύγχρονης ανάπτυξης λογισμικού λέει μια διαφορετική ιστορία. Για μια τράπεζα, ένα νοσοκομείο ή μια εταιρεία logistics, ένα μοντέλο συλλογιστικής που έχει δίκιο στο 95% των περιπτώσεων είναι συχνά χειρότερο από ένα απλό σενάριο κώδικα που έχει δίκιο στο 100% των περιπτώσεων. Αυτό το κενό αξιοπιστίας είναι το σημείο όπου η Typesafe AI τοποθετεί τα νέα της μοντέλα System One και τη γλώσσα προγραμματισμού Jev.
Κοιτάζοντας τη μεγάλη εικόνα, γινόμαστε μάρτυρες μιας στροφής από την AI ως δημιουργική καινοτομία στην AI ως θεμελιώδες βιομηχανικό εργαλείο. Τα περισσότερα δημοφιλή μοντέλα σήμερα, όπως το GPT-4 ή το Claude, λειτουργούν ως ένας ακούραστος ασκούμενος. Αυτός ο ασκούμενος έχει διαβάσει κάθε βιβλίο στη βιβλιοθήκη και μπορεί να συνοψίσει ένα νομικό έγγραφο σε δευτερόλεπτα. Ωστόσο, αυτός ο ασκούμενος έχει επίσης τη συνήθεια να επινοεί απαντήσεις όταν νιώθει πίεση ή σύγχυση. Δεν μπορείτε εύκολα να απολύσετε αυτόν τον ασκούμενο επειδή είναι ενσωματωμένος στη ροή εργασίας σας, αλλά επίσης δεν μπορείτε να τον εμπιστευτείτε για να χειριστεί τη μισθοδοσία σας ή τις ιατρικές συνταγές χωρίς συνεχή επίβλεψη. Τα μοντέλα System One στοχεύουν να αντικαταστήσουν αυτόν τον αλλοπρόσαλλο ασκούμενο με ένα άκαμπτο, προβλέψιμο εγχειρίδιο.
Στην ψυχολογία, το Σύστημα 1 αναφέρεται σε γρήγορες, ενστικτώδεις και συναισθηματικές σκέψεις, ενώ το Σύστημα 2 είναι πιο αργό, πιο στοχαστικό και λογικό. Στη βιομηχανία της AI, έχουμε δαπανήσει δισεκατομμύρια δολάρια τελειοποιώντας το Σύστημα 2. Θέλουμε μοντέλα που να συλλογίζονται, να ζυγίζουν επιλογές και να λύνουν σύνθετους γρίφους. Το μειονέκτημα είναι ότι η συλλογιστική απαιτεί χρόνο και χρήμα. Κάθε φορά που ένα LLM σκέφτεται, καταναλώνει χιλιάδες tokens και σημαντική ηλεκτρική ενέργεια. Από τη σκοπιά του καταναλωτή, αυτό μεταφράζεται σε εφαρμογές που αργούν να ανταποκριθούν και συνδρομές που κοστίζουν είκοσι δολάρια το μήνα.
Το πιο σημαντικό είναι ότι η συλλογιστική εισάγει αβεβαιότητα. Όταν ένα μοντέλο συλλογίζεται, δημιουργεί μια μοναδική διαδρομή προς μια απάντηση κάθε φορά που κάνετε μια ερώτηση. Αυτή η μεταβλητότητα είναι εφιάλτης για τους μηχανικούς λογισμικού. Εάν ένας προγραμματιστής εφαρμογών θέλει ένα κουμπί να γίνεται μπλε όταν ένας χρήστης κάνει κλικ, χρειάζεται αυτή η συμπεριφορά να συμβαίνει κάθε φορά. Δεν θέλουν η εφαρμογή να συλλογίζεται αν το μπλε είναι η σωστή αισθητική επιλογή για τον τρέχοντα καιρό. Το παραδοσιακό λογισμικό είναι ντετερμινιστικό, που σημαίνει ότι η ίδια είσοδος παράγει πάντα την ίδια έξοδο. Η τρέχουσα AI είναι πιθανοκρατική, που σημαίνει ότι σας δίνει την καλύτερη δυνατή εικασία της.
Η Typesafe AI κινείται προς την αντίθετη κατεύθυνση από τη γενική τάση. Τα μοντέλα System One δεν έχουν σχεδιαστεί για να γράφουν δοκίμια ή να συζητούν για φιλοσοφία. Αντίθετα, αυτά τα μοντέλα επικεντρώνονται στη δομημένη εκτέλεση υψηλής ταχύτητας. Είναι μικρά, εξειδικευμένα και εξαιρετικά γρήγορα. Χειρίζονται τις εργασίες ρουτίνας που διατηρούν τον ψηφιακό κόσμο σε λειτουργία, όπως η δρομολόγηση δεδομένων, ο έλεγχος για σφάλματα και η μετάφραση της πρόθεσης του χρήστη σε κώδικα μηχανής. Ουσιαστικά, αυτά τα μοντέλα λειτουργούν ως το νευρικό σύστημα και όχι ως ο προμετωπιαίος φλοιός.
Στο εσωτερικό τους, αυτά τα μοντέλα βασίζονται σε μια συγκεκριμένη αρχιτεκτονική που δίνει προτεραιότητα στην ασφάλεια έναντι της δημιουργικότητας. Δεν παρεκκλίνουν από το σενάριο επειδή δεν έχουν εξαρχής σενάριο. Λειτουργούν μέσα σε στενά πλαίσια που ορίζονται από τον προγραμματιστή. Αυτό τα καθιστά αρκετά ελαφριά ώστε να εκτελούνται σε τοπικό υλικό, όπως το smartphone σας ή ένας μικρός βιομηχανικός αισθητήρας, αντί να απαιτούν μια τεράστια φάρμα διακομιστών στην έρημο. Αυτή η αποκέντρωση είναι μια σημαντική νίκη για την ιδιωτικότητα και την καθυστέρηση (latency). Όταν τα δεδομένα σας παραμένουν στη συσκευή σας, είναι εγγενώς πιο ασφαλή.
Για να λειτουργήσουν αυτά τα μοντέλα, η Typesafe παρουσίασε τη Jev. Για τον μέσο χρήστη, το όνομα μιας γλώσσας προγραμματισμού σπάνια έχει σημασία, αλλά η Jev είναι ο λόγος που τα μοντέλα System One είναι πρακτικά. Ιστορικά, οι προγραμματιστές χρησιμοποιούσαν Python ή JavaScript για να δημιουργήσουν εφαρμογές AI. Αυτές οι γλώσσες είναι ευέλικτες, αλλά είναι επίσης επιρρεπείς σε κρυφά σφάλματα που εμφανίζονται μόνο όταν το πρόγραμμα εκτελείται. Η Jev είναι μια γλώσσα τύπου type-safe. Με απλά λόγια, αυτό σημαίνει ότι ο κώδικας έχει ενσωματωμένες προστατευτικές μπάρες που αποτρέπουν κοινά λάθη πριν το λογισμικό φτάσει ποτέ στον χρήστη.
Εάν ένας προγραμματιστής γράψει ένα πρόγραμμα σε Jev για τη διαχείριση της θερμοκρασίας ενός έξυπνου σπιτιού, η γλώσσα διασφαλίζει ότι η μεταβλητή "θερμοκρασία" είναι πάντα αριθμός. Δεν μπορεί κατά λάθος να γίνει μια συμβολοσειρά κειμένου ή ένα κομμάτι κώδικα που θα προκαλέσει βλάβη στον θερμαντήρα. Επιβάλλοντας αυτό το επίπεδο αυστηρότητας, η Jev επιτρέπει στα μοντέλα System One να λειτουργούν με ένα επίπεδο ανθεκτικότητας που τα τυπικά LLM δεν μπορούν να φτάσουν. Η γλώσσα λειτουργεί ως ένα ψηφιακό συμβόλαιο μεταξύ του προγραμματιστή και της μηχανής. Διασφαλίζει ότι η AI κάνει ακριβώς αυτό που της λένε, ούτε περισσότερο ούτε λιγότερο.
Βρισκόμαστε επί του παρόντος σε μια ασταθή περίοδο ανάπτυξης της AI, όπου η «μαγεία» είναι το κύριο σημείο πώλησης. Εντυπωσιαζόμαστε όταν ένα chatbot δημιουργεί μια φωτογραφία μιας γάτας με στολή αστροναύτη. Ωστόσο, καθώς η καινοτομία εξασθενεί, οι χρήστες θα εκτιμήσουν την αξιοπιστία περισσότερο από το θέαμα. Σκεφτείτε το μικροτσίπ ως το ψηφιακό αργό πετρέλαιο της εποχής μας. Δεν χρειαζόμαστε το πετρέλαιο μας να είναι δημιουργικό. Το χρειαζόμαστε να είναι συνεπές και καθαρό, ώστε ο κινητήρας να μην εκραγεί.
| Χαρακτηριστικό | Τυπικό LLM (Σύστημα 2) | System One (Typesafe) |
|---|---|---|
| Πρωταρχικός Στόχος | Συλλογιστική και Δημιουργικότητα | Εκτέλεση και Ασφάλεια |
| Ταχύτητα Απόκρισης | Πιο αργή (δευτερόλεπτα) | Σχεδόν Στιγμιαία (χιλιοστά του δευτερολέπτου) |
| Κόστος | Υψηλό (ανά token) | Χαμηλό (τοπική εκτέλεση) |
| Συνέπεια | Μεταβλητή (εικασίες) | Ντετερμινιστική (αυστηρή) |
| Ανάπτυξη | Βασισμένη στο Cloud | Τοπική ή Edge-based |
Πρακτικά μιλώντας, αυτή η στροφή σημαίνει ότι η επόμενη γενιά εργαλείων που τροφοδοτούνται από AI θα μοιάζει λιγότερο με συνομιλία και περισσότερο με ένα εργαλείο υψηλής απόδοσης. Η τραπεζική σας εφαρμογή μπορεί να χρησιμοποιεί ένα μοντέλο System One για τον εντοπισμό απάτης σε πραγματικό χρόνο χωρίς να στέλνει το ιστορικό των συναλλαγών σας σε διακομιστή τρίτου μέρους. Το αυτοκίνητό σας μπορεί να χρησιμοποιεί ένα τέτοιο μοντέλο για την τοπική επεξεργασία δεδομένων αισθητήρων ώστε να αποφευχθεί μια σύγκρουση. Σε αυτά τα σενάρια, δεν θέλετε η AI να είναι «έξυπνη» με την ανθρώπινη έννοια. Θέλετε να είναι ένα στιβαρό, εξειδικευμένο εξάρτημα που δεν κουράζεται ποτέ και δεν κάνει ποτέ εικασίες.
Για τον μέσο χρήστη, η άφιξη του System One και της Jev σηματοδοτεί το τέλος της πειραματικής φάσης της AI. Κινούμαστε προς έναν κόσμο όπου η AI είναι ενσωματωμένη στις «σωληνώσεις» της ψηφιακής μας ζωής. Πιθανότατα θα αλληλεπιδράτε με ένα μοντέλο System One δεκάδες φορές την ημέρα χωρίς να το συνειδητοποιείτε. Θα βρίσκεται στον θερμοστάτη σας, στο φίλτρο email σας και στο σύστημα πέδησης του αυτοκινήτου σας. Αυτά τα μοντέλα δεν θα γίνουν πρωτοσέλιδα επειδή έγραψαν μυθιστορήματα, αλλά θα γίνουν πρωτοσέλιδα επειδή κάνουν το διαδίκτυο ταχύτερο και ασφαλέστερο.
Τελικά, πρόκειται για μια διόρθωση της υπερβολικής εξάρτησης της αγοράς από τεράστια, ακριβά μοντέλα. Το μικρό, ασφαλές και γρήγορο είναι ένας νικηφόρος συνδυασμός για τις επιχειρήσεις που πρέπει να προσέχουν τα περιθώρια κέρδους τους. Είναι επίσης μια νίκη για τους καταναλωτές που έχουν κουραστεί από το προβληματικό λογισμικό και το αυξανόμενο κόστος συνδρομών. Η επανάσταση της AI γίνεται επιτέλους διαφανής και λειτουργική, κάτι που είναι πολύ πιο σημαντικό από το να είναι έξυπνη.
Αντί να ψάχνετε για το επόμενο chatbot που μπορεί να περάσει το τεστ Turing, παρατηρήστε πώς οι υπάρχουσες εφαρμογές σας γίνονται πιο αποκριτικές κατά τη διάρκεια του επόμενου έτους. Μπορεί να παρατηρήσετε ότι ο φωνητικός σας βοηθός σταματά να λέει «Λυπάμαι, δεν το κατάλαβα αυτό» και αρχίζει να εκτελεί εντολές αμέσως. Αυτό δεν συμβαίνει επειδή η AI έγινε εξυπνότερη. Συμβαίνει επειδή σταμάτησε να προσπαθεί να σκεφτεί και άρχισε να ακολουθεί ένα καλύτερο σύνολο οδηγιών. Εκτιμήστε την αόρατη βιομηχανική μηχανική που επιτρέπει στον ψηφιακό σας κόσμο να λειτουργεί χωρίς δράματα.
Πηγές:



Η από άκρη σε άκρη κρυπτογραφημένη λύση ηλεκτρονικού ταχυδρομείου και αποθήκευσης στο cloud παρέχει τα πιο ισχυρά μέσα ασφαλούς ανταλλαγής δεδομένων, εξασφαλίζοντας την ασφάλεια και το απόρρητο των δεδομένων σας.
/ Εγγραφείτε δωρεάν