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

«Σήμερα το CMI συμμερίζεται τον ενθουσιασμό της παγκόσμιας μαθηματικής κοινότητας, καθώς αναλογιζόμαστε την ανακοίνωση ότι το πρόβλημα Navier–Stokes φαίνεται να έχει λυθεί.» Με αυτά τα λόγια, στις 11 Σεπτεμβρίου, το Clay Mathematics Institute, ο θεσμός που επιβλέπει τα επτά «Προβλήματα της Χιλιετίας» με έπαθλο ενός εκατομμυρίου δολαρίων το καθένα, αναγνώρισε δημόσια ότι ένα από τα δυσκολότερα άλυτα προβλήματα των μαθηματικών ίσως μόλις έπεσε (Clay, 11/9). Το εντυπωσιακό: τη λύση δεν την υπέγραψε άνθρωπος, αλλά ένα εσωτερικό μοντέλο AI της OpenAI, όπως ανακοίνωσε η εταιρεία στις 8 Σεπτεμβρίου (OpenAI), μια ιστορία που πρωτοκαλύψαμε καθώς ξεσπούσε η διαμάχη για την πατρότητα της απόδειξης (To Brief).

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

Η φράση του Clay είναι ασυνήθιστα ισχυρό σήμα: ένας θεσμός που φυλά επί δεκαετίες αυτά τα προβλήματα δεν λέει εύκολα δημόσια ότι ένα από αυτά ίσως έπεσε. Όμως η λέξη που κρατά το βάρος είναι το «φαίνεται». Για να γίνει «λύθηκε», πρέπει να τρέξουν δύο χωριστά ρολόγια: ένα μαθηματικό κι ένα θεσμικό.

Το πρώτο ρολόι: ποια εκδοχή λύθηκε

Ο Charles Fefferman, που διατύπωσε επίσημα το πρόβλημα, άφησε τέσσερις δυνατές διεξόδους: δύο ζητούν πάντα ομαλή ροή χωρίς καμία εξωτερική δύναμη, δύο επιτρέπουν μια επιλεγμένη ομαλή δύναμη να σπρώχνει το ρευστό. Η προτεινόμενη απόδειξη διεκδικεί τις δύο δεύτερες (Clay/Fefferman). Η ισχυρότερη εκδοχή, εκείνη χωρίς καμία δύναμη, μένει ανοιχτή και είναι άλλο πρόβλημα.

Πώς όμως μια ομαλή δύναμη εκτοξεύει την ταχύτητα στο άπειρο, ενώ η συνολική ενέργεια μένει πεπερασμένη; («Ομαλή» εδώ δεν σημαίνει αδύναμη· σημαίνει χωρίς απότομες αλλαγές.) Σκεφτείτε έναν φακό: συγκεντρώνει πεπερασμένη ισχύ φωτός σε μια ολοένα μικρότερη κηλίδα, κι εκεί η ένταση εκτινάσσεται. Το ίδιο εδώ: μια δίνη στριμώχνει την κίνηση σε ολοένα μικρότερη περιοχή. Η ενέργεια μετρά το τετράγωνο της ταχύτητας σε όλο τον όγκο, οπότε δεκαπλάσια ταχύτητα μέσα σε χίλιες φορές μικρότερο χώρο βάζει μόλις το ένα δέκατο της ενέργειας (OpenAI). Έτσι το «άπειρο τοπικά» και το «πεπερασμένο συνολικά» συνυπάρχουν. Κανένα πραγματικό ρευστό δεν φτάνει άπειρη ταχύτητα· το διακύβευμα είναι τα όρια του μοντέλου, όχι το νερό της βρύσης.

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

Το δεύτερο ρολόι δεν έχει καν ξεκινήσει

Το θεσμικό ρολόι είναι πιο πεζό, και δεν αποδεικνύεται ότι έχει αρχίσει. Οι κανόνες του Clay απαιτούν πρώτα δημοσίευση σε αναγνωρισμένο επιστημονικό περιοδικό, μετά τουλάχιστον δύο χρόνια αυστηρού ελέγχου από την παγκόσμια κοινότητα και «γενική αποδοχή», και μόνο έπειτα ενδεχόμενη επιτροπή για το βραβείο (Κανόνες Clay). «Η διαδικασία αξιολόγησης είναι εσκεμμένα αβίαστη, και θα φροντίσουμε να είναι απολύτως αυστηρή», δήλωσε στο AFP ο πρόεδρος του Ινστιτούτου Martin Bridson (AFP/France 24). Η ανακοίνωση της 11/9 δεν κατονομάζει αξιολογητές, επιτροπή ή ημερομηνία έναρξης· υπόσχεται απλώς ενημερώσεις. Το «η επίσημη αξιολόγηση βρίσκεται σε εξέλιξη» που πρόσθεσε ο The Decoder δεν στηρίζεται στα λόγια του Ινστιτούτου (The Decoder).

Μένει και το πιο ανθρώπινο κομμάτι: ποιος δικαιούται την αναγνώριση. Η Ευρωπαϊκή Μαθηματική Εταιρεία χαιρέτισε «ορόσημο στην ιστορία των μαθηματικών», αλλά θύμισε ότι η δουλειά πάτησε σε προηγούμενες ιδέες ανθρώπων, των Córdoba, Martínez-Zoroa, Fan Zheng και της γραμμής Alpöge–Buckmaster, και ότι το μοντέλο παραμένει κλειστό, εσωτερικό (EMS). Οι «περίπου 10.000 πράκτορες σε 88 ώρες» είναι μέγεθος που ανακοινώνει η ίδια η εταιρεία, χωρίς ανεξάρτητη αναπαραγωγή. Το αν η απόδειξη είναι σωστή, τι μέρος της είναι νέο και ποιοι το σκέφτηκαν πρώτοι παραμένουν τρεις χωριστές κρίσεις.

Προς το παρόν, το «φαίνεται λυμένο» του Clay μένει ακριβώς αυτό: ένα δημόσιο, ενθουσιώδες «ίσως». Το επόμενο πραγματικό ορόσημο δεν είναι μια νέα ανακοίνωση της OpenAI, αλλά η πρώτη επώνυμη ομάδα που θα επανελέγξει τη Lean απόδειξη, το περιοδικό που θα τη δημοσιεύσει και η στιγμή που θα αρχίσει επίσημα η διετία.