Η Τεχνητή Νοημοσύνη αρχίζει να συμβάλλει ουσιαστικά στη μαθηματική έρευνα, αλλά δεν έχει ακόμη δώσει επιστημονικά αποδεκτή λύση σε κανένα από τα μεγάλα ανοιχτά προβλήματα. Οι πρόσφατες επιτυχίες της αναδεικνύουν τόσο τις δυνατότητές της όσο και την ανάγκη να διακρίνουμε την πραγματική ανακάλυψη από την αναζήτηση ήδη γνωστής γνώσης.
Έχει λύσει η Τεχνητή Νοημοσύνη κάποιο από τα μεγάλα μαθηματικά προβλήματα;
Η ιδέα ότι η Τεχνητή Νοημοσύνη (ΤΝ) μπορεί να λύσει μαθηματικά προβλήματα που παραμένουν άλυτα επί δεκαετίες ή αιώνες προκαλεί ενθουσιασμό. Τα τελευταία χρόνια, ισχυρά γλωσσικά μοντέλα έχουν παρουσιάσει εντυπωσιακές επιδόσεις σε μαθηματικούς διαγωνισμούς, στην παραγωγή αποδείξεων και στην υποβοήθηση ερευνητών. Ωστόσο, υπάρχει σημαντική απόσταση ανάμεσα στην επίλυση ενός δύσκολου προβλήματος διαγωνισμού και στην απόδειξη μιας μεγάλης μαθηματικής εικασίας.
Μέχρι τον Οκτώβριο του 2026, κανένα από τα μεγάλα ανοιχτά προβλήματα, όπως η υπόθεση Riemann, το πρόβλημα P έναντι NP ή τα εκκρεμή Προβλήματα της Χιλιετίας του Clay Mathematics Institute, δεν έχει αποκτήσει επιστημονικά αποδεκτή λύση χάρη στην ΤΝ.
Από τα επτά Προβλήματα της Χιλιετίας, μόνο η εικασία Poincaré έχει επιλυθεί, από τον μαθηματικό Grigori Perelman, με εργασίες που δημοσιεύθηκαν από το 2002 έως το 2003, πολύ πριν από τη σημερινή ανάπτυξη της ΤΝ.
Αυτό δεν σημαίνει ότι η ΤΝ δεν έχει συνεισφέρει στα μαθηματικά. Σημαίνει ότι χρειάζεται να εξετάζουμε προσεκτικά τι ακριβώς έχει επιτευχθεί, ποιος το επαλήθευσε και πόσο σημαντικό είναι το αποτέλεσμα.
Riemann και Navier–Stokes: Η διαφορά ανάμεσα στην πρόοδο και την απόδειξη
Η υπόθεση Riemann, που διατυπώθηκε το 1859, αφορά την κατανομή των πρώτων αριθμών και παραμένει ένα από τα σημαντικότερα ανοιχτά προβλήματα των μαθηματικών. Τον Αύγουστο του 2026 αναφέρθηκε πρόοδος με τη βοήθεια του Claude της Anthropic σε ένα ειδικό φράγμα σχετικό με τη συνάρτηση ζήτα. Ακόμη και αν το επιμέρους αποτέλεσμα επιβεβαιωθεί πλήρως, δεν συνιστά απόδειξη της υπόθεσης Riemann.
Αντίστοιχα, τον Σεπτέμβριο του 2026 η OpenAI ανακοίνωσε πρόταση λύσης σχετική με τις εξισώσεις Navier–Stokes, οι οποίες περιγράφουν την κίνηση των ρευστών. Η εργασία συνοδεύτηκε από τυπική επαλήθευση με το σύστημα Lean, αλλά δεν έχει αναγνωριστεί από το Clay Mathematics Institute ως επίλυση του αντίστοιχου Προβλήματος της Χιλιετίας.
Περισσότερα στην
Πηγή