Το μαθηματικό Ινστιτούτο Clay: «φαίνεται λυμένο» το πρόβλημα Navier–Stokes

Από τη μία, 88 ώρες και περίπου 10.000 πράκτορες τεχνητής νοημοσύνης (agents) που δούλεψαν παράλληλα, λέει η OpenAI (OpenAI). Από την άλλη, μια κρίση των μαθηματικών που, επίσημα, θα κρατήσει τουλάχιστον δύο χρόνια.

Το θέμα: οι εξισώσεις Navier–Stokes περιγράφουν πώς κινούνται το νερό και ο αέρας, κι αν οι λύσεις τους μένουν πάντα «ομαλές» είναι ένα από τα επτά «Προβλήματα της Χιλιετίας»: άλυτοι γρίφοι με έπαθλο 1 εκατ. δολάρια ο καθένας. Η OpenAI ανακοίνωσε πως ένα μοντέλο της παρήγαγε απόδειξη γι' αυτό· αρχικά, ήταν μια ανεπιβεβαίωτη ανάρτηση που άναψε και διαμάχη για το ποιος πραγματικά έλυσε τι (To Brief).

Τώρα ήρθε το πρώτο θεσμικό βήμα. Στις 11 Σεπτεμβρίου το Clay Mathematics Institute, ο φορέας που όρισε τα προβλήματα, έγραψε ότι το Navier–Stokes «φαίνεται πως έχει λυθεί» (Clay). Κι ο Charles Fefferman, ο μαθηματικός που συνέταξε την επίσημη διατύπωση του προβλήματος, δήλωσε ενθουσιασμένος που λύθηκε (Quanta).

Το «φαίνεται» δεν είναι τυπική λέξη. Είναι ολόκληρη η ιστορία.

Τι ακριβώς λέει ότι απέδειξε

Η επίσημη διατύπωση του Fefferman έχει μια «πίσω πόρτα». Το κερδίζεις με δύο τρόπους: είτε αποδεικνύοντας ότι τα ρευστά μένουν πάντα ομαλά (η διαισθητική εκδοχή), είτε φτιάχνοντας ένα αντιπαράδειγμα όπου η ροή «σπάει». Για τον δεύτερο δρόμο, τις εναλλακτικές C και D, επιτρέπεται ρητά να προσθέσεις μια ήπια, απολύτως ομαλή εξωτερική δύναμη: έναν αόρατο, μαλακό «ανεμιστήρα» που σπρώχνει το ρευστό (επίσημη διατύπωση Clay).

Η εργασία της OpenAI, 166 σελίδες με τίτλο «Finite Time Blowup for Navier–Stokes», πήρε ακριβώς τον δεύτερο δρόμο (χειρόγραφο). Άρα, με το γράμμα των κανόνων, μετράει. Μένει όμως ανοιχτό το δυσκολότερο ερώτημα, αυτό που ψάχνει ο κόσμος αυτές τις μέρες στο Google: αν ένα ρευστό αφημένο εντελώς στον εαυτό του, χωρίς καμία εξωτερική ώθηση, μπορεί να «σπάσει» μόνο του.

Τι σημαίνει να «σπάει» μια ροή; Στην κατασκευή της απόδειξης, ένας στρόβιλος στενεύει και επιμηκύνεται συνεχώς, ώσπου η ταχύτητα σε ένα σημείο εκτοξεύεται σε αυθαίρετα μεγάλες τιμές μέσα σε πεπερασμένο χρόνο, κι όμως η συνολική ενέργεια μένει φραγμένη. Ακούγεται αντιφατικό. Σκεφτείτε έναν φακό: η ίδια πεπερασμένη ισχύς φωτός, συγκεντρωμένη σε μικρότερη κηλίδα, δίνει τεράστια τοπική ένταση. Στο ρευστό ισχύει κάτι ανάλογο, γιατί η ενέργεια μετράει την ταχύτητα στο τετράγωνο: δεκαπλάσια ταχύτητα σε χίλιες φορές μικρότερο όγκο αντιστοιχεί μόλις στο ένα δέκατο της ενέργειας. Έτσι η τοπική ταχύτητα ανεβαίνει χωρίς όριο, ενώ το σύνολο μένει σταθερό. Όλα αυτά, βέβαια, αφορούν το ιδεατό μαθηματικό μοντέλο· στο πραγματικό νερό, σε μικροσκοπική κλίμακα, παρεμβαίνει η φυσική των μορίων και άπειρη ταχύτητα δεν υπάρχει (Science News).

Το ανθρώπινο χέρι πίσω από τους πράκτορες

Το «η AI το έλυσε μόνη» παραπλανά. Η διαδρομή ήταν υβριδική: άνθρωποι μοίρασαν ομάδες στις διαφορετικές εκδοχές, έδωσαν εργαλεία και προηγούμενα αποτελέσματα, άλλαξαν μοντέλα στην πορεία (OpenAI). Και πάτησε πάνω σε χρόνια ανθρώπινης δουλειάς: τεχνικές των Diego Córdoba και Luis Martínez-Zoroa, που δείχνουν πώς διαδοχικές αλληλεπιδράσεις σε ολοένα μικρότερες κλίμακες ενισχύουν τη ροή, μαζί με αποτελέσματα των Tristan Buckmaster και Levent Alpöge για συγγενείς εξισώσεις, έστρωσαν τον δρόμο· τόσο, που οι δύο Ισπανοί μαθηματικοί υποστηρίζουν ότι «χωρίς την ιδέα μας, η AI δεν θα το είχε λύσει» (El País).

Το πιο ενδιαφέρον κομμάτι είναι η «τυπικοποίηση» σε Lean: μια γλώσσα όπου κάθε βήμα της απόδειξης επαληθεύεται μηχανικά, σαν λογιστικό φύλλο που δεν αφήνει κρυφό λάθος να περάσει. Το δημόσιο αποθετήριο δηλώνει μηδενικά κενά βήματα (GitHub). Όμως οι αναγνώσεις των ειδικών ως τώρα είναι στατικές: «διάβασα τα αρχεία», όχι «το έτρεξα ο ίδιος» (Sensemaker). Κι αυτή η μηχανική επαλήθευση αποδεικνύει μόνο ότι το συμπέρασμα προκύπτει από τους ορισμούς· μένει να βεβαιώσει άνθρωπος ότι οι ορισμοί αποδίδουν πιστά το πρόβλημα του Clay (Quanta).

Εδώ δένει το «φαίνεται». Η ανακοίνωση του Clay είναι θετική προκαταρκτική εκτίμηση, με μια διαδικασία που, γράφει ο ίδιος ο φορέας, θα είναι «σκόπιμα χωρίς βιασύνη» (Clay). Οι κανόνες άλλωστε απαιτούν πρώτα δημοσίευση σε έγκριτο επιστημονικό περιοδικό κι έπειτα τουλάχιστον δύο χρόνια αναμονής, πριν καν εξεταστεί το έπαθλο (Κανόνες Clay). Η OpenAI, πάντως, λέει ότι ούτε το διεκδικεί.

Αν επιβεβαιωθεί, θα είναι η δεύτερη λύση Προβλήματος της Χιλιετίας μετά τον Γκριγκόρι Πέρελμαν· και η πρώτη γραμμένη με την υπογραφή μιας μηχανής (Quanta, BBC). Προς το παρόν, η πιο ακριβής διατύπωση δεν ανήκει στην OpenAI· ανήκει στο Clay, και κουβαλά ένα «φαίνεται» που κανείς δεν μπορεί ακόμη να αφαιρέσει.