Το Ινστιτούτο Μαθηματικών Clay έχει αναγνωρίσει δημόσια για πρώτη φορά ότι το πρόβλημα ύπαρξης και ομαλότητας Navier-Stokes - ένα από τα επτά προβλήματα του Millennium Prize - "προφανώς έχει διευθετηθεί". Η δήλωση, που δημοσιεύτηκε στον ιστότοπο του ινστιτούτου την Παρασκευή, μεταφέρει μια από τις πιο αμφισβητούμενες ιστορίες τεχνητής νοημοσύνης και μαθηματικών της χρονιάς στην επίσημη διαδικασία αξιολόγησης των βραβείων του ινστιτούτου, ενώ καθιστά εξίσου σαφές ότι κανένα βραβείο δεν έχει απονεμηθεί και δεν έχει επικυρωθεί καμία απόδειξη.
«Σήμερα, το CMI συμμερίζεται τον ενθουσιασμό της παγκόσμιας μαθηματικής κοινότητας καθώς αναλογιζόμαστε την ανακοίνωση ότι το πρόβλημα Navier-Stokes έχει προφανώς διευθετηθεί», έγραψε το ινστιτούτο στην ανακοίνωση, με ημερομηνία 11 Σεπτεμβρίου 2026. «Ελπίζουμε να δούμε κύματα νέας ανθρώπινης κατανόησης να εξαπολυθούν καθώς αναλύονται και αναλύονται οι καινοτομίες πίσω από αυτήν την εργασία». For more context on this story, see our ongoing AI industry coverage.
Γιατί η δήλωση έχει σημασία
Η μετρημένη γλώσσα του ινστιτούτου κάνει πολλή δουλειά και κάθε λέξη αναλύθηκε μέσα σε λίγες ώρες στο Hacker News, όπου η ανακοίνωση συγκέντρωσε περισσότερους από 100 βαθμούς. Αυτό που δεν λέει η δήλωση είναι εξίσου σημαντικό με αυτό που κάνει: το Ινστιτούτο Μαθηματικών Clay δεν κατονομάζει το OpenAI, δεν επιβεβαιώνει ότι κάποια συγκεκριμένη απόδειξη είναι σωστή και δεν προκαλεί απονομή βραβείου.
Το πλαίσιο εξηγεί τον περιορισμό. Στις 8 Σεπτεμβρίου, το OpenAI δημοσίευσε μια υποτιθέμενη λύση στο πρόβλημα Navier-Stokes, δηλώνοντας ότι ένα εσωτερικό σύστημα AI - που περιγράφεται από την εταιρεία ως πολύ πιο ικανό από το μοντέλο GPT-6 Astra - είχε παράγει μια αναλυτική απόδειξη και μια επίσημη επαλήθευση στον βοηθό Lean proof. Η ανακοίνωση έγινε αμέσως τόσο για την πίστωση όσο και για τον υπολογισμό, επειδή δύο ακαδημαϊκοί μαθηματικοί κυκλοφόρησαν στενά σχετικές εργασίες την ίδια μέρα και οι ερευνητές πίεσαν το OpenAI για το έργο του οποίου είχε ενημερώσει το αποτέλεσμα της μηχανής.
Με το ινστιτούτο να αναγνωρίζει τώρα ότι το πρόβλημα "έχει προφανώς διευθετηθεί", η διαφωνία αλλάζει έδαφος: από το δελτίο τύπου του πινγκ-πονγκ στη διαδικασία αξιολόγησης του Millennium Prize, την οποία το ινστιτούτο περιγράφει ως "σκόπιμα αβίαστη".
Τι ζητά το πρόβλημα Navier-Stokes
Το πρόβλημα αφορά την ύπαρξη και την ομαλότητα των λύσεων στις εξισώσεις Navier-Stokes στον τρισδιάστατο Ευκλείδειο χώρο — τις εξισώσεις που περιγράφουν πώς κινούνται ρευστά όπως το νερό και ο αέρας. Αν και αυτές οι εξισώσεις χρησιμοποιούνται καθημερινά από μηχανικούς, μετεωρολόγους και αεροδυναμικούς, οι μαθηματικοί δεν απέδειξαν ποτέ ότι ομαλές, λογικά λογικές λύσεις υπάρχουν πάντα σε τρεις διαστάσεις ή ότι συμπεριφέρονται προβλέψιμα αντί να αναπτύσσουν μοναδικότητες.
Το Ινστιτούτο Μαθηματικών Clay αποκάλυψε τα Προβλήματα του Βραβείου Χιλιετίας σε μια συνάντηση στο Παρίσι το 2000, επισυνάπτοντας ένα βραβείο 1 εκατομμυρίου δολαρίων σε καθένα από τα επτά προβλήματα, τα οποία περιλαμβάνουν επίσης την υπόθεση Riemann και το P έναντι του NP. Στη δήλωσή του την Παρασκευή, το ινστιτούτο επανέλαβε το αρχικό του σκεπτικό: να αυξήσει την ευαισθητοποίηση του κοινού ότι τα μαθηματικά σύνορα είναι ανοιχτά και να αναγνωρίσει "επιτεύγματα στα μαθηματικά ιστορικού μεγέθους".
Μόνο ένα από τα επτά προβλήματα, η εικασία του Πουανκαρέ, έχει επιλυθεί — από τον Γκριγκόρι Πέρελμαν σε έργο που δημοσιεύτηκε το 2002 και το 2003, για το οποίο απέρριψε περίφημα τόσο το μετάλλιο Fields όσο και το χρηματικό έπαθλο.
Μια 'Εσκεμμένα Αβίαστη' Αξιολόγηση Μπροστά
Η ανακοίνωση του ινστιτούτου επισημαίνει τους κανόνες του βραβείου ως το κυβερνητικό πλαίσιο για το τι θα συμβεί στη συνέχεια. «Οι κανόνες που διέπουν τα βραβεία περιγράφουν τη διαδικασία για την αξιολόγηση του τι έχει επιτευχθεί και για την ανάθεση πιστώσεων», αναφέρει η δήλωση. "Η διαδικασία είναι εσκεμμένα χωρίς βιασύνη, αλλά θα παρέχουμε ενημερώσεις."
Αυτή η φράση αφήνει ανοιχτά πολλά ερωτήματα που η μαθηματική κοινότητα συζητά τώρα ανοιχτά. Η επαλήθευση είναι το πρώτο εμπόδιο: μια απόδειξη της ομαλότητας του Navier-Stokes θα χρειαζόταν συνήθως πολλούς μήνες από μια επιτροπή ειδικών για να ελέγξει γραμμή προς γραμμή. Ο ισχυρισμός του OpenAI ότι το αποτέλεσμά του περιλαμβάνει μια επισημοποίηση ελεγμένη από μηχανή στο Lean θα μπορούσε, κατ' αρχήν, να συμπιέσει δραματικά αυτό το χρονοδιάγραμμα, καθώς η επίσημη επαλήθευση περιορίζει το ζήτημα της ορθότητας σε αυτό που θα δεχτεί ένας βοηθός απόδειξης. Ωστόσο, το ινστιτούτο δεν είπε εάν έχει υποβληθεί μια τέτοια επισημοποίηση, ποιοι είναι οι διαιτητές ή πώς θα κατανεμηθεί η πίστη μεταξύ του συστήματος AI, των δημιουργών του στο OpenAI και των ακαδημαϊκών μαθηματικών των οποίων οι σχετικές εργασίες εμφανίστηκαν την ίδια εβδομάδα.
Η δήλωση επίσης δεν εξετάζει εάν μια λύση που αποδίδεται σε σημαντικό μέρος σε ένα σύστημα τεχνητής νοημοσύνης πληροί τις προϋποθέσεις για ένα βραβείο που προορίζεται, στην ιδρυτική γλώσσα του ινστιτούτου, να αναγνωρίσει το ανθρώπινο μαθηματικό επίτευγμα - μια ερώτηση χωρίς προηγούμενο στην 26χρονη ιστορία του βραβείου.
Η ένταση πίσω από την ανακοίνωση
Η ανακοίνωση προσγειώνεται σε μια εξαιρετικά ευαίσθητη στιγμή για τη διασταύρωση της τεχνητής νοημοσύνης και των μαθηματικών. Την Παρασκευή, μια ομάδα 25 Μεταλλίων Fields, συμπεριλαμβανομένου του Terence Tao, δημοσίευσε μια επίσημη δήλωση προειδοποιώντας ότι ο αγώνας για την επίδειξη συστημάτων AI σε μαθηματικά σημεία αναφοράς βλάπτει τόσο την επιστήμη όσο και την κοινότητα που το υποστηρίζει - μια δήλωση που συγκέντρωσε περισσότερους από 1.300 επιπλέον υποστηρικτές μέσα σε μια μέρα, όπως αναφέρθηκε προηγουμένως από το AI Buzzre.
Τα δύο έγγραφα διαβάζονται σχεδόν ως απαντήσεις το ένα στο άλλο. Η δήλωση των μαθηματικών προειδοποιεί να μην αντιμετωπίζονται τα βαθιά προβλήματα ως τρόπαια αναφοράς. Η ανακοίνωση του ινστιτούτου, αν και αγκαλιάζει το αποτέλεσμα, πλαισιώνει έντονα τη στιγμή γύρω από την κατανόηση και όχι τη νίκη, ελπίζοντας να δει "κύματα νέας ανθρώπινης κατανόησης να εξαπολύονται καθώς αναλύονται και διερευνώνται οι καινοτομίες πίσω από αυτό το έργο".
Ακόμη και ο απολογισμός του ίδιου του ινστιτούτου για τον περιβάλλοντα τομέα αναγνωρίζει τη μετατόπιση: «Η αυξανόμενη ικανότητα των νέων τεχνολογιών να επιταχύνουν τη μαθηματική έρευνα ενίσχυσε αυτή την αίσθηση προσμονής», σημειώνει η δήλωση, αποδίδοντας τις πρόσφατες ανακαλύψεις σε παρακείμενες περιοχές - ορισμένες αναγνωρισμένες από το Clay Research Award - με αυξανόμενες ελπίδες ότι το Navier-Stokes μπορεί σύντομα να πέσει.
Τι ακολουθεί
Προς το παρόν, η πρακτική λύση είναι περιορισμένη αλλά πραγματική: το ινστιτούτο που κατέχει το πρόβλημα έχει καταγράψει ότι θεωρεί το πρόβλημα προφανώς διευθετημένο και έχει δεσμευτεί για δημόσιες ενημερώσεις καθώς προχωρά η αξιολόγησή του. Εάν το έργο επιβιώσει από τον έλεγχο, θα είναι το δεύτερο Πρόβλημα της Χιλιετίας που επιλύθηκε, το πρώτο σε δύο δεκαετίες - και το πρώτο στην ιστορία που θα αποδοθεί εν μέρει σε ένα σύστημα AI, μια διάκριση που θα διαμορφώσει τον τρόπο με τον οποίο τα μαθηματικά ιδρύματα χειρίζονται τον επόμενο τέτοιο ισχυρισμό.
Το ινστιτούτο ζήτησε υπομονή. Δεδομένου ότι η διαδικασία είναι, εκ του σχεδιασμού, εσκεμμένα χωρίς βιασύνη, οι ερωτήσεις της κοινότητας - σχετικά με την απόδειξη, την πίστωση και τον ρόλο της μηχανής που την παρήγαγε - θα απαντηθούν στο χρονοδιάγραμμα του ινστιτούτου και όχι στον κύκλο ειδήσεων.
---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
