Η συζήτηση γύρω από την Τεχνητή Νοημοσύνη (ΤΝ) έχει μετατοπιστεί δραματικά τα τελευταία χρόνια, από την απλή παραγωγή κειμένου και εικόνων στην επίλυση σύνθετων προβλημάτων που κάποτε θεωρούνταν αποκλειστικό προνόμιο της ανθρώπινης διάνοιας. Πρόσφατα, ένας διαπρεπής μαθηματικός από τον Καναδά —χώρα που αποτελεί παγκόσμιο κόμβο για την έρευνα στην ΤΝ— προκάλεσε αίσθηση στην επιστημονική κοινότητα υποστηρίζοντας ότι βρισκόμαστε στο κατώφλι μιας εποχής όπου η μηχανική μάθηση θα μπορεί να επιλύει άλυτα μαθηματικά προβλήματα αιώνων, αναδιαμορφώνοντας την κατανόησή μας για τη φυσική πραγματικότητα.
Η παρέμβαση αυτή δεν είναι τυχαία. Στα ερευνητικά κέντρα του Μόντρεαλ και του Τορόντο, η εστίαση έχει μετατοπιστεί από τα «Μεγάλα Γλωσσικά Μοντέλα» (LLMs) στα «Μοντέλα Λογικής και Απόδειξης». Ενώ τα ChatGPT και Claude βασίζονται στην πιθανοκρατική πρόβλεψη της επόμενης λέξης, η νέα γενιά συστημάτων ΤΝ που αναπτύσσεται στον Καναδά στοχεύει στην αυστηρή λογική συνεπαγωγή. Ο μαθηματικός ισχυρίζεται ότι η ΤΝ μπορεί πλέον να «διαισθανθεί» μαθηματικές δομές που ο ανθρώπινος εγκέφαλος αδυνατεί να συλλάβει λόγω του τεράστιου όγκου των πιθανών συνδυασμών.
Η Μετάβαση από την Πιθανοκρατία στην Απόλυτη Λογική
Για δεκαετίες, τα μαθηματικά θεωρούνταν το «τελευταίο οχυρό» της ανθρώπινης μοναδικότητας. Η διαδικασία της απόδειξης απαιτεί όχι μόνο υπολογιστική ισχύ, αλλά και μια μορφή δημιουργικής ενόρασης. Ωστόσο, ο Καναδός ερευνητής επισημαίνει ότι η χρήση εργαλείων όπως το Lean (μια γλώσσα προγραμματισμού και βοηθός απόδειξης) σε συνδυασμό με νευρωνικά δίκτυα επιτρέπει στις μηχανές να ελέγχουν δισεκατομμύρια λογικά βήματα χωρίς το σφάλμα της ανθρώπινης κόπωσης.
Σύμφωνα με την ανάλυση, η ΤΝ δεν λειτουργεί πλέον ως ένας απλός υπολογιστής τσέπης. Αντίθετα, λειτουργεί ως ένας «συνομιλητής» που προτείνει εικασίες (conjectures) και στη συνέχεια τις δοκιμάζει έναντι των νόμων της λογικής. Αυτή η ικανότητα για «αυτο-διόρθωση» είναι που διαφοροποιεί τη σημερινή τεχνολογία από οτιδήποτε είχαμε δει στο παρελθόν. Αν η ΤΝ καταφέρει να λύσει προβλήματα όπως η Υπόθεση Riemann ή η Εικασία του Goldbach, οι συνέπειες για την κρυπτογραφία, την κβαντομηχανική και την επιστήμη των υλικών θα είναι κολοσσιαίες.
Ο Καναδάς ως το Επίκεντρο της Μαθηματικής ΤΝ
Δεν είναι τυχαίο ότι αυτές οι δηλώσεις προέρχονται από τον Καναδά. Με το ινστιτούτο Mila στο Μόντρεαλ και το Vector Institute στο Τορόντο, η χώρα έχει επενδύσει δισεκατομμύρια στην «βαθιά μάθηση». Οι Καναδοί ερευνητές, υπό την καθοδήγηση πρωτοπόρων όπως ο Yoshua Bengio, εστιάζουν τώρα στην «Συστημική Λογική 2» (System 2 thinking) για την ΤΝ — την ικανότητα δηλαδή του συστήματος να σταματά, να σκέφτεται και να σχεδιάζει πριν δώσει μια απάντηση.
Ο μαθηματικός υποστηρίζει ότι η ΤΝ μπορεί να λειτουργήσει ως «τηλεσκόπιο για το πνεύμα». Όπως το τηλεσκόπιο επέτρεψε στους αστρονόμους να δουν πέρα από τους περιορισμούς του γυμνού οφθαλμού, η ΤΝ επιτρέπει στους μαθηματικούς να «βλέπουν» σε χώρους υψηλών διαστάσεων που είναι αδύνατο να οπτικοποιηθούν. Αυτή η νέα μεθοδολογία υπόσχεται να γεφυρώσει το χάσμα μεταξύ της αφηρημένης θεωρίας και της πρακτικής εφαρμογής, επιταχύνοντας την επιστημονική πρόοδο κατά αιώνες μέσα σε λίγες δεκαετίες.
Ηθικά Ερωτήματα και η «Μαύρη Τρύπα» της Κατανόησης
Ωστόσο, αυτή η εξέλιξη εγείρει σοβαρά φιλοσοφικά ερωτήματα. Αν μια Τεχνητή Νοημοσύνη αποδείξει ένα θεώρημα μέσω μιας διαδικασίας που εκτείνεται σε εκατομμύρια σελίδες κώδικα, τις οποίες κανένας άνθρωπος δεν μπορεί να διαβάσει ή να κατανοήσει πλήρως, μπορούμε πραγματικά να πούμε ότι «κατέχουμε» αυτή τη γνώση; Ο Καναδός μαθηματικός προειδοποιεί ότι κινδυνεύουμε να γίνουμε απλοί χρήστες αληθειών που δεν κατανοούμε πλέον.
«Η μαθηματική αλήθεια ήταν πάντα η πιο καθαρή μορφή ανθρώπινης επικοινωνίας. Αν την παραδώσουμε στις μηχανές, πρέπει να διασφαλίσουμε ότι θα διατηρήσουμε τη γέφυρα της ερμηνείας», αναφέρει χαρακτηριστικά.
Συμπερασματικά, η θέση του Καναδού επιστήμονα υπογραμμίζει μια κρίσιμη καμπή. Η Τεχνητή Νοημοσύνη μετατρέπεται από εργαλείο αυτοματισμού σε εργαλείο ανακάλυψης. Η ικανότητά της να πλοηγείται στο άπειρο των μαθηματικών πιθανοτήτων δεν είναι απλώς μια τεχνική επιτυχία, αλλά μια νέα οντολογική πρόκληση για την ανθρωπότητα. Το αν θα χρησιμοποιήσουμε αυτή την ισχύ για να λύσουμε τα μεγάλα προβλήματα της κλιματικής αλλαγής και της ενέργειας ή αν θα χαθούμε στη μετάφραση μιας μηχανικής λογικής, μένει να αποδειχθεί.
