Η OpenAI ανακοινώνει τρεις νέες επιστημονικές αποδείξεις και επιστρατεύει εξωτερικούς κριτές

Η OpenAI ανακοίνωσε τη Δευτέρα, 26 Οκτωβρίου, ότι τα εσωτερικά της μοντέλα παρήγαγαν τρία νέα αποτελέσματα. Το πρώτο είναι μια απόδειξη της εικασίας τοπικής εξομάλυνσης σε κάθε διάσταση, η οποία θα επιλύσει επίσης τις εικασίες Kakeya και Stein. Το δεύτερο είναι μια κατάρριψη της Υπόθεσης Εκθετικού Χρόνου, και το τρίτο είναι μια αυστηρή απόδειξη ύπαρξης για την κβαντική χρωμοδυναμική. Αντί να ζητήσει ακαδημαϊκή αναγνώριση, η εταιρεία κάλεσε εξωτερικούς ειδικούς να λειτουργήσουν ως «ποιμένες» και να οργανώσουν ομάδες που θα ελέγξουν και θα εξηγήσουν το έργο.theverge.com+1

Τρία αποτελέσματα, τρία σχέδια δημοσιοποίησης

Ο μαθηματικός ισχυρισμός βασίζεται στην εικασία τοπικής εξομάλυνσης του Christopher Sogge από το 1991. Οι μαθηματικοί την απέδειξαν σε δύο χωρικές διαστάσεις το 2019, ενώ η εικασία Kakeya αποδείχθηκε σε τρεις διαστάσεις το 2025. Η OpenAI αναφέρει ότι η απόδειξή της βασίζεται σε «μια νέα βοηθητική μερική διαφορική εξίσωση». Ένας ειδικός πρότεινε τη δημοσιοποίηση των ακατέργαστων δεδομένων, οπότε η OpenAI ανάρτησε μια περιγραφή του μοντέλου και μια απόδειξη Lean στο GitHub, όπως έκανε και με την κυκλοφορία της 6ης Οκτωβρίου.openai.com+1

Το αποτέλεσμα της πληροφορικής περιγράφει έναν ντετερμινιστικό αλγόριθμο που μετρά ικανοποιητικές αναθέσεις τύπων CNF σταθερού πλάτους σε υποεκθετικό χρόνο. Εφαρμοσμένο στο 3-SAT, αυτό θα κατέρριπτε μια εικασία που χρησιμοποιείται σε εκατοντάδες αποδείξεις δυσκολίας. Οι Russell Impagliazzo και Ramamohan Paturi από το UC San Diego, οι οποίοι πρότειναν πρώτοι την υπόθεση, θα ηγηθούν της αξιολόγησης μαζί με τον Ryan Williams του MIT. Προειδοποίησαν ότι «η συμμετοχή μας δεν πρέπει να εκληφθεί ως πιστοποίηση του ισχυρισμού». Η OpenAI συμφώνησε επίσης στο αίτημά τους να χρηματοδοτήσει ένα συνέδριο σχετικά με το τι σημαίνει το αποτέλεσμα για τον τομέα.thenextweb.com+1

Το υλικό της φυσικής κρατήθηκε πίσω. Μια ομάδα με επικεφαλής τον νομπελίστα David Gross, μαζί με τους Michael Douglas, Arthur Jaffe, Igor Klebanov και Nikita Nekrasov, επέλεξε να συντάξει η ίδια το αποτέλεσμα. Το έργο περιλαμβάνει μια απόδειξη ύπαρξης για την καθαρή θεωρία Yang-Mills, η οποία αποτελεί μέρος ενός προβλήματος του Clay Millennium Prize.openai.com

Ερωτήματα σχετικά με το μοντέλο των ποιμένων

Η OpenAI δηλώνει ότι οι ποιμένες δεν θα υπογράψουν συμφωνίες εμπιστευτικότητας και δεν θα πληρωθούν. Αναφέρει επίσης ότι «δεν επιδιώκει ακαδημαϊκή αναγνώριση» για τις ανακαλύψεις των μοντέλων της. Η εταιρεία αναγνώρισε ότι η επιλογή των πρώτων ποιμένων «δημιουργεί ασυμμετρία πληροφοριών». Η διευθέτηση αυτή προστίθεται στην πρόσφατη συνεισφορά 5 εκατομμυρίων δολαρίων της OpenAI στο Ίδρυμα Simons, το οποίο θα χρηματοδοτήσει εργαστήρια σχετικά με τα αποτελέσματα που παράγονται από την τεχνητή νοημοσύνη.openai.com

Δεν συμφωνούν όλοι με αυτή την προσέγγιση. Μία ημέρα πριν από την ανακοίνωση, η συμβουλευτική επιτροπή μαθηματικών της OpenAI συνέστησε στις εταιρείες τεχνητής νοημοσύνης να μην υιοθετήσουν την πρακτική της παροχής προνομιακής πρόσβασης σε επιλεγμένα άτομα στα αποτελέσματα των μοντέλων. Η επιτροπή επικαλέστηκε την άνιση πρόσβαση, τη δανεισμένη φήμη και τη μεροληπτική επιλογή. Το Gizmodo σημείωσε ότι η επαλήθευση Lean έχει προκαλέσει προβλήματα στο παρελθόν. Οι αναγνώστες του προηγούμενου ισχυρισμού της OpenAI για τις εξισώσεις Navier-Stokes ανησύχησαν ότι η απόδειξη Lean είχε επαληθεύσει μια ασθενέστερη δήλωση από αυτή που δημοσίευσε η εταιρεία. Η OpenAI περιγράφει τα νέα χειρόγραφα ως «ακατέργαστα ερευνητικά δεδομένα» που η επιστημονική κοινότητα πρέπει ακόμη να μετατρέψει σε γνώση.gizmodo.com+1