OpenAI και Anthropic διεκδικούν την κατάρριψη θεωρίας υπολογισμών

Η OpenAI ανακοίνωσε τη Δευτέρα, 26 Οκτωβρίου, ότι τα εσωτερικά της μοντέλα τεχνητής νοημοσύνης παρήγαγαν τρία αποτελέσματα. Το πρώτο είναι μια απόδειξη της εικασίας τοπικής εξομάλυνσης σε κάθε διάσταση. Το δεύτερο είναι μια κατάρριψη της Υπόθεσης Εκθετικού Χρόνου (ETH). Το τρίτο είναι μια αυστηρή απόδειξη ύπαρξης για αλληλεπιδρώσες κβαντικές θεωρίες πεδίου, συμπεριλαμβανομένης της κβαντικής χρωμοδυναμικής (QCD), σύμφωνα με την ανακοίνωση της εταιρείας. Η OpenAI περιέγραψε τα χειρόγραφα ως "μια μορφή ακατέργαστων ερευνητικών δεδομένων". Ζήτησε από εξωτερικούς ειδικούς να λειτουργήσουν ως "ποιμένες" για τα αποτελέσματα, και κάθε πεδίο ακολουθεί διαφορετική προσέγγιση δημοσιοποίησης. Το Scientific American ανέφερε ότι οι ειδικοί είναι "ακόμη συγκλονισμένοι", αλλά ότι η δημοσιοποίηση είναι ήδη αμφιλεγόμενη. Λίγες ώρες μετά την ανακοίνωση, η Anthropic δημοσίευσε τη δική της κατάρριψη της ETH.openai.com+1

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

Στα μαθηματικά, ο Christopher Sogge πρότεινε την εικασία τοπικής εξομάλυνσης το 1991. Η OpenAI λέει ότι η απόδειξή της σε κάθε διάσταση επιλύει επίσης τις εικασίες Kakeya και Stein σε όλες τις διαστάσεις. Η εταιρεία έχει δημοσιεύσει το κείμενο του μοντέλου και μια τυπική απόδειξη Lean στο GitHub, ανέφερε η OpenAI. Ο Alex Iosevich, μαθηματικός στο Πανεπιστήμιο του Rochester, δήλωσε στο Al Jazeera ότι η είδηση ήταν "ένα σοκ στην αρχή". Την αποκάλεσε "ιστορική εξέλιξη".aljazeera.com+1

Για την ETH, η OpenAI λέει ότι το σύστημά της βρήκε την κατάρριψη στις 16 Οκτωβρίου και το αποτέλεσμα επισημοποιήθηκε στο Lean στις 17 Οκτωβρίου. Οι Russell Impagliazzo και Ramamohan Paturi από το UC San Diego, οι οποίοι πρότειναν πρώτοι την υπόθεση, ηγούνται της αναθεώρησης μαζί με τον Ryan Williams του MIT. Η OpenAI έχει επίσης δεσμευτεί να χρηματοδοτήσει ένα συνέδριο για το αποτέλεσμα, ανέφερε η εταιρεία. Η απόδειξη παρέχει έναν αλγόριθμο για το 3-SAT που εκτελείται ελαφρώς ταχύτερα από τον εκθετικό χρόνο. Δεν επιλύει απαραίτητα το πρόβλημα P έναντι NP, σημείωσε το Scientific American.openai.com+1

Το αποτέλεσμα της φυσικής καλύπτει το μέρος της ύπαρξης του προβλήματος του Βραβείου της Χιλιετίας Yang-Mills, αλλά όχι το χάσμα μάζας. Μια ομάδα με επικεφαλής τον νομπελίστα David Gross επέλεξε να κρατήσει πίσω το υλικό που παρήγαγε η τεχνητή νοημοσύνη ενώ συντάσσει η ίδια την εργασία, σύμφωνα με την OpenAI.openai.com

Διαμάχη και μια ανταγωνιστική απόδειξη

Σύμφωνα με το Scientific American, η δημοσιοποίηση έρχεται σε αντίθεση με τις συστάσεις της Συμβουλευτικής Ομάδας για τα Μαθηματικά και την Τεχνητή Νοημοσύνη (AGMAI), μια επιτροπή εμπειρογνωμόνων που οργάνωσε η ίδια η OpenAI. Το μοντέλο παραμένει ιδιοταγές, και τα prompts του καθώς και οι αλυσίδες σκέψης του δεν έχουν δημοσιοποιηθεί. Η AGMAI ζήτησε να δημοσιευτεί η εργασία για το Yang-Mills, δηλώνοντας ότι "δεν υπάρχει επιστημονικός λόγος για περαιτέρω καθυστέρηση της δημοσιοποίησης". Το ίδιο ρεπορτάζ αναφέρει ότι ένας υπάλληλος της Anthropic και ένας μαθηματικός από το Northwestern εργάζονταν στο ίδιο πρόβλημα Yang-Mills δημόσια με τη βοήθεια τεχνητής νοημοσύνης.scientificamerican.com

Αργά τη Δευτέρα, η Anthropic δημοσίευσε το "A 2^o(n) Time Algorithm for 3-SAT", μια εργασία που αποδίδεται στο Claude. Ο ερευνητής της Anthropic, Levent Alpöge, δήλωσε ότι ένα εσωτερικό μοντέλο βρήκε τον βασικό αλγόριθμο στις 16 Οκτωβρίου "χωρίς ανθρώπινη παρέμβαση", ανέφερε το OfficeChai. Κανένας από τους ισχυρισμούς των εργαστηρίων δεν έχει υποβληθεί σε αξιολόγηση από ομοτίμους. Προς το παρόν, εναπόκειται στους ίδιους τους συγγραφείς της υπόθεσης να αποφασίσουν αν η ισχυριζόμενη κατάρριψη ευσταθεί.officechai.com