Γιατί τα μαθηματικά έγιναν πεδίο επίδειξης ισχύος
Για δεκαετίες, η επίλυση ενός δύσκολου μαθηματικού προβλήματος αποτελούσε πρωτίστως υπόθεση της επιστημονικής κοινότητας. Σήμερα αποκτά και μια δεύτερη λειτουργία. Γίνεται ένας εξαιρετικά ισχυρός τρόπος με τον οποίο μια εταιρεία τεχνητής νοημοσύνης μπορεί να αποδείξει, σε ανταγωνιστές, πελάτες και επενδυτές, ότι το σύστημά της διαθέτει ικανότητες που τα προηγούμενα μοντέλα δεν είχαν.
Υπάρχει σοβαρός λόγος γι’ αυτό. Οι περισσότερες εντυπωσιακές επιδόσεις της ΤΝ είναι δύσκολο να μετρηθούν αντικειμενικά. Τι ακριβώς σημαίνει ότι ένα μοντέλο «γράφει καλύτερα», «καταλαβαίνει περισσότερο» ή «είναι πιο δημιουργικό»; Στα μαθηματικά, αντίθετα, το μήνυμα μπορεί να γίνει εξαιρετικά απλό: ένα πρόβλημα παρέμενε άλυτο, το μοντέλο παρήγαγε μια λύση και η απόδειξη μπορεί να ελεγχθεί.
Αυτό μετατρέπει τα μαθηματικά σε ένα από τα καθαρότερα πεδία επίδειξης προηγμένων ικανοτήτων ΤΝ. Μια μαθηματική επιτυχία μπορεί να συμπυκνωθεί σε τίτλο, να συγκριθεί με προηγούμενες επιδόσεις και να λειτουργήσει ως δείκτης τεχνολογικής προόδου. Αυτά τα χαρακτηριστικά έχουν μεγάλη αξία σε έναν κλάδο που χρειάζεται τεράστια κεφάλαια για υπολογιστικές υποδομές, εξειδικευμένο προσωπικό και εκπαίδευση νέων μοντέλων.
Από τις Μαθηματικές Ολυμπιάδες στα άλυτα προβλήματα
Η εξέλιξη είναι ήδη ορατή. Το 2024 η Google DeepMind ανακοίνωσε ότι τα AlphaProof και AlphaGeometry 2 πέτυχαν επίδοση αντίστοιχη με αργυρό μετάλλιο στη Διεθνή Μαθηματική Ολυμπιάδα. Το αποτέλεσμα ήταν εύκολο να γίνει κατανοητό ακόμη και από κάποιον που δεν γνωρίζει τις τεχνικές λεπτομέρειες: μια μηχανή έφτασε σε επίπεδο κορυφαίων μαθητών. Αργότερα η σχετική τεχνολογία παρουσιάστηκε αναλυτικά σε επιστημονική δημοσίευση με ομότιμη κρίση.
Η κλίμακα του ανταγωνισμού όμως μετακινείται πλέον από γνωστά σύνολα προβλημάτων σε πραγματικά ανοιχτά ερευνητικά προβλήματα. Στις 8 Σεπτεμβρίου 2026 η OpenAI ανακοίνωσε ότι εσωτερικό της σύστημα παρήγαγε απόδειξη για την υπόθεση Navier-Stokes, ένα από τα Millennium Prize Problems. Για τη συγκεκριμένη προσπάθεια η εταιρεία αναφέρει περίπου 130 δισεκατομμύρια διακριτές μονάδες εξόδου και εκατομμύρια μηνύματα μεταξύ πρακτόρων. Η αναζήτηση της λύσης διήρκεσε περίπου 88 ώρες και ακολούθησε τυποποίηση της απόδειξης στο Lean.
Αυτό μοιάζει πλέον λιγότερο με τον παραδοσιακό μαθηματικό που εργάζεται μήνες πάνω σε ένα πρόβλημα και περισσότερο με βιομηχανική ερευνητική υποδομή που κινητοποιεί τεράστια υπολογιστική ισχύ.
Στις 10 Σεπτεμβρίου 2026 το Clay Mathematics Institute εξακολουθεί να κατατάσσει το Navier-Stokes στα άλυτα προβλήματα. Οι κανόνες του απαιτούν δημοσίευση σε αναγνωρισμένο επιστημονικό μέσο, παρέλευση τουλάχιστον δύο ετών και γενική αποδοχή του αποτελέσματος από τη διεθνή μαθηματική κοινότητα πριν εξεταστεί επίσημα μια λύση.
Άρα άλλο πράγμα είναι η εταιρική ανακοίνωση μιας λύσης και άλλο η επιστημονική και θεσμική αποδοχή της.
Το οικονομικό κίνητρο πίσω από τον αναταγωνισμό
Εδώ βρίσκεται η ουσία της κριτικής του Terence Tao. Ο Tao υποστηρίζει ότι τα οικονομικά κίνητρα της βιομηχανίας ΤΝ ανταμείβουν επιτεύγματα που μπορούν να παρουσιαστούν, να παρατεθούν και να μετρηθούν εύκολα.
Σε έναν κλάδο όπου οι μεγαλύτερες εταιρείες χρειάζονται κεφάλαια πρωτοφανούς κλίμακας, ένα εντυπωσιακό τεχνικό επίτευγμα λειτουργεί ως σήμα προς την αγορά. Δείχνει ότι η εταιρεία βρίσκεται στην τεχνολογική πρωτοπορία, δικαιολογεί περαιτέρω επενδύσεις σε υπολογιστικές υποδομές και ενισχύει την αφήγηση ότι το σημερινό τεράστιο κόστος μπορεί να μετατραπεί αύριο σε επιστημονική και οικονομική υπεροχή.
Μια μαθηματική ανακοίνωση από εταιρείες ΤΝ γίνεται και για να προσελκύσει επενδυτές, στο πλαίσιο του ανταγωνισμού τους, η τεχνική επίδοση, η θέση στους δείκτες επηρεάζει την εταιρική αποτίμηση και τη δυνατότητα άντλησης κεφαλαίων από την αγορά.
Όταν ο δείκτης γίνεται ο σκοπός
Ο Tao συνδέει αυτή την κατάσταση με τον νόμο του Goodhart: όταν ένα μέτρο μετατρέπεται σε στόχο, παύει σταδιακά να αποτελεί καλό μέτρο αυτού που πραγματικά μας ενδιαφέρει.
Στα μαθηματικά το πρόβλημα είναι ιδιαίτερα σοβαρό. Επί αιώνες, η προσπάθεια επίλυσης ενός δύσκολου προβλήματος παρήγαγε όχι μόνο μια τελική απάντηση αλλά και νέες μεθόδους, θεωρίες, ερωτήματα, συνεργασίες και μαθηματικούς. Η διαδρομή προς τη λύση ήταν συχνά σημαντικότερη από τη λύση.
Ένα πολύ ισχυρό σύστημα ΤΝ μπορεί να αλλάξει αυτή την ισορροπία. Μπορεί να παράγει μια τεράστια, τυπικά ορθή απόδειξη χωρίς η μαθηματική κοινότητα να έχει κατανοήσει γιατί λειτουργεί, ποιες νέες ιδέες περιέχει και πώς συνδέεται με την υπάρχουσα γνώση.
Έτσι μπορεί να έχουμε περισσότερες σωστές απαντήσεις αλλά όχι αναγκαστικά περισσότερη μαθηματική κατανόηση.
Αυτό είναι το παράδοξο που πρέπει να μας απασχολήσει περισσότερο από το ερώτημα αν «η ΤΝ έλυσε ένα άλυτο πρόβλημα».
Τα άλυτα προβλήματα ως περιορισμένος επιστημονικός πόρος
Ο Tao προχωρά ακόμη περισσότερο. Τα πραγματικά σημαντικά ανοιχτά προβλήματα δεν είναι απεριόριστος πόρος για εταιρικές δοκιμές. Υπάρχουν άπειρες μαθηματικές ερωτήσεις, αλλά πολύ λίγες έχουν επιλεγεί μέσα από δεκαετίες επιστημονικής εργασίας ως προβλήματα που αξίζει πραγματικά να μελετηθούν.
Αν κάθε τέτοιο πρόβλημα μετατραπεί σε πεδίο ανταγωνισμού για το ποια εταιρεία θα ανακοινώσει πρώτη μια λύση, υπάρχει κίνδυνος να δημιουργηθεί μια «μονοκαλλιέργεια ΤΝ». Χρηματοδότηση, κύρος και ανθρώπινο ενδιαφέρον μπορεί να στραφούν στα προβλήματα που προσφέρονται για αυτοματοποιημένη επίλυση, ενώ η αργή εργασία της οικοδόμησης θεωρίας, της εξήγησης και της διδασκαλίας θα αποτιμάται λιγότερο.
Το μάθημα για την εκπαίδευση
Το ζήτημα έχει άμεση εκπαιδευτική σημασία. Αν μάθουμε στους μαθητές ότι η αξία των μαθηματικών βρίσκεται μόνο στο να βρίσκουν γρήγορα τη σωστή απάντηση, τότε η ΤΝ πράγματι φαίνεται να κάνει μεγάλο μέρος της μαθηματικής εκπαίδευσης περιττό.
Αν όμως θεωρούμε ότι μαθηματική παιδεία σημαίνει να διατυπώνεις υποθέσεις, να αποτυγχάνεις, να εντοπίζεις το λάθος, να κατανοείς γιατί μια μέθοδος λειτουργεί και να μπορείς να εξηγήσεις την απόδειξη σε άλλον άνθρωπο, τότε η ΤΝ αλλάζει τον τρόπο μάθησης αλλά δεν καταργεί τον σκοπό της.
Η πρόκληση για το σχολείο και το πανεπιστήμιο είναι επομένως να μεταφέρουν το βάρος από την παραγωγή απαντήσεων στην κατανόηση, στην επαλήθευση και στην κριτική αξιολόγηση.
Χρειαζόμαστε ανοιχτή επαληθευσιμότητα, όχι εταιρική αυθεντία
Η απάντηση στην κούρσα δεν είναι η απόρριψη της ΤΝ. Είναι η απαίτηση για ανοιχτή επιστήμη. Δημοσιευμένες αποδείξεις, ανοιχτός κώδικας, ανοιχτές τυποποιήσεις, τεκμηριωμένες μέθοδοι, ομότιμη κρίση και εργαλεία όπως το Lean και η Mathlib μπορούν να επιτρέψουν στην επιστημονική κοινότητα να ελέγχει τις εταιρικές ανακοινώσεις αντί να τις αποδέχεται ως πράξεις αυθεντίας.
Τα μαθηματικά μπορούν έτσι να αποτελέσουν όχι μόνο πεδίο επίδειξης της ισχύος των εταιριών ΤΝ, αλλά και πρότυπο για το πώς πρέπει να χρησιμοποιείται: με διαφάνεια, επαληθευσιμότητα, ανθρώπινη κατανόηση και ανοιχτή επιστημονική συνεργασία***.***
Το κρίσιμο ερώτημα δεν είναι ποια εταιρεία θα λύσει πρώτη το επόμενο διάσημο πρόβλημα. Είναι αν, όταν συμβεί αυτό, θα έχουμε αποκτήσει περισσότερη γνώση ή απλώς έναν ακόμη εντυπωσιακό δείκτη για την επόμενη παρουσίαση στους επενδυτές.
Πηγές άρθρου:
Terence Tao, Mathematics in the age of AI: Το δοκίμιο του Tao, βασισμένο στη διάλεξή του στο ICM 2026, τεκμηριώνει άμεσα τον νόμο του Goodhart και αναφέρει ρητά ότι τα οικονομικά κίνητρα της βιομηχανίας ΤΝ ανταμείβουν επιτεύγματα που είναι εύκολα επιδείξιμα, παραθέσιμα και μετρήσιμα: [2608.16753] Mathematics in the age of AI.
Terence Tao, Terence Tao on AI in mathematics (and beyond): Η ελεγμένη από τον ίδιο συγκεντρωτική παρουσίαση των θέσεών του εξηγεί τη διάκριση μεταξύ παραγωγής απόδειξης, επαλήθευσης και ουσιαστικής κατανόησης, καθώς και τον κίνδυνο μιας «μονοκαλλιέργειας ΤΝ» που κατευθύνεται από δείκτες και οικονομικά κίνητρα: Terence Tao on AI — a living summary — Terence Tao,
OpenAI, On the Navier-Stokes Millennium Prize Problem: Η πρωτογενής ανακοίνωση της OpenAI της 8ης Σεπτεμβρίου 2026 περιγράφει την παραγωγή της απόδειξης, τη χρήση πολλών πρακτόρων, περίπου 130 δισεκατομμυρίων διακριτών μονάδων εξόδου για το συγκεκριμένο πρόβλημα και την τυποποίησή της στο Lean: https://openai.com/index/navier-stokes-solution/,
Clay Mathematics Institute, Rules for the Millennium Prize Problems: Οι κανόνες που διευκρινίζουν ότι μια προτεινόμενη λύση δεν αναγνωρίζεται με μια ανακοίνωση, αλλά απαιτεί δημοσίευση σε κατάλληλο επιστημονικό μέσο, παρέλευση τουλάχιστον δύο ετών και γενική αποδοχή από τη διεθνή μαθηματική κοινότητα: https://claymath.org/millennium-problems/rules/,
Google DeepMind, AI achieves silver-medal standard solving International Mathematical Olympiad problems: Η ανακοίνωση του AlphaProof και του AlphaGeometry 2 αποτελεί χαρακτηριστικό παράδειγμα μετατροπής μιας μαθηματικής επίδοσης σε σαφή και διεθνώς κατανοητό μετροδείκτη ικανότητας συστήματος ΤΝ: AI achieves silver-medal standard solving International Mathematical Olympiad problems — Google DeepMind,
Hubert et al., Olympiad-level formal mathematical reasoning with reinforcement learning, Nature: Η δημοσίευση με ομότιμη κρίση παρουσιάζει την επιστημονική βάση του AlphaProof, τη χρήση του Lean για τυπικά ελέγξιμες αποδείξεις και την επίδοση επιπέδου μεταλλίου στη Διεθνή Μαθηματική Ολυμπιάδα: Olympiad-level formal mathematical reasoning with reinforcement learning | Nature,
Reuters, AI models’ capabilities leap comes with new safety warnings: Το ρεπορτάζ της 9ης Σεπτεμβρίου 2026 τεκμηριώνει το εξαιρετικά υψηλό οικονομικό διακύβευμα του σημερινού ανταγωνισμού μεταξύ των κορυφαίων εταιρειών ΤΝ, το ισχυρό ενδιαφέρον επενδυτών και την πίεση που δημιουργούν οι τεράστιες αποτιμήσεις για συνεχή επίδειξη τεχνολογικής προόδου: https://www.reuters.com/technology/artificial-intelligence/ai-models-capabilities-leap-comes-with-new-safety-warnings-2026-09-09/.
Πηγή: