Μια ανακοίνωση της OpenAI επαναφέρει στο προσκήνιο ένα από τα επτά Millennium Prize Problems: το αν οι τρισδιάστατες εξισώσεις Navier–Stokes παραμένουν ομαλές ή μπορούν να εμφανίσουν ανωμαλία σε πεπερασμένο χρόνο. Η εταιρεία λέει ότι εσωτερικό της σύστημα παρήγαγε αναλυτική απόδειξη και τυπικοποίηση σε Lean για τη δεύτερη περίπτωση — έναν ισχυρισμό που τώρα πρέπει να εξεταστεί ανεξάρτητα από μαθηματικούς.
Τι ακριβώς προσπαθεί να λύσει η εξίσωση
Οι εξισώσεις Navier–Stokes περιγράφουν την κίνηση ρευστών, από τον αέρα γύρω από ένα αεροπλάνο μέχρι το νερό σε έναν αγωγό και τη ροή του αίματος. Βασίζονται στον δεύτερο νόμο του Νεύτωνα και αντιμετωπίζουν το ρευστό ως συνεχές μέσο, χωρίς να παρακολουθούν ένα προς ένα τα μόριά του.
Το ανοικτό πρόβλημα αφορά ένα ασυμπίεστο ρευστό σταθερής πυκνότητας σε τρεις διαστάσεις. Αν η κίνηση ξεκινήσει ομαλά, μπορεί η ταχύτητα να γίνει απεριόριστη μέσα σε πεπερασμένο χρόνο; Μια τέτοια «ανωμαλία» θα σήμαινε ότι η συνεχής περιγραφή παύει να λειτουργεί σε εκείνο το σημείο. Το ιξώδες, αντίθετα, τείνει να εξομαλύνει την κίνηση — και ακριβώς αυτή η σύγκρουση κάνει το πρόβλημα τόσο δύσκολο.
Ο ισχυρισμός της OpenAI
Στην ανακοίνωσή της, η OpenAI υποστηρίζει ότι το σύστημά της κατασκεύασε ροή που ξεκινά από κατάσταση ηρεμίας και σχηματίζει ανωμαλία σε πεπερασμένο χρόνο, ενώ η ενέργεια παραμένει πεπερασμένη σε όλη τη διαδικασία. Η λύση περιγράφεται ως δίνη που σπειροειδώς συγκλίνει προς το εσωτερικό και επιμηκύνεται, σαν ένα ολοένα πιο λεπτό κομμάτι μακαρονιού.
Η κρίσιμη τεχνική απαίτηση είναι η κατάρρευση να προκύπτει από τη δυναμική του ρευστού και όχι από την εισαγωγή μιας εξωτερικής δύναμης που θα ήταν εξαρχής άπειρη. Σύμφωνα με την εταιρεία, οι όροι της εξίσωσης — επιτάχυνση, πίεση, μεταφορά ορμής και ιξώδες — μεγαλώνουν αλλά αλληλοαναιρούνται με έναν πολύ συγκεκριμένο τρόπο. Έτσι, η εξωτερική δύναμη παραμένει ομαλή, ακόμη κι όταν η ταχύτητα του ρευστού αυξάνεται χωρίς όριο.
Η OpenAI αναφέρει επίσης ότι το αποτέλεσμα αντιστοιχεί στις δηλώσεις «C» και «D» της επίσημης διατύπωσης του Clay Mathematics Institute. Παρουσίασε τόσο μαθηματικό κείμενο όσο και τυπικοποίηση σε Lean, ένα σύστημα που επιτρέπει τον μηχανικό έλεγχο μαθηματικών αποδείξεων.
Η Lean δεν αντικαθιστά την επιστημονική κρίση
Η τυπική επαλήθευση είναι σημαντικό εργαλείο: μπορεί να εντοπίσει ασυνέπειες στη μετάφραση μιας απόδειξης και να ελέγξει ότι τα βήματα ακολουθούν τους κανόνες του συστήματος. Δεν απαντά όμως από μόνη της σε όλα τα ερωτήματα που θα θέσουν οι ειδικοί για τη διατύπωση, τις παραδοχές και τη σχέση της κατασκευής με το ακριβές πρόβλημα του Clay.
Η ίδια η OpenAI ξεκαθαρίζει ότι δεν σκοπεύει να διεκδικήσει το Millennium Prize για το αποτέλεσμα. Το πρόβλημα παραμένει ανοικτό μέχρι η μαθηματική κοινότητα να εξετάσει την απόδειξη, να τη δημοσιεύσει και να την αποδεχθεί με τη διαδικασία που ισχύει για τέτοιους ισχυρισμούς. Επομένως, η ασφαλής περιγραφή σήμερα είναι ότι η εταιρεία δημοσιοποίησε μια προτεινόμενη λύση, όχι ότι το βραβείο απονεμήθηκε ή ότι η υπόθεση έκλεισε οριστικά.
Από τα AI agents στη μαθηματική έρευνα
Η ανακοίνωση έχει ενδιαφέρον και για τον τρόπο παραγωγής του αποτελέσματος. Η OpenAI λέει ότι χρησιμοποίησε ένα σύστημα συνεργαζόμενων agents, με πρόσβαση σε αποθηκευμένη έκδοση του διαδικτύου και σε εργαλεία εκτέλεσης κώδικα. Οι ομάδες εξερεύνησαν διαφορετικές εκδοχές του προβλήματος και στη συνέχεια το Codex συνέθεσε χρήσιμες ιδέες από τα ενδιάμεσα αποτελέσματα.
Σύμφωνα με την εταιρεία, η ομάδα που εργάστηκε στη λύση περιλάμβανε περίπου 10.000 agents ταυτόχρονα. Η προσπάθεια για το Navier–Stokes κράτησε περίπου 88 ώρες από την έναρξη των πρώτων agents, ενώ η τυπικοποίηση και ο έλεγχος σε Lean χρειάστηκαν επιπλέον 17 ώρες μέσω του GPT‑6 Astra. Πρόκειται για στοιχεία που προέρχονται από την ίδια την OpenAI και χρειάζονται την ανάλογη επιφύλαξη μέχρι να υπάρξει ανεξάρτητη αναπαραγωγή.
Το ουσιαστικό μήνυμα δεν είναι ότι ένας chatbot «σκέφτηκε» μόνος του μια απόδειξη. Είναι ότι ένα οργανωμένο σύστημα μπορεί να κατανείμει πολλές υποθέσεις, να γράψει και να ελέγξει κώδικα, να ανταλλάξει ενδιάμεσες ιδέες και να συμπυκνώσει το αποτέλεσμα σε ένα κείμενο που μπορούν να διαβάσουν άνθρωποι. Αν η απόδειξη αντέξει τον έλεγχο, αυτή η μέθοδος θα προσθέσει ένα νέο εργαλείο στη μαθηματική έρευνα. Αν αποτύχει, θα δείξει πόσο αυστηρός πρέπει να παραμένει ο έλεγχος ακόμη και όταν η παραγωγή φαίνεται εντυπωσιακή.
Για την ώρα, η είδηση είναι ένα ισχυρό δείγμα της ταχύτητας με την οποία η AI μπαίνει σε προβλήματα που θεωρούνταν προνόμιο εξειδικευμένων ομάδων. Η πραγματική ιστορική σημασία της, όμως, θα κριθεί από τις σελίδες της απόδειξης και την αξιολόγηση ανεξάρτητων μαθηματικών — όχι από το μέγεθος του μοντέλου ή τον αριθμό των agents.