Το Ινστιτούτο Clay τοποθετείται για τον ισχυρισμό της OpenAI σχετικά με το Navier-Stokes

Η OpenAI ανακοίνωσε στις 8 Σεπτεμβρίου ότι ένα ακυκλοφόρητο εσωτερικό μοντέλο AI, αξιοποιώντας περίπου 10.000 αυτόνομους πράκτορες σε διάστημα 88 ωρών, παρήγαγε μια απόδειξη ότι οι τρισδιάστατες εξισώσεις Navier-Stokes μπορούν να εμφανίσουν μοναδικότητα σε πεπερασμένο χρόνο, ένα αποτέλεσμα που, εάν επιβεβαιωθεί, θα επίλυε ένα από τα έξι εναπομείναντα Προβλήματα της Χιλιετίας που έθεσε το Ινστιτούτο Μαθηματικών Clay το 2000. Η ανακοίνωση έχει σκιασθεί από μια κλιμακούμενη διαμάχη με τον μαθηματικό του NYU Tristan Buckmaster και τον ερευνητή της Anthropic Levent Alpöge σχετικά με την πατρότητα της έρευνας και τον πιθανό ρόλο ιδιωτικών δεδομένων.nature+2

Ένα ισχυριζόμενο επίτευγμα στη δυναμική των ρευστών

Οι εξισώσεις Navier-Stokes περιγράφουν πώς κινούνται ρευστά όπως το νερό και ο αέρας, και το ερώτημα εάν οι λύσεις τους παραμένουν πάντα ομαλές ή μπορούν να «εκραγούν», παράγοντας φυσικά αδύνατες άπειρες ταχύτητες, παραμένει ανοικτό εδώ και δεκαετίες. Η OpenAI δήλωσε ότι η απόδειξή της δείχνει πως ένα αρχικά ομαλό ρευστό σε ηρεμία μπορεί να αναπτύξει μια τέτοια μοναδικότητα υπό ομαλή εξωτερική δύναμη, με το αποτέλεσμα να έχει επαληθευτεί μέσω της Lean, μιας γλώσσας τυπικής απόδειξης θεωρημάτων. Η προσπάθεια κόστισε «εκατομμύρια δολάρια» σε υπολογιστική ισχύ, σύμφωνα με στελέχη της OpenAI σε ενημέρωση δημοσιογράφων.axios+3

Το Scientific American και η S&P Global Inc. ↗ 0.07% ανέφεραν ότι η επαλήθευση μέσω της Lean «σχεδόν εγγυάται» την ορθότητα της απόδειξης, αν και η ευρύτερη μαθηματική κοινότητα δεν έχει ολοκληρώσει ακόμη την αξιολόγηση από ομοτίμους. Το Ινστιτούτο Μαθηματικών Clay δήλωσε στις 11 Σεπτεμβρίου ότι «συμμερίζεται τον ενθουσιασμό» καθώς το αποτέλεσμα «αναλύεται και εξετάζεται», αποφεύγοντας ωστόσο να δηλώσει ότι το πρόβλημα έχει λυθεί.scientificamerican+1

Η διαμάχη για την πατρότητα

Το επίτευγμα ήρθε εν μέσω κατηγοριών από τον Buckmaster ότι η OpenAI επιτάχυνε την εργασία της αφού έμαθε για σχετική έρευνα που διεξήγαγε ο ίδιος και ο Alpöge, εν μέρει χρησιμοποιώντας το εργαλείο Codex της OpenAI. Ο Buckmaster και ο Alpöge δημοσίευσαν τα δικά τους αποτελέσματα στις 7 Σεπτεμβρίου, δείχνοντας «έκρηξη» σε πεπερασμένο χρόνο για σχετικές αλλά απλουστευμένες εξισώσεις ρευστών. Σύμφωνα με δημοσίευμα του TechRepublic, ο Buckmaster ισχυρίζεται ότι η OpenAI του προσέφερε αποκλειστική συγγραφή στη λύση Navier-Stokes υπό τον όρο να αφαιρεθεί το όνομα του Alpöge, ισχυρισμό που αρνείται ο ερευνητής της OpenAI Sébastien Bubeck.techrepublic+3

Η OpenAI δήλωσε ότι οι ερευνητές και οι πράκτορές της «δεν είδαν καμία από τις εργασίες τους με κανένα μέσο μέχρι τη δημόσια κυκλοφορία τους» και ότι «δεν υπήρξε πρόσβαση σε συγκεκριμένα δεδομένα χρηστών για την επίλυση αυτού του προβλήματος». Ωστόσο, η εταιρεία αναγνώρισε ότι «δεν μπορεί να αποκλείσει το ενδεχόμενο ανωνυμοποιημένα δεδομένα που προέρχονται από τη χρήση των προϊόντων μας να βοήθησαν στη βελτίωση των μοντέλων μας». Ο Buckmaster χαρακτήρισε δημόσια τους ισχυρισμούς του Bubeck «εντελώς ψευδείς», και στη συνέχεια ο Bubeck ζήτησε συγγνώμη για σχόλιο που έκανε κατά τη διάρκεια των συνομιλιών τους, σύμφωνα με το The Next Web.thenextweb+4

Ευρύτερες αντιδράσεις

Η διαμάχη έχει προκαλέσει κραδασμούς στη μαθηματική κοινότητα. Ανοιχτή επιστολή που υπέγραψαν διακεκριμένοι μαθηματικοί επέκρινε τις εταιρείες AI επειδή βιάζονται να λύσουν διάσημα προβλήματα χωρίς την κατάλληλη αναφορά στους δημιουργούς. Ο κάτοχος του Μεταλλίου Fields, Deng Yu, σχολίασε χαριτολογώντας στα μέσα κοινωνικής δικτύωσης ότι αν η AI λύσει όλα τα μαθηματικά προβλήματα, «θα πάω σπίτι να γράψω το μυθιστόρημά μου yuri», ενώ προειδοποίησε ότι η AI έχει δημιουργήσει «ένα κλίμα ανησυχίας και ανυπομονησίας στους μαθηματικούς κύκλους». Η επίσημη απάντηση του Ινστιτούτου Μαθηματικών Clay επαίνεσε ιδιαίτερα την προοπτική για «νέα ανθρώπινη κατανόηση», αλλά δεν έκανε καμία αναφορά στην επιλεξιμότητα για το βραβείο.thenews+1