Ανακάλυψη στην εξίσωση Navier-Stokes με τη βοήθεια AI προκαλεί σύγκρουση μεταξύ OpenAI και ερευνητών της Anthropic

Μια διαμάχη για ένα από τα πιο διάσημα άλυτα προβλήματα στα μαθηματικά ξέσπασε την Τρίτη, αφού ο μαθηματικός του NYU, Tristan Buckmaster, δημοσίευσε μια δήλωση κατηγορώντας την OpenAI ότι έσπευσε να οικειοποιηθεί τα εύσημα για μια εργασία που βασίστηκε στη δική του έρευνα, αλλά και ότι τον πίεσε να απομακρύνει τον συνεργάτη του από τη συγγραφή λόγω των δεσμών του με μια ανταγωνιστική εταιρεία AI.

Τα Μαθηματικά

Ο Buckmaster και ο Levent Alpöge, μαθηματικός που εργάζεται στην Anthropic, πέρασαν περίπου έναν χρόνο χρησιμοποιώντας εργαλεία AI για να επεκτείνουν ένα ερευνητικό πρόγραμμα που πρωτοστάτησαν οι Diego Córdoba και Luis Martínez-Zoroa. Η εργασία τους, που δημοσιεύτηκε αργά τη Δευτέρα μαζί με επίσημη επαλήθευση στον βοηθό απόδειξης Lean, απέδειξε ότι αρκετές εξισώσεις ρευστών που σχετίζονται στενά με τις Navier-Stokes —συμπεριλαμβανομένων των τρισδιάστατων ασυμπίεστων εξισώσεων Euler— μπορούν να αναπτύξουν ιδιομορφίες σε πεπερασμένο χρόνο υπό ομαλή πίεση. Ο νικητής του μεταλλίου Fields, Terence Tao, χαρακτήρισε τα αποτελέσματα "αξιοσημείωτο επίτευγμα" και δήλωσε ότι δεν βλέπει "κανένα θεμελιώδες εμπόδιο" στην επέκταση των μεθόδων στις πλήρεις εξισώσεις Navier-Stokes.newscientist+2

Οι εξισώσεις Navier-Stokes, που περιγράφουν την κίνηση των ρευστών, αποτελούν ένα από τα επτά Προβλήματα της Χιλιετίας (Millennium Prize Problems) που έχει ορίσει το Ινστιτούτο Μαθηματικών Clay, με το καθένα να συνοδεύεται από αμοιβή 1 εκατομμυρίου δολαρίων. Οι μαθηματικοί παλεύουν εδώ και δύο αιώνες να προσδιορίσουν αν οι λύσεις των εξισώσεων παραμένουν πάντα ομαλές ή αν μπορούν να οδηγήσουν σε ιδιομορφίες.scientificamerican

Η Διαμάχη

Σύμφωνα με τη δημόσια δήλωση του Buckmaster, φήμες για την πρόοδο του ίδιου και του Alpöge έφτασαν στην OpenAI γύρω στις 3 Σεπτεμβρίου. Λίγες μέρες αργότερα, ο επιστήμονας της OpenAI, Sébastien Bubeck, του είπε ότι ένα εσωτερικό μοντέλο είχε παράγει μια απόδειξη περίπου 100 σελίδων που επεκτείνει το αποτέλεσμα στις πλήρεις εξισώσεις Navier-Stokes. Ο Buckmaster ισχυρίζεται ότι η προσπάθεια της εταιρείας ξεκίνησε μόνο αφού έμαθαν για τη δική του εργασία και ότι ακολούθησε την ίδια στενή τεχνική προσέγγιση —στοχεύοντας στον όρο "πίεσης" στην επίσημη διατύπωση του προβλήματος Clay— που ο ίδιος και ο Alpöge ακολουθούσαν αθόρυβα.officechai+1

Ο Buckmaster αναφέρει ότι ο Bubeck πίεσε δύο φορές για τον αποκλεισμό του Alpöge από τη συγγραφή, επικαλούμενος την απασχόλησή του στην Anthropic ως επιπλοκή. Όταν ο Buckmaster είπε ότι θα το δημοσιοποιήσει, ισχυρίζεται ότι ο Bubeck απάντησε: "Γιατί να καταστρέψεις την καριέρα σου;". Επίσης, λέει ότι ρώτησε αν το μοντέλο της OpenAI είχε εκπαιδευτεί στα ιδιωτικά δεδομένα των συνεδριών του στο Codex, τα οποία περιείχαν προσχέδια αποδείξεων. Λέει ότι δεν έλαβε σαφή απάντηση.scientificamerican+1

Ο Bubeck απάντησε στο X, χαρακτηρίζοντας τις κατηγορίες "ψευδείς και εμπρηστικές" και δηλώνοντας ότι ενήργησε "ακολουθώντας τα ακαδημαϊκά πρότυπα". Υποσχέθηκε μια πληρέστερη δήλωση.officechai

Τι Παραμένει Ανεπίλυτο

Η απόδειξη για τις Navier-Stokes που ισχυρίζεται η OpenAI δεν έχει δημοσιοποιηθεί ούτε επαληθευτεί από εξωτερικούς μαθηματικούς. Ακόμη και τα επαληθευμένα αποτελέσματα των Buckmaster-Alpöge αφορούν εκδοχές εξισώσεων με πίεση, όχι το πρόβλημα Navier-Stokes χωρίς πίεση, όπως ερμηνεύουν οι περισσότεροι ειδικοί το βραβείο Millennium. Ο David Silvester από το Πανεπιστήμιο του Μάντσεστερ σημείωσε ότι η τρέχουσα εργασία μπορεί παρ' όλα αυτά να είναι αρκετή για να διεκδικηθεί το βραβείο, ενώ η Camilla Nobili από το Πανεπιστήμιο του Surrey προειδοποίησε ότι η επέκταση στις πλήρεις Navier-Stokes θα απαιτήσει κάτι περισσότερο από την απλή επανάληψη της ίδιας τεχνικής.glitchwire+3

"Τίποτα δεν θα αλλάξει στις εφαρμογές όπου χρησιμοποιούνται οι Navier-Stokes λόγω αυτού του αποτελέσματος", δήλωσε ο Silvester. "Είναι, ειλικρινά, μια μαθηματική λεπτομέρεια". Το μεγαλύτερο ερώτημα —αν τα ανταγωνιστικά εργαστήρια AI θα διαστρεβλώσουν τους κανόνες της μαθηματικής ανακάλυψης— ίσως αποδειχθεί πιο δύσκολο να επιλυθεί από τις ίδιες τις εξισώσεις.newscientist