Μηχανικοί: Η απόδειξη της OpenAI για τις εξισώσεις Navier-Stokes δεν αλλάζει την πρακτική της ρευστομηχανικής

Στις 8 Σεπτεμβρίου, η OpenAI ανακοίνωσε ότι ένα μη δημοσιευμένο εσωτερικό σύστημα τεχνητής νοημοσύνης παρήγαγε μια απόδειξη ότι οι τρισδιάστατες εξισώσεις Navier-Stokes μπορούν να αναπτύξουν μια ιδιομορφία σε πεπερασμένο χρόνο, επιλύοντας ενδεχομένως ένα από τα έξι εναπομείναντα Προβλήματα της Χιλιετίας που έθεσε το Ινστιτούτο Μαθηματικών Clay το 2000. Η εταιρεία δημοσίευσε μια εργασία 166 σελίδων και μια επίσημη επαλήθευση στον βοηθό απόδειξης Lean, αν και το αποτέλεσμα αναμένει ακόμη ανεξάρτητη αξιολόγηση από ειδικούς.OpenAI+3

Τι υποστηρίζει η απόδειξη

Οι εξισώσεις Navier-Stokes, οι οποίες περιγράφουν την κίνηση των ρευστών όπως ο αέρας και το νερό, χρησιμοποιούνται εδώ και σχεδόν δύο αιώνες σε εφαρμογές που κυμαίνονται από τον σχεδιασμό αεροσκαφών έως την πρόγνωση του καιρού. Το μακροχρόνιο μαθηματικό ερώτημα ήταν αν οι ομαλές λύσεις αυτών των εξισώσεων μπορούν να καταρρεύσουν, παράγοντας φυσικά αδύνατες άπειρες ταχύτητες.scientificamerican+1

Η OpenAI αναφέρει ότι το σύστημά της κατασκεύασε ένα σενάριο στο οποίο ένα ρευστό που ξεκινά από την ηρεμία, υποβαλλόμενο σε μια ομαλή εξωτερική δύναμη, σχηματίζει μια δίνη που σπειροειδώς κινείται προς τα μέσα και αναπτύσσει απεριόριστη ταχύτητα σε πεπερασμένο χρόνο, διατηρώντας παράλληλα πεπερασμένη ενέργεια. "Η απόδειξή μας δείχνει ότι υπάρχουν ρευστά που ξεκινούν τέλεια κανονικά και, υπό τις εξισώσεις Navier-Stokes, επιτυγχάνουν πράγματι άπειρη ταχύτητα σε πεπερασμένο χρόνο", δήλωσε ο επιστήμονας υπολογιστών της OpenAI, Ven Chandrasekaran, σε ενημέρωση τύπου, όπως αναφέρθηκε από το Nature. Η εταιρεία δήλωσε ότι δεν προτίθεται να διεκδικήσει το βραβείο του 1 εκατομμυρίου δολαρίων.nature+3

Η υπολογιστική προσπάθεια περιελάμβανε περίπου 10.000 ταυτόχρονους πράκτορες τεχνητής νοημοσύνης που έτρεχαν σε ένα μοντέλο που περιγράφεται ως πιο ικανό από το GPT-6 Astra. Οι πράκτορες έφτασαν στο αποτέλεσμα μετά από περίπου 88 ώρες εργασίας που ξεκίνησαν την 1η Σεπτεμβρίου, με επιπλέον 17 ώρες για την τυποποίηση στο Lean.thebrighterside+1

Διαμάχη προτεραιότητας

Η ανακοίνωση πυροδότησε μια διαμάχη σχετικά με τη μαθηματική προτεραιότητα. Ο μαθηματικός του NYU, Tristan Buckmaster, και ο ερευνητής της Anthropic, Levent Alpöge, είχαν σημειώσει πρόοδο σε στενά συνδεδεμένα προβλήματα έκρηξης χρησιμοποιώντας εργαλεία τεχνητής νοημοσύνης, συμπεριλαμβανομένου του Codex της OpenAI. Σε δημόσια δήλωση, ο Buckmaster έγραψε: "Δεν έχω δει την απόδειξη της OpenAI. Δεν ξέρω τι έκανε το μοντέλο τους ή πώς. Δεν ξέρω αν χρησιμοποιήθηκαν τα δεδομένα μας. Δεν κατηγορώ κανέναν για τίποτα". Οι New York Times ανέφεραν ότι η OpenAI δήλωσε πως ήταν "κατηγορηματικά" αδύνατο το σύστημά της να έχει επηρεαστεί από την πρόσφατη εργασία του Buckmaster.nytimes+2

Οι επιπτώσεις στον πραγματικό κόσμο παραμένουν μακρινές

Οι μηχανικοί λένε ότι το αποτέλεσμα, αν επιβεβαιωθεί, αλλάζει ελάχιστα βραχυπρόθεσμα. "Με λίγα λόγια, όχι πολλά", δήλωσε ο Justin Beroz, διευθύνων σύμβουλος της εταιρείας μηχανικών ReynKo, σχετικά με την επίδραση στην πρακτική εργασία της ρευστομηχανικής. Ο επίκουρος καθηγητής του NYU, Florian Schaefer, σημείωσε ότι οι εξισώσεις θεωρούνται ήδη ως προσέγγιση και το κατασκευασμένο σενάριο ιδιομορφίας είναι πολύ τεχνητό για να επηρεάσει εφαρμογές του πραγματικού κόσμου.scientificamerican

Ο νικητής του μεταλλίου Fields, Terence Tao, εξέφρασε ευρύτερες ανησυχίες σχετικά με τον ρυθμό της μαθηματικής ανακάλυψης μέσω τεχνητής νοημοσύνης. "Είναι λίγο σαν να πηγαίνεις να δεις μια ταινία και να πηδάς κατευθείαν από τα πρώτα δέκα λεπτά στα τελευταία δέκα λεπτά", δήλωσε ο Tao στο The Brighter Side of News. "Τεχνικά, όλες οι πλοκές επιλύονται, αλλά το μεγαλύτερο μέρος της αξίας της εμπειρίας χάθηκε". Το Ινστιτούτο Μαθηματικών Clay συνεχίζει να καταχωρεί το Navier-Stokes μεταξύ των άλυτων προβλημάτων του και η επίσημη αποδοχή της απόδειξης παραμένει ένα ανοιχτό ερώτημα.popularai+1