# Η OpenAI λέει ότι έλυσε τις εξισώσεις Navier–Stokes. Ετυμηγορία: ΧΡΕΙΑΖΕΤΑΙ ΑΝΑΘΕΩΡΗΣΗ.

Published: 2026-09-09

Η OpenAI λέει ότι ένα εσωτερικό μοντέλο, που λειτούργησε ως περίπου 10.000 ταυτόχρονοι πράκτορες για 88 ώρες, παρήγαλε μια απόδειξη επαληθευμένη από το Lean ότι οι εξισώσεις Navier–Stokes εκρήγνυνται σε πεπερασμένο χρόνο — ένα πρόβλημα του Βραβείου Χιλιετίας ανοιχτό από το 1934. Δώδεκα ώρες νωρίτερα, ο Tristan Buckmaster του NYU δημοσίευσε μια τετρασέλιδη δήλωση σχετικά με το πώς πήγε η κυριακάτικη τηλεφωνική κλήση με την OpenAI («Γιατί να καταστρέψεις την καριέρα σου;»), ο Terence Tao έγραψε ότι τα ανοιχτά προβλήματα πλέον εξορύσσονται σαν ένας μη ανανεώσιμος πόρος, και ένας ερευνητής προεκπαίδευσης της Anthropic παραιτήθηκε λόγω του αγώνα. Επίσης: Η Meta κυκλοφορεί το Muse, έναν προσωπικό πράκτορα με τη δική του VM. Ετυμηγορία: ΧΡΕΙΑΖΕΤΑΙ ΑΝΑΘΕΩΡΗΣΗ.

Canonical: https://thedailydiff.dev/el/video/2026-09-09-navier-stokes-rumor/

## Τι καλύπτει αυτό το βίντεο

- OpenAI: Έκρηξη Navier–Stokes, ~10.000 πράκτορες, 88 ώρες, 130 δισεκατομμύρια διακριτικά εξόδου, επαληθευμένο από το Lean
- Buckmaster και Alpöge: ένας χρόνος στην ίδια προσέγγιση, μια φήμη, και μια κυριακάτικη κλήση με δύο προσφορές
- Terence Tao: «ακόμα και η φήμη κάποιου που εργάζεται σε ένα πρόβλημα μπορεί να πυροδοτήσει μια τεράστια προσπάθεια με τη βοήθεια τεχνητής νοημοσύνης για να το επιλύσει»
- Jacob Coxon παραιτείται από την Anthropic: και τα δύο εργαστήρια «τρέχουν κατευθείαν προς την αυτοβελτιούμενη υπερνοημοσύνη»
- Η Meta κυκλοφορεί το Muse: ένας προσωπικός πράκτορας στο δικό του cloud VM, στο WhatsApp, μόνο στις ΗΠΑ

## Μεταφρασμένη μεταγραφή

Μεταφράστηκε από την πρωτότυπη αγγλική αφήγηση. Ο διαθέσιμος ήχος και οι υπότιτλοι ελέγχονται από το YouTube.

0:00 Χθες, η OpenAI ανακοίνωσε ότι η τεχνητή νοημοσύνη της έλυσε ένα πρόβλημα του Βραβείου Χιλιετίας, ενενήντα χρόνια ανοιχτό, ένα εκατομμύριο δολάρια, σε ογδόντα οκτώ ώρες, και οι δύο μαθηματικοί που πέρασαν ένα χρόνο στο ίδιο πρόβλημα το έμαθαν σε μια κυριακάτικη τηλεφωνική κλήση που, σύμφωνα με έναν από αυτούς, περιλάμβανε: γιατί να καταστρέψεις την καριέρα σου; Ήταν μια μεγάλη Δευτέρα. Τα ξημερώματα ένας καθηγητής του NYU δημοσίευσε μια τετρασέλιδη δήλωση· δεκαέξι χιλιάδες πόντους στο Hacker News. Το απόγευμα η OpenAI δημοσίευσε την απόδειξη.

0:26 Το βράδυ ο Terence Tao είπε ότι τα ανοιχτά προβλήματα πλέον εξορύσσονται σαν ένας μη ανανεώσιμος πόρος, και μέσα στη νύχτα ένας ερευνητής της Anthropic παραιτήθηκε στο X, σαράντα τέσσερα εκατομμύρια προβολές, επειδή και τα δύο εργαστήρια, εντός εισαγωγικών, παίζουν με τις ζωές μας. Επίσης, η Meta κυκλοφόρησε έναν προσωπικό πράκτορα που ζει στο WhatsApp και έχει τη δική του υπολογιστική μηχανή. Σε αυτό το βίντεο: η απόδειξη, η τηλεφωνική κλήση, η υποσημείωση, και η πρόταση που ο Terence Tao θέλει να ακούσουν τα εργαστήρια.

0:49 Είναι Τετάρτη, 9 Σεπτεμβρίου, και αυτό είναι το The Daily Diff. Πρώτα τα μαθηματικά. Οι Navier–Stokes περιγράφουν πώς κινούνται τα ρευστά, και από το 1934 κανείς δεν γνώριζε αν ένα ομαλό τρισδιάστατο ρευστό μπορεί να φτάσει σε μια ιδιομορφία: η ταχύτητα να γίνεται άπειρη σε πεπερασμένο χρόνο. Το σύστημα της OpenAI λέει ναι. Ξεκινήστε από την ηρεμία, εφαρμόστε μια ομαλή δύναμη, διατηρήστε την ενέργεια πεπερασμένη, και ένας στρόβιλος σπειροειδώς προς τα μέσα σαν μακαρόνια μέχρι η ταχύτητα να εκραγεί. Δηλώσεις C και D της διατύπωσης Clay, στο Lean,

1:16 δεκαεπτά ώρες Astra για επαλήθευση. Άρα τα ρευστά μπορούν να εκραγούν, κάτι που όποιος έχυσε καφέ σε ένα MacBook γνώριζε, αλλά τώρα είναι στο Lean. Πώς: Η OpenAI έχει ένα νέο εσωτερικό μοντέλο που το αποκαλεί σημαντικά πιο ικανό από το Astra, και την 1η Σεπτεμβρίου άκουσαν μια φήμη ότι δύο προβλήματα Χιλιετίας είχαν λυθεί, οπότε το εφάρμοσαν σε κάθε ανοιχτό πρόβλημα. Η ομάδα Navier–Stokes: περίπου δέκα χιλιάδες ταυτόχρονοι πράκτορες, εκατόν τριάντα δισεκατομμύρια διακριτικά εξόδου· τριακόσια δισεκατομμύρια σε όλα τα

1:42 προβλήματα. Στις τιμές καταλόγου της Astra, δεκαπέντε εκατομμύρια δολάρια σε διακριτικά για ένα βραβείο ενός εκατομμυρίου δολαρίων που η OpenAI λέει ότι δεν θα διεκδικήσει, και με αυτό το περιθώριο, ποιος θα το έκανε. Η άλλη πλευρά. Ο Tristan Buckmaster στο NYU και ο Levent Alpöge, που εργάζεται στην Anthropic, πέρασαν ένα χρόνο πιέζοντας μια προσέγγιση των Córdoba και Martínez-Zoroa με τα Claude και Codex, πληρώνοντας την OpenAI από τα δικά του ερευνητικά κονδύλια του Buckmaster. Στις 15 Αυγούστου είχαν έκρηξη για τις εξισώσεις Euler· ο Buckmaster αποκαλεί την πρώτη απόδειξη LLM την πιο φρικτή που έχει διαβάσει ποτέ,

2:10 και επαληθεύτηκε στο Lean στις 22 Αυγούστου. Τότε διαδόθηκε μια φήμη, και στις 3 Σεπτεμβρίου έστειλε email στην OpenAI: είμαστε εμείς, είναι προσωπικό, θα δημοσιεύσουμε σύντομα. Την Κυριακή στις 12:45 η OpenAI ζήτησε να συναντηθούν οποιαδήποτε στιγμή σήμερα, και ο Sébastien Bubeck συμμετείχε. Ειπώθηκε στον Buckmaster ότι το μοντέλο είχε αποδείξει τις αναγκασμένες Navier–Stokes με πολύ μικρή ανθρώπινη παρέμβαση, η οποία κατά τη διάρκεια της κλήσης έγινε μια ολόκληρη ομάδα, πιο εύκολα προβλήματα πρώτα, μια προτροπή γραμμένη από το Codex, και μια τρελή ποσότητα

2:36 υπολογιστικής ισχύος. Ρώτησε πότε στάλθηκε η πρώτη προτροπή. Τελικά: τις τελευταίες ημέρες, αφότου πληροφορίες για την εργασία μας είχαν φτάσει στην OpenAI. Ακολούθησαν δύο προσφορές. Μία: εσείς δημοσιεύετε το Euler, εμείς δημοσιεύουμε τις Navier–Stokes την επόμενη μέρα. Δύο: ο Buckmaster μόνος του συντάσσει την απόδειξη της OpenAI, και, λέει, ο Bubeck δύο φορές ήθελε τον Alpöge εκτός της εργασίας επειδή εργάζεται στην Anthropic. Αρνήθηκε και είπε ότι θα το δημοσιοποιήσει. Η απάντηση, σύμφωνα με τη δήλωση: γιατί να καταστρέψεις την καριέρα σου,

3:00 τότε: αν δεν θέλεις να είμαι καλός, δεν χρειάζεται να είμαι καλός. Κανονικά η φράση ακριβώς πριν εμφανιστεί ένα κεφάλι αλόγου σε ένα κρεβάτι. Η εκδοχή της OpenAI: κανείς δεν είδε την εργασία τους, δεν προσπελάστηκαν δεδομένα χρήστη, και, υποσημείωση, δεν μπορούν να αποκλείσουν ότι ανώνυμα δεδομένα από τη χρήση των προϊόντων τους από τους καθηγητές βοήθησαν στη βελτίωση του μοντέλου. Η αναθεώρηση του Alpöge: τους αξίζουν συγχαρητήρια που βγήκαν κατευθείαν στην φόρα. Ο Sam Altman λέει ότι όλοι ενήργησαν με ακεραιότητα και γενναιοδωρία και η άλλη ομάδα

3:25 απείλησε με αβάσιμες κατηγορίες λογοκλοπής, γραμμένης με ένα i. Άρα η επίσημη θέση: δεν αντιγράψαμε την εργασία σας, απλά ακούσαμε ότι κάνατε εργασία. Ο Terence Tao χαρακτήρισε το αποτέλεσμα των καθηγητών αξιοσημείωτο και σημείωσε ότι ο Buckmaster του το εξήγησε τηλεφωνικά, μια αναζωογονητική αλλαγή από τις μεθόδους επικοινωνίας που βασίζονται στην τεχνητή νοημοσύνη. Στη συνέχεια, τέσσερις αναρτήσεις: καλά ανοιχτά προβλήματα εξορύσσονται πλέον σαν ένας μη ανανεώσιμος πόρος, ακόμα και μια φήμη κάποιου που εργάζεται σε ένα πυροδοτεί μια τεράστια προσπάθεια τεχνητής νοημοσύνης για να το επιλύσει, οπότε το κίνητρο είναι να σταματήσει η κοινοποίηση κατευθύνσεων έρευνας,

3:55 αναστρέφοντας αιώνες ανοιχτής επιστήμης. Τρεις ομάδες δημοσίευσαν εκρήξεις ρευστών σε ένα Σαββατοκύριακο· η επόμενη εργασία μπορεί να είναι μια Συμφωνία Εμπιστευτικότητας. Αυτή είναι η διάθεση που ο Jacob Coxon παραιτήθηκε: τρία χρόνια προεκπαίδευσης στην OpenAI, μετά στην Anthropic· καμία εταιρεία δεν ενεργεί υπεύθυνα, λέει, και οι δύο αγωνίζονται για αυτοβελτιούμενη υπερνοημοσύνη, και το τελικό παιχνίδι δεν πρέπει να ξεκινήσει από το Slack μιας ιδιωτικής εταιρείας. Σαράντα τέσσερα εκατομμύρια προβολές, την ημέρα που ένα εργαστήριο έβαλε δέκα χιλιάδες πράκτορες σε μια φήμη,

4:21 οπότε το νήμα κυκλοφόρησε με μια ζωντανή επίδειξη. Εν τω μεταξύ, η Meta κυκλοφόρησε το Muse: έναν προσωπικό πράκτορα στο δικό του cloud VM με το δικό του πρόγραμμα περιήγησης, και μιλάτε μαζί του στο WhatsApp. Μόνο στις ΗΠΑ, δωρεάν για τα περισσότερα πράγματα. Η Meta υπόσχεται μια έκδοση που ούτε η Meta δεν μπορεί να διαβάσει, αργότερα φέτος, ένας πολύ συγκεκριμένος τρόπος περιγραφής αυτού του έτους. Κορυφαίο σχόλιο στο Hacker News: Δεν θέλω να μοιράζομαι τη ζωή μου με τη Meta έτσι. Δεύτερο: συνεχίζει να μου πουλάει ένα καρότσι.

4:45 Αν προτιμάτε να το διαβάσετε αυτό παρά να με ακούτε να το λέω, το diff φτάνει στα εισερχόμενά σας κάθε πρωί — δωρεάν στο daily diff dot dev, σύνδεσμος παρακάτω. Λοιπόν — η σημερινή ετυμηγορία: χρειάζεται αναθεώρηση. Η απόδειξη μεταγλωττίζεται· η ιστορία όχι. Δέκα χιλιάδες πράκτορες που κλείνουν ένα ενενήντα ετών πρόβλημα σε ένα Σαββατοκύριακο είναι το αποτέλεσμα ικανότητας της χρονιάς· η ανακοίνωσή του με μια κυριακάτικη τηλεφωνική κλήση στους δύο ανθρώπους από τους οποίους το μάθατε δεν είναι.

5:07 Και αυτή είναι η διαφορά για σήμερα. Είμαι ο Νίκος από την Axrisi. Συγχωνεύστε υπεύθυνα.

## Πηγές

- [OpenAI: On the Navier–Stokes Millennium Prize Problem](https://openai.com/index/navier-stokes-solution/) — openai.com
- [OpenAI Lean formalization](https://github.com/openai/NavierStokesAndEuler) — github.com
- [Tristan Buckmaster, statement (PDF)](https://cims.nyu.edu/~tristanb/statement.pdf) — cims.nyu.edu
- [HN: Buckmaster statement](https://news.ycombinator.com/item?id=49605915) — news.ycombinator.com
- [HN: OpenAI post](https://news.ycombinator.com/item?id=49613262) — news.ycombinator.com
- [Terence Tao on the Alpöge–Buckmaster result](https://mathstodon.xyz/@tao/117233527638291447) — mathstodon.xyz
- [Terence Tao: open problems mined non-renewably](https://mathstodon.xyz/@tao/117237320796901560) — mathstodon.xyz
- [HN: Tao thread](https://news.ycombinator.com/item?id=49616968) — news.ycombinator.com
- [Clay Mathematics Institute: Navier–Stokes problem statement](https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf) — www.claymath.org
- [GPT-6 Astra pricing (used for the token-bill arithmetic)](https://openai.com/index/gpt-6-astra/) — openai.com
- [Jacob Coxon's resignation thread](https://x.com/hilbertspaess/status/2097476196791709843) — x.com
- [HN: I resigned from Anthropic today](https://news.ycombinator.com/item?id=49619227) — news.ycombinator.com
- [Meta: Introducing Muse](https://about.fb.com/news/2026/09/introducing-muse-personal-ai-agent/) — about.fb.com
- [Muse](https://ai.meta.com/muse/) — ai.meta.com
- [HN: Muse](https://news.ycombinator.com/item?id=49615537) — news.ycombinator.com