Στις 14 Σεπτεμβρίου 2026, είκοσι πέντε κάτοχοι του Fields Medal, ανάμεσά τους ο Terence Tao, ο Peter Scholze, η Maryna Viazovska και ο Cédric Villani, υπέγραψαν τη διακήρυξη A Severe Misalignment of AI in Mathematics. Η διακήρυξη γεννήθηκε ύστερα από την ανακοίνωση της OpenAI στις 8 Σεπτεμβρίου 2026, ότι ένα σύστημα περίπου 10.000 αυτόνομων πρακτόρων ΤΝ παρήγαγε, μετά από 88 συνεχείς ώρες εργασίας, απόδειξη για την ύπαρξη και ομαλότητα των εξισώσεων Navier–Stokes, ένα από τα επτά Προβλήματα της Χιλιετίας του Ινστιτούτου Clay. Η ανακοίνωση συνοδεύτηκε από καταγγελίες του μαθηματικού Tristan Buckmaster (NYU) για διαρροή ερευνητικών δεδομένων του δικού του, εν εξελίξει, έργου στο ίδιο πρόβλημα, κάτι που η OpenAI αρνήθηκε. Στον πυρήνα της, η διακήρυξη δεν απορρίπτει τη χρήση ΤΝ στα μαθηματικά, υποστηρίζει όμως ότι μια απόδειξη τυπικά ορθή, αλλά μη εξηγήσιμη και μη διδάξιμη από την κοινότητα, δεν συνιστά ακόμη μαθηματική κατανόηση.
Ένα συγγενικό, αν και ανεξάρτητο, παράδειγμα ήρθε λίγες ημέρες νωρίτερα από την Anthropic: το Claude χρειάστηκε μόλις έντεκα ημέρες για να τυποποιήσει στο Lean την ήδη γνωστή απόδειξη του Τελευταίου Θεωρήματος του Φερμά, παράγοντας περίπου 13 εκατομμύρια γραμμές κώδικα και σχεδόν 29.500 ενδιάμεσα θεωρήματα. Δεν πρόκειται για νέα απόδειξη ούτε για νέα μαθηματική ανακάλυψη, αλλά για μηχανική τυποποίηση και επαλήθευση μιας ανθρώπινης απόδειξης, σε κλίμακα που είναι πρακτικά αδύνατο να παρακολουθήσει κανείς γραμμή προς γραμμή.
Τα δύο παραδείγματα διαφέρουν ως προς τη φύση τους (νέα απόδειξη το ένα, τυποποίηση γνωστής απόδειξης το άλλο), έχουν όμως κοινό σημείο: και στις δύο περιπτώσεις η ΤΝ παράγει ή επαληθεύει μαθηματικό αποτέλεσμα σε κλίμακα που υπερβαίνει την ανθρώπινη ικανότητα παρακολούθησης. Αυτό θέτει το ερώτημα: τι συμβαίνει όταν η δυνατότητα παραγωγής ή επαλήθευσης ενός μαθηματικού αποτελέσματος υπερβαίνει τη δυνατότητα του ανθρώπου να κατανοήσει τη σχετική δομή;
Στα μαθηματικά, η λέξη «αλήθεια» δεν εξαρτάται από παρατήρηση φυσικού γεγονότος, αλλά από τη λογική αναγκαιότητα μέσα σε ένα αξιωματικό και τυπικό πλαίσιο. Μια πρόταση θεωρείται αποδεδειγμένη όταν υπάρχει έγκυρη ακολουθία συλλογισμών από τις παραδοχές στο συμπέρασμα. Αν μια απόδειξη είναι έγκυρη, η αλήθεια του θεωρήματος δεν μειώνεται επειδή κανείς δεν μπορεί να τη συλλάβει διαισθητικά. Το κρίσιμο ερώτημα είναι αν η μαθηματική αλήθεια είναι ανεξάρτητη όχι μόνο από την ανθρώπινη διαίσθηση, αλλά και από την ανθρώπινη κατανόηση.
Εδώ πρέπει να διακρίνουμε δύο διαφορετικά είδη αδυναμίας κατανόησης. Το ένα είναι ζήτημα κλίμακας: 13 εκατομμύρια γραμμές κώδικα είναι αδύνατο να τις διαβάσει κανείς μία προς μία, όσο υπομονετικός και αν είναι. Το άλλο είναι εννοιολογικό: μια δομή μπορεί να παραμένει αδιαφανής ακόμη κι αν κάποιος διέθετε χρόνο να τη διαβάσει ολόκληρη, επειδή δεν αποκαλύπτει την ιδέα που την κάνει γόνιμη ή συνδεδεμένη με άλλες περιοχές. Η ΤΝ ενισχύει και τα δύο, αλλά δεν είναι το ίδιο πρόβλημα. Ο Ramanujan είχε ήδη δείξει ότι η διαίσθηση μπορεί να προηγείται της τυπικής απόδειξης. Η ΤΝ εισάγει τη διαφορετική ανατροπή του να μπορεί η τυπική επαλήθευση μιας ορθής απόδειξης να προηγείται της ανθρώπινης κατανόησής της.
Τι σημαίνει λοιπόν μια λύση ορθή αλλά ακατανόητη; Χρειάζεται να διακρίνουμε «γνωρίζω ότι είναι αληθές» από «κατανοώ γιατί είναι αληθές». Το πρώτο μπορεί να στηρίζεται σε τυπικά επαληθευμένη απόδειξη. Το δεύτερο απαιτεί να αναγνωρίζει ο μαθηματικός τη δομή και την ιδέα που κάνει το αποτέλεσμα να έχει νόημα. Η ιστορία των μαθηματικών δείχνει ότι τυπική απόδειξη και κατανόηση δεν ταυτίζονται πάντοτε, όμως η ΤΝ μπορεί να διευρύνει αυτή την απόσταση σε πρωτοφανή κλίμακα.
Το ερώτημα δεν είναι αν πρέπει να εμπιστευθούμε ή να φοβηθούμε τη μηχανή, αλλά τι μπορούμε πράγματι να παράγουμε, να επαληθεύσουμε και να κατανοήσουμε, τρεις δυνατότητες που η ΤΝ διευρύνει με πολύ ανομοιόμορφο τρόπο
Το δίλημμα παραμένει ανοιχτό. Αν μια μαθηματική αλήθεια μπορεί να πιστοποιηθεί χωρίς να κατανοηθεί από κανέναν άνθρωπο, τότε είτε διευρύνουμε απλώς τα όρια των μαθηματικών είτε αλλάζουμε, χωρίς να το αντιλαμβανόμαστε πλήρως, την ίδια την έννοια της μαθηματικής γνώσης. Η διακήρυξη των Fields Medalists δείχνει ότι το ζήτημα έχει ήδη περάσει από τη θεωρία στην ενεργό συζήτηση της μαθηματικής κοινότητας. Ίσως η ΤΝ να μην απειλεί τα μαθηματικά επειδή κάνει λάθη, αλλά ακριβώς επειδή μπορεί να κάνει σωστά πράγματα που δεν μπορούμε πλέον να παρακολουθήσουμε. Το πραγματικό επιστημολογικό ζήτημα δεν είναι αν η μηχανή βρίσκει την αλήθεια, αλλά αν μια αλήθεια που δεν κατανοούμε παραμένει, για εμάς, μαθηματική γνώση.
