Από τον Erdős στην τεχνητή μοημοσύνη: Η νέα εποχή της μαθηματικής ανακάλυψης

  Φανταστείτε έναν άνθρωπο που δεν είχε σπίτι, δεν άγγιζε ποτέ κανέναν, φορούσε μόνο μεταξωτά ρούχα, κατανάλωνε αμφεταμίνες σαν νερό κι αποκαλούσε τον Θεό «Υπέρτατο Φασίστα». Ο Paul Erdős, ο θρυλικός, περιπλανώμενος Ούγγρος μαθηματικός, διέσχιζε τον κόσμο με μια βαλίτσα στο χέρι, σκορπίζοντας δεξιά κι αριστερά γρίφους και επικηρύσσοντας μαθηματικά προβλήματα με μικρά χρηματικά έπαθλα από την τσέπη του. Σήμερα, δεκαετίες μετά τον θάνατό του, αυτοί οι γρίφοι έχουν μετατραπεί στο απόλυτο πεδίο μάχης —και την πιο εντυπωσιακή ρεκλάμα— για τους τεχνολογικούς κολοσσούς της Τεχνητής Νοημοσύνης.

Η μεγάλη αναταραχή ξεκίνησε την Άνοιξη του 2026. Η OpenAI ανακοίνωσε κάτι που έκανε τους ακαδημαϊκούς κύκλους να κρατήσουν την αναπνοή τους: ένα μυστικό, εσωτερικό μοντέλο AI κατάφερε να βρει ένα αντιπαράδειγμα στο περίφημο «πρόβλημα της μοναδιαίας απόστασης», μια εικασία που διατύπωσε ο Erdős το 1946.

Δεν επρόκειτο για μια απλή υπολογιστική άσκηση brute-force. Η τεχνητή νοημοσύνη «σκέφτηκε» πλάγια, επιστρατεύοντας ιδέες από έναν εντελώς ξένο κλάδο των μαθηματικών που κανείς άνθρωπος δεν είχε σκεφτεί να συνδέσει μέχρι τότε. Λίγους μήνες αργότερα, το μοντέλο Astra σάρωσε άλλα δέκα μαθηματικά προβλήματα, λύνοντας τρία ακόμη από τα θρυλικά αινίγματα του Ούγγρου. Η μαθηματική κοινότητα συνειδητοποίησε ότι δεν παρακολουθούσε απλώς μια τεχνολογική εξέλιξη, αλλά μια αληθινή **αλλαγή φάσης** στην ίδια την ιστορία της επιστήμης.

  Όμως, αυτή η ψηφιακή επανάσταση δεν γεννήθηκε στο κενό. Το έδαφος προετοίμασε ένας Βρετανός μαθηματικός, ο Thomas Bloom. Θέλοντας να βάλει μια τάξη στο χάος των χιλιάδων προβλημάτων που άφησε πίσω του ο Erdős, έστησε το 2023 την ιστοσελίδα `erdosproblems.com` —χρησιμοποιώντας, με μια πρώτη δόση ειρωνείας, το ίδιο το ChatGPT για να γράψει τον κώδικα.

 Αυτό που ξεκίνησε ως ένα προσωπικό ψηφιακό σημειωματάριο μετατράπηκε σε μια ζωντανή, δημοκρατική ψηφιακή Αγορά. Όταν προστέθηκε η δυνατότητα σχολιασμού, η παραδοσιακή ακαδημαϊκή ιεραρχία κατέρρευσε:

Ο Wouter van Doorn, ένας απλός υπάλληλος εξυπηρέτησης πελατών στο Βέλγιο με πάθος για τα μαθηματικά, βρέθηκε να ανταλλάσσει πυρετωδώς επιχειρήματα κάτω από το Πρόβλημα 1102 με τον Terence Tao —έναν από τους σπουδαιότερους και πιο επιδραστικούς εν ζωή μαθηματικούς στον πλανήτη.

Σε αυτή την κυψέλη ιδεών εισέβαλε μια νέα γενιά «κυνηγών» AI. Δύο εικοσάχρονοι, ο Kevin Barreto και ο Liam Price, αποφάσισαν να ρίξουν τα ισχυρότερα μοντέλα γλωσσικής νοημοσύνης στη μάχη των γρίφων. Εκεί ανακάλυψαν μια αστεία αλλά ουσιαστική αλήθεια: τα μοντέλα AI υποφέρουν από... δέος. Αν τους έλεγες ότι ένα πρόβλημα ήταν διάσημο και άλυτο για δεκαετίες, παρέλυαν και σήκωναν τα χέρια ψηλά.

Έτσι, οι δύο νέοι άρχισαν να τα «χειραγωγούν» (gaslighting):

1. Η Παγίδα: Τροφοδοτούσαν τα προβλήματα στο GPT-5.2 Pro πείθοντάς το πως επρόκειτο για μια απλή, σχεδόν γελοία άσκηση.

2. Η Διόρθωση: Αφού ξεπέρασαν μια αρχική γκάφα (όπου το AI ενθουσιασμένο επανεντόπισε μια λύση που είχε βρει ο ίδιος ο Erdős το 1977), τελειοποίησαν τη μεθοδολογία τους.

3. Ο Έλεγχος:Έβαζαν ένα μοντέλο να παράγει τη λύση και στη συνέχεια τροφοδοτούσαν το αποτέλεσμα σε ένα "καθαρό" μοντέλο για να ελέγξει αυστηρά τα λογικά κενά του "συναδέλφου" του.

Με αυτή την εξαντλητική αλυσίδα διασταυρωμένων ελέγχων, κατάφεραν να ξεκλειδώσουν το Πρόβλημα 728, προσφέροντας μια αυθεντική, ολοκαίνουργια μαθηματική απόδειξη.

  Η ειρωνεία της ιστορίας είναι εκκωφαντική. Ο πιο αντισυμβατικός, άφραγκος και αναρχικός πνευματικά μαθηματικός του 20ού αιώνα, που περιφρονούσε τους θεσμούς και την εξουσία, τροφοδοτεί τώρα με το πνευματικό του αποτύπωμα τα πιο ακριβά και ισχυρά νευρωνικά δίκτυα των μεγαλύτερων πολυεθνικών της τεχνολογίας.

Τα προβλήματα του Erdős, σχεδιασμένα αρχικά για να δοκιμάζουν τα όρια της ανθρώπινης διαίσθησης, γίνονται πλέον η χρυσή γέφυρα όπου η ανθρώπινη επιμονή και η τεχνητή νοημοσύνη συναντιούνται —αλλάζοντας μια για πάντα τον τρόπο με τον οποίο η ανθρωπότητα ανακαλύπτει τη μαθηματική αλήθεια.