Η ιστορία των μαθηματικών είναι γεμάτη από κομψές υποθέσεις που, παρά την προφανή απλότητά τους, ανθίστανται στις προσπάθειες των κορυφαίων μυαλών του πλανήτη για δεκαετίες. Όταν όμως η ανθρώπινη διαίσθηση φτάνει στα όριά της, η τεχνητή νοημοσύνη φαίνεται να ανοίγει νέους δρόμους. Πρόσφατα, η OpenAI ανακοίνωσε ότι ένα από τα προηγμένα μοντέλα συλλογιστικής της (reasoning models), το o1, κατάφερε να καταρρίψει μια μαθηματική υπόθεση που στεκόταν όρθια για σχεδόν 80 χρόνια. Το επίτευγμα αυτό δεν είναι απλώς μια νίκη της υπολογιστικής ισχύος, αλλά μια απόδειξη ότι η ΤΝ περνά από την απλή επεξεργασία γλώσσας στην ουσιαστική επιστημονική ανακάλυψη.
Το χρονικό μιας μαθηματικής πρόκλησης
Η συγκεκριμένη υπόθεση, η οποία ανήκει στον τομέα της συνδυαστικής και της θεωρίας γραφημάτων, διατυπώθηκε για πρώτη φορά στα μέσα της δεκαετίας του 1940. Για οκτώ δεκαετίες, οι μαθηματικοί προσπαθούσαν είτε να αποδείξουν την καθολική ισχύ της είτε να βρουν ένα «αντιπαράδειγμα» — μια περίπτωση, δηλαδή, όπου η θεωρία καταρρέει. Η δυσκολία έγκειτο στο γεγονός ότι ο αριθμός των πιθανών συνδυασμών που έπρεπε να εξεταστούν ήταν τόσο τεράστιος, που ακόμη και οι πιο ισχυροί υπερυπολογιστές του παρελθόντος αδυνατούσαν να τον διαχειριστούν χωρίς μια συγκεκριμένη κατεύθυνση.
Το μοντέλο της OpenAI δεν χρησιμοποίησε τη μέθοδο της «ωμής βίας» (brute force). Αντίθετα, αξιοποίησε τις δυνατότητες «αλυσίδας σκέψης» (chain-of-thought) για να περιορίσει το πεδίο αναζήτησης, προσομοιώνοντας τον τρόπο με τον οποίο ένας μαθηματικός προσεγγίζει ένα πρόβλημα: δοκιμάζοντας λογικά μονοπάτια, απορρίπτοντας τα αδιέξοδα και βελτιώνοντας τη στρατηγική του σε πραγματικό χρόνο. Το αποτέλεσμα ήταν ο εντοπισμός μιας εξαιρετικά περίπλοκης δομής που λειτουργεί ως αντιπαράδειγμα, αποδεικνύοντας οριστικά ότι η αρχική υπόθεση ήταν λανθασμένη.
Από το GPT-4 στο o1: Η στροφή στη συλλογιστική
Για χρόνια, η κριτική κατά των μεγάλων γλωσσικών μοντέλων (LLMs) επικεντρωνόταν στο ότι είναι «παπαγάλοι πιθανοτήτων» — συστήματα που προβλέπουν την επόμενη λέξη χωρίς να κατανοούν τη λογική πίσω από αυτήν. Η κατάρριψη αυτής της μαθηματικής υπόθεσης αλλάζει το αφήγημα. Τα μοντέλα της σειράς o1 είναι εκπαιδευμένα με ενισχυτική μάθηση (reinforcement learning) ώστε να «σκέφτονται» πριν απαντήσουν. Αυτή η εσωτερική διαδικασία ελέγχου επιτρέπει στην ΤΝ να διορθώνει τα λάθη της και να ακολουθεί πολυεπίπεδους συλλογισμούς που απαιτούνται στα καθαρά μαθηματικά.
- Συστηματική Αναζήτηση: Η ικανότητα πλοήγησης σε αφηρημένους χώρους παραμέτρων που υπερβαίνουν την ανθρώπινη αντίληψη.
- Επαληθευσιμότητα: Το αντιπαράδειγμα που παρήγαγε η ΤΝ μπορεί να ελεγχθεί ανεξάρτητα από ανθρώπους μαθηματικούς, καθιστώντας την ανακάλυψη αδιαμφισβήτητη.
- Συνέργεια: Η χρήση της ΤΝ ως «βοηθού έρευνας» που αναλαμβάνει το επίπονο έργο της δοκιμής ακραίων περιπτώσεων.
Οι επιπτώσεις στην επιστημονική μέθοδο
Η εξέλιξη αυτή σηματοδοτεί μια θεμελιώδη αλλαγή στον τρόπο με τον οποίο θα διεξάγεται η επιστημονική έρευνα στο μέλλον. Δεν πρόκειται πλέον μόνο για τη μαθηματική κοινότητα. Η ικανότητα μιας ΤΝ να καταρρίπτει παγιωμένες θεωρίες μπορεί να εφαρμοστεί στη βιολογία για τον εντοπισμό νέων πρωτεϊνικών δομών, στη φυσική για την ανάλυση κβαντικών φαινομένων και στη χημεία για τη δημιουργία υλικών με συγκεκριμένες ιδιότητες.
«Δεν βρισκόμαστε απλώς μπροστά σε ένα νέο εργαλείο, αλλά μπροστά σε έναν νέο τύπο συνεργάτη που δεν κουράζεται, δεν προκαταλαμβάνεται από την παράδοση και μπορεί να δει μοτίβα εκεί που ο ανθρώπινος νους βλέπει μόνο χάος», αναφέρει χαρακτηριστικά ένας από τους ερευνητές της OpenAI.
Ωστόσο, η επιτυχία αυτή εγείρει και ερωτήματα. Αν η ΤΝ μπορεί να λύνει προβλήματα που εμείς δεν μπορούμε, θα φτάσουμε σε ένα σημείο όπου θα παράγει αποδείξεις τις οποίες ο ανθρώπινος νους δεν θα μπορεί καν να κατανοήσει; Η «μαύρη τρύπα» της κατανόησης παραμένει μια πρόκληση, καθώς η επαλήθευση ενός αποτελέσματος είναι συχνά ευκολότερη από την κατανόηση του «γιατί» αυτό το αποτέλεσμα ισχύει.
Συμπέρασμα: Το μέλλον της ανθρώπινης διανόησης
Η κατάρριψη μιας υπόθεσης 80 ετών είναι μόνο η αρχή. Καθώς τα μοντέλα τεχνητής νοημοσύνης γίνονται πιο εξειδικευμένα στη λογική και τη συλλογιστική, η σχέση μας με τη γνώση θα μεταμορφωθεί. Ο ρόλος του επιστήμονα μετατοπίζεται από την εκτέλεση των υπολογισμών στη διατύπωση των σωστών ερωτημάτων. Στον 21ο αιώνα, η μεγαλύτερη αρετή δεν θα είναι η ικανότητα απομνημόνευσης ή ο γρήγορος υπολογισμός, αλλά η δημιουργική φαντασία που θα καθοδηγεί τη σιλικόνη προς τα επόμενα μεγάλα μυστικά του σύμπαντος.
