Λίγα μόλις εικοσιτετράωρα μετά τις άκρως εμπιστευτικές ενημερώσεις προς τους Αμερικανούς νομοθέτες στην Ουάσιγκτον σχετικά με τις ικανότητες των νέων πολυ-πρακτορικών συστημάτων (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 απαιτεί ένα επίπεδο αυτονομίας που του επιτρέπει να πλοηγείται σε πολύπλοκα λογικά δέντρα, γεγονός που το καθιστά ταυτόχρονα το πλέον ισχυρό ερευνητικό εργαλείο που έχει κατασκευαστεί μέχρι σήμερα, αλλά και μια δυνητική πρόκληση για την ασφάλεια των κλειστών δικτύων εάν δεν περιοριστεί με τα κατάλληλα ψηφιακά όρια.
πηγή:https://www.techgear.gr/
