Ένα προηγμένο υπολογιστικό μοντέλο που αναπτύχθηκε από την OpenAI κατόρθωσε να δώσει την οριστική λύση στο περίφημο πρόβλημα των μοναδιαίων αποστάσεων που είχε διατυπώσει ο σπουδαίος μαθηματικός Paul Erdős, μια εικασία που παρέμενε πεισματικά άλυτη από το μακρινό 1946.
Η συγκεκριμένη ανακάλυψη έχει προκαλέσει πραγματικό σοκ στους κόλπους της παγκόσμιας επιστημονικής κοινότητας. Κορυφαίοι και πολυβραβευμένοι μαθηματικοί από όλο τον κόσμο δεν κρύβουν τον ενθουσιασμό αλλά και την έκπληξή τους, χαρακτηρίζοντας το τελικό αποτέλεσμα ως ένα αδιαμφισβήτητο ορόσημο για την τεχνητή νοημοσύνη και την ικανότητά της να παράγει πρωτογενή γνώση στο πεδίο των μαθηματικών.
Η ιστορική εικασία του Paul Erdős και η μακροχρόνια πλάνη
Το πρόβλημα που ταλαιπώρησε τα πιο λαμπρά μυαλά για σχεδόν ογδόντα χρόνια είναι, όπως συνηθίζουν να λένε οι ίδιοι οι μαθηματικοί, deceptively simple στην αρχική του διατύπωση. Το ερώτημα που τέθηκε ήταν το εξής: αν κάποιος τοποθετήσει άπειρα σημεία πάνω σε ένα επίπεδο, πόσα ζεύγη σημείων μπορεί τελικά να έχει τα οποία να απέχουν μεταξύ τους ακριβώς μία μονάδα απόστασης;
Ο Paul Erdős πίστευε ακράδαντα ότι η καλύτερη δυνατή διάταξη στον χώρο έμοιαζε με ένα συμμετρικό, τετραγωνικό πλέγμα. Βασιζόμενος σε αυτή τη λογική, κατέληξε στο συμπέρασμα ότι ο αριθμός των συνδέσεων θα αυξανόταν μόνο ελάχιστα περισσότερο από τον συνολικό αριθμό των σημείων. Για σχεδόν οκτώ δεκαετίες, ολόκληρη η μαθηματική κοινότητα πορεύτηκε και έχτισε θεωρίες πάνω σε αυτή ακριβώς την παραδοχή, θεωρώντας την πρακτικά ακλόνητη.
Η ανατροπή μέσα από πολυδιάστατες γεωμετρικές κατασκευές
Το μοντέλο της OpenAI, εξετάζοντας τα δεδομένα με μια εντελώς διαφορετική προσέγγιση, κατέληξε στο ακριβώς αντίθετο συμπέρασμα, αποδεικνύοντας ότι η μακροχρόνια παραδοχή ήταν τελικά εσφαλμένη. Αντί να βασιστεί στα παραδοσιακά, συμμετρικά πλέγματα, το σύστημα ανακάλυψε εντελώς νέες, πολύπλοκες γεωμετρικές κατασκευές. Για να το πετύχει αυτό, αξιοποίησε σε βάθος τεχνικές που προέρχονται από την αλγεβρική θεωρία αριθμών, δημιουργώντας με αυτόν τον τρόπο εντυπωσιακά περισσότερα ζεύγη σημείων που βρίσκονται σε απόσταση ακριβώς μίας μονάδας.
Ουσιαστικά, η τεχνητή νοημοσύνη κατασκεύασε περίπλοκα και αχαρτογράφητα μαθηματικά σχήματα λειτουργώντας σε πολύ υψηλότερες διαστάσεις – ένα περιβάλλον που ξεφεύγει από την ανθρώπινη εποπτεία – και στη συνέχεια τα πρόβαλε ξανά με απόλυτη μαθηματική ακρίβεια στο δισδιάστατο επίπεδο. Αυτή η διαδικασία γέννησε νέες διατάξεις που κανένας άνθρωπος ερευνητής δεν είχε σκεφτεί ή τολμήσει να εξερευνήσει μέχρι σήμερα. Η ανακάλυψη θεωρείται τόσο θεμελιώδης, ώστε έχουν ήδη δημοσιευθεί ανεξάρτητες ακαδημαϊκές εργασίες που επιβεβαιώνουν πλήρως και επεκτείνουν περαιτέρω την αρχική ιδέα της τεχνητής νοημοσύνης.
Για παράδειγμα, ο επιστήμονας Will Sawin χρησιμοποίησε αμέσως τη συγκεκριμένη τεχνική που παρήγαγε το μοντέλο για να εντοπίσει ένα ακόμη καλύτερο κάτω φράγμα στο πρόβλημα, αποδεικνύοντας περίτρανα ότι η μέθοδος του συστήματος δεν ήταν απλώς ένα τυχαίο υπολογιστικό κόλπο της μηχανής, αλλά μια στέρεη μαθηματική αλήθεια.
Οι αντιδράσεις της ακαδημαϊκής κοινότητας και η αποδοχή
Το μέγεθος του επιτεύγματος αποτυπώνεται ξεκάθαρα στις αντιδράσεις των πλέον καταξιωμένων επιστημόνων του χώρου. Ο Misha Rudnev, προερχόμενος από το University of Bristol, δήλωσε χαρακτηριστικά ότι πρόκειται για ένα μαθηματικό πρόβλημα που δεν περίμενε με τίποτα να δει να λύνεται όσο βρίσκεται εν ζωή. Ακόμα πιο εντυπωσιακή ήταν η τοποθέτηση του Tim Gowers, ο οποίος είναι κάτοχος του κορυφαίου βραβείου Fields Medal. Ο καταξιωμένος επιστήμονας σημείωσε ότι, αν η συγκεκριμένη εργασία είχε γραφτεί από κάποιον άνθρωπο και είχε σταλεί προς αξιολόγηση στο έγκριτο περιοδικό Annals of Mathematics, ο ίδιος θα πρότεινε την άμεση αποδοχή της χωρίς κανέναν απολύτως δισταγμό.
Ο Kevin Buzzard τόνισε από την πλευρά του ότι οι βασικές ιδέες υπήρχαν ήδη διάσπαρτες στην ακαδημαϊκή βιβλιογραφία, αλλά χρειάζεται πραγματική και σπάνια ευρηματικότητα για να συνδυαστούν όλα αυτά τα στοιχεία με επιτυχία. Παράλληλα, ο Samuel Mansfield παραδέχθηκε με αφοπλιστική ειλικρίνεια ότι ίσως οι άνθρωποι ερευνητές δεν σκέφτηκαν ποτέ σοβαρά το ενδεχόμενο η εικασία του Erdős να ήταν λανθασμένη.
Όπως υπογράμμισε ο ίδιος, μια τέτοια αμφισβήτηση απαιτεί βαθιές γνώσεις από πολλούς και διαφορετικούς τομείς της επιστήμης, καταλήγοντας στο συμπέρασμα ότι ίσως τελικά να είναι ακριβώς αυτό το είδος προβλήματος στο οποίο η τεχνητή νοημοσύνη μπορεί πραγματικά να υπερέχει έναντι του ανθρώπινου νου.
Ένα μοντέλο γενικού σκοπού στον ρόλο του αυθεντικού ερευνητή
Αυτό που εντυπωσιάζει περισσότερο τους ειδικούς αναλυτές της τεχνολογίας, είναι το γεγονός ότι η τεχνητή νοημοσύνη δεν εκπαιδεύτηκε ειδικά για να φέρει εις πέρας μαθηματική έρευνα τέτοιου επιπέδου.
Σύμφωνα με τα όσα αποκάλυψε η researcher της OpenAI, Sheryl Hsu, το μοντέλο είχε τον χαρακτήρα general purpose και δεν δημιουργήθηκε εξαρχής με σκοπό να λύνει ανοιχτά, άλυτα μαθηματικά προβλήματα δεκαετιών. Παρ’ όλα αυτά, το σύστημα κατάφερε να συνδυάσει με μοναδική ευφυΐα ιδέες από εντελώς διαφορετικούς τομείς των μαθηματικών, με έναν τρόπο που οι άνθρωποι δεν είχαν επιχειρήσει ποτέ στο παρελθόν.
Η ίδια η OpenAI περιέγραψε με υπερηφάνεια το συγκεκριμένο επίτευγμα ως την πρώτη φορά που ένα δικό της σύστημα έλυσε εντελώς αυτόνομα ένα κεντρικό, ανοιχτό πρόβλημα των μαθηματικών. Το τελικό proof έχει ήδη ελεγχθεί εξονυχιστικά από κορυφαίους μαθηματικούς παγκόσμιου βεληνεκούς, ανάμεσα στους οποίους συγκαταλέγονται οι Noga Alon, Thomas Bloom και Victor Wang, ενώ η σχετική ερευνητική εργασία ανέβηκε επίσημα και στην πλατφόρμα του arXiv, φέροντας την πλήρη ανθρώπινη επαλήθευση των αποτελεσμάτων.
Πέρα από το ίδιο το αμιγώς μαθηματικό αποτέλεσμα και την τεχνική του αξία, πολλοί αναλυτές θεωρούν ότι η συγκεκριμένη εξέλιξη αλλάζει ριζικά και αμετάκλητα τον τρόπο με τον οποίο η ανθρωπότητα αντιλαμβάνεται τη διεξαγωγή της επιστημονικής έρευνας.
Μέχρι σήμερα, η τεχνολογία αυτή χρησιμοποιούνταν σχεδόν αποκλειστικά ως ένα γρήγορο εργαλείο υποβοήθησης και επιτάχυνσης των υπολογισμών. Τώρα, για πρώτη φορά στην ιστορία της επιστήμης, φαίνεται να αναλαμβάνει τον πρωταγωνιστικό ρόλο ενός αυθεντικού ερευνητή – παράγοντας από το μηδέν νέες ιδέες, καινοτόμες προσεγγίσεις και στιβαρές αποδείξεις που ούτε οι κορυφαίοι επιστήμονες του πλανήτη δεν είχαν καταφέρει να φανταστούν.
