Σύνοψη
- Η OpenAI ανακοίνωσε επισήμως την επίλυση δέκα μαθηματικών προβλημάτων τα οποία παρέμεναν αναπάντητα από την παγκόσμια επιστημονική κοινότητα για τουλάχιστον μία δεκαετία, χρησιμοποιώντας μια εσωτερική έκδοση του επερχόμενου συστήματος Astra.
- Οι αποδείξεις καλύπτουν ένα ευρύ φάσμα ανώτερων μαθηματικών πεδίων, συμπεριλαμβανομένης της γεωμετρίας υψηλών διαστάσεων, της κβαντικής πολυπλοκότητας, της κρυπτογραφίας πλέγματος και συγκεκριμένων εικασιών του μαθηματικού Paul Erdős.
- Το συνολικό υπολογιστικό κόστος των διακριτών επεξεργαστικών πόρων που απαιτήθηκαν για την εύρεση αυτών των λύσεων ανήλθε σε περίπου 2.000 δολάρια, με βάση την τρέχουσα τιμολόγηση του Sol API της εταιρείας.
- Κάθε μαθηματική απόδειξη συνοδεύεται από επίσημη επαλήθευση μέσω του συστήματος Lean (Lean certificate), καθώς και από την πλήρη καταγραφή του τρόπου σκέψης του αλγορίθμου καθ’ όλη τη διάρκεια της διαδικασίας επίλυσης.
- Ως απάντηση στη δήλωση του Leiden σχετικά με την τεχνητή νοημοσύνη και τα μαθηματικά, η εταιρεία ξεκαθαρίζει πως η πατρότητα των αποδείξεων ανήκει αποκλειστικά στο σύστημα, εγκαινιάζοντας παράλληλα ένα πρόγραμμα δωρεάν πρόσβασης για 100.000 ακαδημαϊκούς ερευνητές.
Λίγα μόλις εικοσιτετράωρα μετά τις άκρως εμπιστευτικές ενημερώσεις προς τους Αμερικανούς νομοθέτες στην Ουάσιγκτον σχετικά με τις ικανότητες των νέων πολυ-πρακτορικών συστημάτων (multi-agent systems), η OpenAI προχώρησε στην επίσημη δημοσιοποίηση των πρώτων απτών αποτελεσμάτων του μοντέλου Astra στον τομέα της καθαρής επιστημονικής έρευνας.
Η εταιρεία έδωσε στη δημοσιότητα μια σειρά από ολοκληρωμένες αποδείξεις για δέκα θεμελιώδη μαθηματικά προβλήματα και ζητήματα θεωρητικής πληροφορικής, τα οποία βρίσκονταν στο επίκεντρο του ακαδημαϊκού ενδιαφέροντος χωρίς να έχει σημειωθεί η παραμικρή ουσιαστική πρόοδος κατά τη διάρκεια των τελευταίων δεκαετιών. Η συγκεκριμένη εξέλιξη επιβεβαιώνει με τον πλέον πρακτικό τρόπο τη μετάβαση της τεχνητής νοημοσύνης από την απλή παραγωγή συντακτικά ορθού κειμένου στην αυτόνομη παραγωγή νέας, πρωτογενούς επιστημονικής γνώσης μέσω μακροχρόνιων επαγωγικών συλλογισμών.
Ποια άλυτα μαθηματικά προβλήματα έλυσε το νέο μοντέλο Astra της OpenAI;
Το σύστημα Astra της OpenAI προσέφερε πλήρεις λύσεις και αποδείξεις σε δέκα ανοιχτά μαθηματικά προβλήματα που απασχολούν την ακαδημαϊκή κοινότητα για δεκαετίες. Οι λύσεις επικεντρώνονται σε τομείς όπως η θεωρία κωδικοποίησης, η κβαντική πολυπλοκότητα, η κρυπτογραφία πλέγματος και η γεωμετρία υψηλών διαστάσεων, ενώ το συνολικό υπολογιστικό κόστος ανήλθε στα 2.000 δολάρια μέσω του συστήματος χρέωσης Sol API.
Μεταξύ των επιτευγμάτων που δημοσιεύτηκαν, ξεχωρίζει η επίλυση τριών διαφορετικών προβλημάτων του διάσημου Ούγγρου μαθηματικού Paul Erdős (τα προβλήματα 146, 180 και 183). Το μοντέλο κατάφερε να προσφέρει μια υπερεκθετική απόδειξη κατώτατου ορίου για τους πολύχρωμους αριθμούς Ramsey, επιλύοντας το πρόβλημα 183, ενώ παράλληλα έδωσε οριστικές απαντήσεις στις εικασίες συμπύκνωσης και εκφυλισμού στην ακραία θεωρία γραφημάτων. Στον τομέα της άλγεβρας τελεστών, το σύστημα διέψευσε μια μακροχρόνια εικασία ακαμψίας του Connes, η οποία υποστήριζε εσφαλμένα πως ορισμένες ομάδες καθορίζονται με μοναδικό τρόπο από τις άλγεβρες von Neumann που τις συνοδεύουν.
Εξίσου κρίσιμες για την εξέλιξη της σύγχρονης πληροφορικής θεωρούνται οι ανακαλύψεις στους τομείς της κβαντικής πολυπλοκότητας και της κρυπτογραφίας. Το μοντέλο Astra παρήγαγε ένα εκθετικό θεώρημα παράλληλης επανάληψης για γενικά κβαντικά παιχνίδια δύο παικτών, επεκτείνοντας μια θεμελιώδη αρχή από την κλασική θεωρία πολυπλοκότητας. Παράλληλα, απέδειξε τη δυσκολία προσέγγισης στο πρόβλημα του κοντινότερου διανύσματος. Το συγκεκριμένο μαθηματικό ζήτημα αποτελεί τον ακρογωνιαίο λίθο της κρυπτογραφίας πλέγματος, η οποία αποτελεί την κύρια γραμμή άμυνας των σύγχρονων ψηφιακών υποδομών απέναντι στις μελλοντικές επιθέσεις από κβαντικούς υπολογιστές.
Η διαδικασία παραγωγής αυτών των ερευνητικών αποτελεσμάτων διαφοροποιείται πλήρως από τις παραδοσιακές μεθόδους υπολογιστικής υποβοήθησης. Το σύστημα ανέλαβε εξ ολοκλήρου την ανάπτυξη των μαθηματικών επιχειρημάτων μέσω ενός δικτύου αυτόνομων πρακτόρων, οι οποίοι συντονίζονταν για να ελέγξουν, να διορθώσουν και να βελτιστοποιήσουν τις ενδιάμεσες εξισώσεις. Μετά την εξαγωγή των πρωτογενών δεδομένων, ανθρώπινοι χειριστές χρησιμοποίησαν το ίδιο ακριβώς γλωσσικό μοντέλο για να συντάξουν τα επίσημα ακαδημαϊκά χειρόγραφα. Προκειμένου να διασφαλιστεί η απόλυτη εγκυρότητα των ευρημάτων και να αποφευχθούν τα φαινόμενα «παραισθήσεων», το σύστημα τυποποίησε το κάθε μαθηματικό επιχείρημα, εκδίδοντας το αντίστοιχο πιστοποιητικό Lean (Lean certificate). Το συγκεκριμένο πρωτόκολλο απόδειξης θεωρημάτων επιβεβαιώνει την απουσία λογικών σφαλμάτων, καθιστώντας τα αποτελέσματα άμεσα επαληθεύσιμα από την επιστημονική κοινότητα, χωρίς να απαιτείται η παραδοσιακή και χρονοβόρα διαδικασία αξιολόγησης (peer review) της μαθηματικής ορθότητας.
Η OpenAI φρόντισε να δώσει στη δημοσιότητα και τον πλήρη αναλυτικό συλλογισμό του μοντέλου (reasoning walkthrough) για κάθε μία από τις δέκα ανακαλύψεις, επιτρέποντας στους ακαδημαϊκούς να μελετήσουν τη στρατηγική επίλυσης που ακολούθησαν οι αυτόνομοι πράκτορες. Αυτή η κίνηση εντάσσεται στην ευρύτερη στρατηγική διαφάνειας που προσπαθεί να υιοθετήσει η εταιρεία, ειδικά μετά τις ανησυχίες που διατυπώθηκαν στη δήλωση του Leiden σχετικά με τον αντίκτυπο της τεχνητής νοημοσύνης στο πεδίο των μαθηματικών. Η εταιρεία υπογραμμίζει πως η πατρότητα αυτών των αποδείξεων δεν μπορεί να αποδοθεί σε ανθρώπους ερευνητές, καθώς κάτι τέτοιο θα παραποιούσε τη φύση της πραγματικής πνευματικής εργασίας. Ως ένδειξη καλής θέλησης προς τον ερευνητικό κόσμο, ανακοινώθηκε το πρόγραμμα ChatGPT for Academic Researchers, το οποίο παρέχει δωρεάν πρόσβαση στα κορυφαία μοντέλα της εταιρείας σε 100.000 ενεργούς μαθηματικούς και επιστήμονες.
Τα ευρήματα αυτά φωτίζουν άμεσα και το ευρύτερο πλαίσιο των πρόσφατων γεγονότων που προκάλεσαν ρυθμιστικές ανησυχίες. Η ικανότητα ενός υπολογιστικού συστήματος να εκτελεί χιλιάδες επαναληπτικές λογικές δοκιμές προκειμένου να επιλύσει ένα πρόβλημα κρυπτογραφίας πλέγματος, εξηγεί απόλυτα τον λόγο για τον οποίο τέτοιοι αυτόνομοι πράκτορες απαιτούν συνεχή λειτουργία και εκτεταμένους πόρους, στοιχείο που διευκόλυνε την πρόσφατη παραβίαση των πρωτοκόλλων ασφαλείας κατά τη διάρκεια εσωτερικών δοκιμών.
Η αρχιτεκτονική του Astra απαιτεί ένα επίπεδο αυτονομίας που του επιτρέπει να πλοηγείται σε πολύπλοκα λογικά δέντρα, γεγονός που το καθιστά ταυτόχρονα το πλέον ισχυρό ερευνητικό εργαλείο που έχει κατασκευαστεί μέχρι σήμερα, αλλά και μια δυνητική πρόκληση για την ασφάλεια των κλειστών δικτύων εάν δεν περιοριστεί με τα κατάλληλα ψηφιακά όρια.
