Επιτροπή με επικεφαλής νομπελίστα επιβεβαιώνει την απόδειξη Yang-Mills της OpenAI

Πενταμελής επιτροπή με πρόεδρο τον νομπελίστα David Gross κατέληξε στο συμπέρασμα ότι η μηχανικά επαληθευμένη απόδειξη της OpenAI δείχνει ότι η κβαντική θεωρία Yang-Mills υπάρχει. Η επιτροπή σημείωσε επίσης ότι το αποτέλεσμα δεν επιλύει το πρόβλημα του χάσματος μάζας, το τμήμα του προβλήματος που συνοδεύεται από το Βραβείο της Χιλιετίας ύψους 1 εκατομμυρίου δολαρίων του Clay Mathematics Institute. Η Ομάδα Εργασίας Yang-Mills ανέφερε στην τρίτη της δήλωση ότι την Τρίτη 10 Νοεμβρίου θα δημοσιεύσει δύο αποθετήρια στο GitHub. Το ένα περιέχει τον πλήρη κώδικα Lean που υπέβαλε η OpenAI στις 28 Οκτωβρίου. Το άλλο περιέχει έκθεση αξιολόγησης που καταλήγει στο ότι η υποβολή «αποδεικνύει την ύπαρξη της καθαρής θεωρίας Yang-Mills σύμφωνα με τις διατυπώσεις προβλημάτων που είναι τυπικές στη φυσική και τα μαθηματικά».kitp.ucsb.edu

Τι διαπίστωσε η επιτροπή

Η αξιολόγηση αναφέρει ότι η υποβολή αποδεικνύει «ότι μια σχετικιστική κβαντική θεωρία πεδίου που ικανοποιεί τα αξιώματα Wightman μπορεί να κατασκευαστεί ως όριο κλιμάκωσης μιας τετραδιάστατης θεωρίας βαθμίδας πλέγματος Wilson για οποιαδήποτε απλή συμπαγή ομάδα βαθμίδας», σύμφωνα με το FourWeekMBA, το οποίο παρέθεσε το έγγραφο. Μια καθαρή ανακατασκευή, ένας έλεγχος αξιωμάτων και ένας έλεγχος Comparator πέρασαν με επιτυχία. Οι αξιολογητές έγραψαν επίσης ότι η εργασία «δεν αποδεικνύει ότι το όριο άπειρου όγκου είναι μοναδικό ή ότι υπάρχει χάσμα μάζας». Ένα χάσμα μάζας θα σήμαινε ότι μια ελάχιστη θετική ενέργεια χωρίζει το θεμελιώδες κενό από τις διεγερμένες καταστάσεις της θεωρίας.indiatoday.in+1

Η επιτροπή προσέθεσε τη δική της επιφύλαξη. Χρησιμοποίησε το μοντέλο Astra της OpenAI για να βοηθηθεί στην ανάλυση του κώδικα και δήλωσε ότι «δεν ισχυρίζεται ότι έχει κατανοήσει πλήρως την απόδειξη ακόμη». Η αξιολόγηση δεν βασίστηκε στο ξεχωριστό γραπτό χειρόγραφο. Η ομάδα ανέφερε επίσης ότι «δεν έχει επί του παρόντος καμία σχέση με το Clay Mathematics Institute», επομένως η διαπίστωσή της δεν αποτελεί απόφαση για την απονομή του βραβείου.fourweekmba.com+1

Πώς έφτασε η απόδειξη στους αξιολογητές

Η OpenAI δήλωσε ότι τα μοντέλα της παρήγαγαν μια γραπτή απόδειξη ύπαρξης Yang-Mills στις 9 Σεπτεμβρίου και μια απόδειξη που καλύπτει την κβαντική χρωμοδυναμική στις 18 Σεπτεμβρίου. Ολοκλήρωσε τη τυποποίηση του αποτελέσματος Yang-Mills στο σύστημα Lean στις 16 Οκτωβρίου. Την ίδια ημέρα, η OpenAI ζήτησε από τον Gross να αναλάβει τη φύλαξη της απόδειξης και να διαχειριστεί τη δημοσιοποίησή της. Ο Gross είναι μόνιμο μέλος του Kavli Institute for Theoretical Physics. Τα άλλα μέλη της επιτροπής είναι οι Michael Douglas, Arthur Jaffe, Igor Klebanov και Nikita Nekrasov.openai.com+2

Το Lean είναι ένας βοηθός απόδειξης στον οποίο το λογισμικό ελέγχει κάθε λογικό βήμα. Ο έλεγχός του από μόνο του δεν μπορεί να επιβεβαιώσει ότι η κωδικοποιημένη δήλωση αντιστοιχεί στο επιδιωκόμενο φυσικό πρόβλημα. Γι' αυτόν τον λόγο η επιτροπή σύγκρινε πρώτα τους ορισμούς με τις τυπικές διατυπώσεις.tokenpost.com

Τι παραμένει ανοικτό

Η πλήρης απόδειξη των 1.147 σελίδων δεν έχει δοθεί στη δημοσιότητα. Η επιτροπή δήλωσε ότι θα δημοσιεύσει τις αποδείξεις μαζί με την αξιολόγησή της «όταν είμαστε ικανοποιημένοι με την ποιότητα και την ορθότητα». Τα υπόλοιπα ανοικτά ερωτήματα της ομάδας περιλαμβάνουν το αν το όριο άπειρου όγκου είναι μοναδικό, αν υπάρχει ομοιόμορφο χάσμα μάζας, καθώς και τον νόμο περιοχής του βρόχου Wilson. Μια δεύτερη υποβολή της OpenAI, με ημερομηνία 4 Νοεμβρίου, αναφέρεται ως εργασία σε εξέλιξη.kitp.ucsb.edu+1