Η PSI υποστηρίζει ότι τεχνητή νοημοσύνη της Anthropic απέδειξε κβαντική εικασία

Η Physical Superintelligence (PSI), μια startup τεχνητής νοημοσύνης με εστίαση στη φυσική, ανακοίνωσε την Παρασκευή 6 Νοεμβρίου ότι ένα ερευνητικό σύστημα που δημιούργησε απέδειξε την εικασία Aaronson-Ambainis, ένα πρόβλημα κβαντικής πολυπλοκότητας που παρέμενε άλυτο από το 2008, χρησιμοποιώντας εκδόσεις ενός μη δημόσιου μοντέλου της Anthropic. Η εταιρεία ανέφερε ότι το σύστημα ολοκλήρωσε την απόδειξη την τρίτη ημέρα λειτουργίας του στις υποδομές της και ότι ο βοηθός απόδειξης Lean την αποδέχτηκε. Το αποτέλεσμα δεν έχει περάσει ακόμη από αξιολόγηση σε επιστημονικό περιοδικό. Προς το παρόν πρόκειται για ισχυρισμό της εταιρείας, ωστόσο η εργασία και η μηχανογραφικά ελεγμένη απόδειξη είναι δημόσια διαθέσιμες, ώστε οι εξωτερικοί ειδικοί να μπορούν να τις ελέγξουν.psi.inc

Τι υποστηρίζει η απόδειξη

Η εικασία εξετάζει αν οι κβαντικοί υπολογιστές μπορούν να είναι εκθετικά ταχύτεροι από τους συμβατικούς σε τυχαίες εισόδους, οι οποίες σχεδόν ποτέ δεν περιέχουν τα κρυμμένα μοτίβα που εκμεταλλεύονται αλγόριθμοι όπως η μέθοδος παραγοντοποίησης του Shor. Οι Aaronson και Ambainis έδειξαν ότι αν ίσχυε η δήλωσή τους σχετικά με τα περιορισμένα πολυώνυμα χαμηλού βαθμού, οι κβαντικές επιταχύνσεις σε τυχαίες εισόδους θα ήταν το πολύ πολυωνυμικές. Η ανακοίνωση της PSI διατύπωσε το αποτέλεσμα ως εξής: "ένας κβαντικός υπολογιστής δεν μπορεί να εξοικονομήσει εκθετικά πολλές αναζητήσεις εκτός αν η συμβολοσειρά διαθέτει ένα σπάνιο μοτίβο". Το θεώρημα περιορίζει πόσες φορές ένας αλγόριθμος διαβάζει την είσοδό του, όχι τον συνολικό χρόνο υπολογισμού, γεγονός που αφήνει περιθώρια για πρακτικά κβαντικά πλεονεκτήματα.thequantuminsider.com+1

Η πρώτη απόδειξη έδωσε ένα ασθενέστερο όριο. Αφού η PSI έθεσε το σύστημα να εργαστεί σε σχετικά ανοιχτά προβλήματα, βελτίωσε το αποτέλεσμα δύο φορές και το Lean αποδέχτηκε την τελική έκδοση. Το επιχείρημα ακολουθεί ένα σχέδιο των Shachar Lovett και Jiapeng Zhang. Αντικαθιστά μια ανισότητα που είχαν αφήσει ως εικασία με μια νέα, η οποία αποδείχθηκε μέσω της σύζευξης ρυθμίσεων εισόδου μέσω μιας ορίζουσας.psi.inc

Ανθρώπινοι ρόλοι και έλεγχοι

Το μέλος του προσωπικού της PSI, David Turturean, κατασκεύασε και έθεσε σε λειτουργία το σύστημα, καθοδήγησε το μοντέλο στη σύνταξη της εργασίας και είναι υπεύθυνος για την ορθότητά της. Οι σύμβουλοι Jim Halverson και Phiala Shanahan έλεγξαν την απόδειξη και σχολίασαν τη διατύπωση. Το αποθετήριο GitHub του έργου αναφέρει ότι η απόδειξη, η εργασία και η τυποποίηση παρήχθησαν από μοντέλα τεχνητής νοημοσύνης. Αναφέρει επίσης ότι τα θεωρήματα Lean δεν περιέχουν σύμβολα κράτησης θέσης ή πρόσθετα αξιώματα και επανελέγχθηκαν από δύο ανεξάρτητες υλοποιήσεις πυρήνα. Οι αναγνώστες πρέπει ακόμη να επιβεβαιώσουν ότι η επίσημη δήλωση αντιστοιχεί στην αρχική εικασία.github.com+1

Οι ερευνητές του Stanford Guy Blanc, Jordan Docter, Carmen Strassle και Li-Yang Tan επίλυσαν μια ειδική περίπτωση τον Αύγουστο. Μελετούν την πλήρη απόδειξη και, σε δήλωση που δημοσιεύτηκε από την PSI, τη χαρακτήρισαν "τεράστιο αποτέλεσμα" στο οποίο "όλα συνδυάζονται με έναν μάλλον μαγικό τρόπο".psi.inc

Αναπάντητα ερωτήματα

Η PSI δεν έχει αποκαλύψει ποιο μοντέλο της Anthropic χρησιμοποίησε, και η Anthropic δεν απάντησε σε αίτημα για σχολιασμό. Η ανακοίνωση ακολουθεί τον ισχυρισμό της OpenAI τον Σεπτέμβριο ότι είχε επιλύσει ένα πρόβλημα που αφορούσε τις εξισώσεις Navier-Stokes, και προστίθεται στη συζήτηση σχετικά με το τι σημαίνει η τεχνητή νοημοσύνη για την καριέρα των μαθηματικών.businessinsider.com