Το άρθρο των ΤΑ ΝΕΑ φιλοξενεί συνέντευξη του Βαγγέλη Πρωτόπαπα, ερευνητή θεωρητικής πληροφορικής και μαθηματικών στο Πανεπιστήμιο της Βαρσοβίας, με βασικό θέμα τη σχέση μεταξύ τεχνητής νοημοσύνης, μαθηματικών και λογικής. Ο Πρωτόπαπας εξηγεί ότι η θεωρητική πληροφορική και τα θεωρητικά μαθηματικά ασχολούνται, μεταξύ άλλων, με την κατηγοριοποίηση προβλημάτων και την αξιοποίηση της δομής τους για την κατασκευή αποτελεσματικότερων αλγορίθμων. Σύμφωνα με την οπτική του, υπάρχει σημαντική διαφορά ανάμεσα στην πραγματική μαθηματική λογική και στον τρόπο λειτουργίας των σύγχρονων συστημάτων ΑΙ.
Ιδιαίτερη έμφαση δίνεται στο τι πραγματικά κάνουν μοντέλα όπως το ChatGPT και το Gemini. Ο ερευνητής τα περιγράφει ως πολύπλοκους αλγορίθμους που προσπαθούν να μιμηθούν ανθρώπινες συμπεριφορές και μορφές συλλογισμού, χωρίς όμως να διαθέτουν έναν συγκεκριμένο, προκαθορισμένο στόχο όπως ένας κλασικός αλγόριθμος. Βασίζονται σε τεράστιες ποσότητες δεδομένων και παράγουν την πιθανότερη απάντηση με βάση τα πρότυπα που έχουν μάθει. Αυτό σημαίνει ότι μια απάντηση μπορεί να φαίνεται λογική ή πειστική χωρίς να υπάρχει εγγύηση ότι είναι αληθής.
Η βασική αντίθεση με τα μαθηματικά, σύμφωνα με τον Πρωτόπαπα, βρίσκεται στην έννοια της απόδειξης και της λογικής συνέπειας. Τα μαθηματικά βασίζονται σε αξιώματα και σε αυστηρά καθορισμένους κανόνες, μέσα από τους οποίους μπορεί να αποδειχθεί αν μια πρόταση είναι σωστή. Τα σημερινά μοντέλα ΑΙ, αντίθετα, δεν λειτουργούν πάνω σε ένα αντίστοιχο αξιωματικό σύστημα. Το άρθρο αναφέρεται επίσης στην επιτυχία συστημάτων ΑΙ στη Μαθηματική Ολυμπιάδα του 2025, επισημαίνοντας ότι τα συγκεκριμένα μοντέλα είχαν εκπαιδευτεί με μεγάλο όγκο ειδικά επιλεγμένων μαθηματικών δεδομένων και για έναν πολύ συγκεκριμένο σκοπό.
Τέλος, η συνέντευξη μεταφέρεται στην εκπαίδευση και στη θέση των μαθηματικών στην Ελλάδα. Η Πολωνία παρουσιάζεται ως χώρα με ισχυρή μαθηματική παράδοση και οργανωμένες ευκαιρίες για μαθητές και ερευνητές, ενώ ο Πρωτόπαπας υποστηρίζει ότι στην Ελλάδα υπάρχουν λιγότερες αντίστοιχες ευκαιρίες. Το γενικό μήνυμα του άρθρου είναι ότι η εντυπωσιακή επίδοση της ΑΙ σε μαθηματικά προβλήματα δεν πρέπει αυτομάτως να ταυτίζεται με ανθρώπινη μαθηματική κατανόηση: η ΑΙ μπορεί να αποτελέσει ισχυρό εργαλείο για τα μαθηματικά, αλλά η μαθηματική απόδειξη, η αξιωματική λογική και η κατανόηση παραμένουν διαφορετικές έννοιες.
ARTICLE
Ιδιαίτερη έμφαση δίνεται στο τι πραγματικά κάνουν μοντέλα όπως το ChatGPT και το Gemini. Ο ερευνητής τα περιγράφει ως πολύπλοκους αλγορίθμους που προσπαθούν να μιμηθούν ανθρώπινες συμπεριφορές και μορφές συλλογισμού, χωρίς όμως να διαθέτουν έναν συγκεκριμένο, προκαθορισμένο στόχο όπως ένας κλασικός αλγόριθμος. Βασίζονται σε τεράστιες ποσότητες δεδομένων και παράγουν την πιθανότερη απάντηση με βάση τα πρότυπα που έχουν μάθει. Αυτό σημαίνει ότι μια απάντηση μπορεί να φαίνεται λογική ή πειστική χωρίς να υπάρχει εγγύηση ότι είναι αληθής.
Η βασική αντίθεση με τα μαθηματικά, σύμφωνα με τον Πρωτόπαπα, βρίσκεται στην έννοια της απόδειξης και της λογικής συνέπειας. Τα μαθηματικά βασίζονται σε αξιώματα και σε αυστηρά καθορισμένους κανόνες, μέσα από τους οποίους μπορεί να αποδειχθεί αν μια πρόταση είναι σωστή. Τα σημερινά μοντέλα ΑΙ, αντίθετα, δεν λειτουργούν πάνω σε ένα αντίστοιχο αξιωματικό σύστημα. Το άρθρο αναφέρεται επίσης στην επιτυχία συστημάτων ΑΙ στη Μαθηματική Ολυμπιάδα του 2025, επισημαίνοντας ότι τα συγκεκριμένα μοντέλα είχαν εκπαιδευτεί με μεγάλο όγκο ειδικά επιλεγμένων μαθηματικών δεδομένων και για έναν πολύ συγκεκριμένο σκοπό.
Τέλος, η συνέντευξη μεταφέρεται στην εκπαίδευση και στη θέση των μαθηματικών στην Ελλάδα. Η Πολωνία παρουσιάζεται ως χώρα με ισχυρή μαθηματική παράδοση και οργανωμένες ευκαιρίες για μαθητές και ερευνητές, ενώ ο Πρωτόπαπας υποστηρίζει ότι στην Ελλάδα υπάρχουν λιγότερες αντίστοιχες ευκαιρίες. Το γενικό μήνυμα του άρθρου είναι ότι η εντυπωσιακή επίδοση της ΑΙ σε μαθηματικά προβλήματα δεν πρέπει αυτομάτως να ταυτίζεται με ανθρώπινη μαθηματική κατανόηση: η ΑΙ μπορεί να αποτελέσει ισχυρό εργαλείο για τα μαθηματικά, αλλά η μαθηματική απόδειξη, η αξιωματική λογική και η κατανόηση παραμένουν διαφορετικές έννοιες.
ARTICLE
┌────────────────────────────────┐
│ KONSTANTINOS MICHAILIDIS │
└────────────────────────────────┘
│ KONSTANTINOS MICHAILIDIS │
└────────────────────────────────┘