Mary Tsingou Menzel: Η Ελληνίδα μαθηματικός πίσω από ένα από τα πρώτα πειράματα της Ιστορίας των Υπολογιστών

 

Στις 27 Αυγούστου 2026 έφυγε από τη ζωή, σε ηλικία 97 ετών, η Mary Tsingou Menzel, μια μαθηματικός ελληνικής καταγωγής που συνέδεσε το όνομά της με ένα από τα σημαντικότερα προβλήματα της σύγχρονης μη γραμμικής δυναμικής.

Για πολλές δεκαετίες, όμως, το όνομά της έλειπε από την ίδια την ονομασία του προβλήματος. Ήταν το περίφημο “Fermi–Pasta–Ulam problem”, γνωστό ως “FPU”. Σήμερα όλο και συχνότερα αναφέρεται ως “Fermi–Pasta–Ulam–Tsingou problem” (FPUT), αποκαθιστώντας έτσι μια μαθηματικό που, ενώ στην αρχική δημοσίευση περιορίστηκε σε μια ευχαριστία, είχε στην  πραγματικότητα ουσιαστικό ρόλο στο ιστορικό υπολογιστικό πείραμα.

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

Από τα μαθηματικά στους πρώτους υπολογιστές

Η Mary Tsingou γεννήθηκε το 1928 στο Milwaukee των Ηνωμένων Πολιτειών από Έλληνες γονείς, οι οποίοι μετανάστευσαν στις ΗΠΑ από τη Βουλγαρία. Σπούδασε Μαθηματικά στο University of Wisconsin με αρχικό στόχο να γίνει εκπαιδευτικός. Στις αρχές της δεκαετίας του 1950 άρχισε να εργάζεται στο Los Alamos Scientific Laboratory. Αργότερα παντρεύτηκε τον Joseph Menzel και εξειδικεύτηκε στη FORTRAN, αναπτύσσοντας αλγορίθμους που χρησιμοποιήθηκαν σε προσομοιώσεις των επιπτώσεων των πυρηνικών όπλων, εκρήξεων και ρευστομηχανικής.

Εκείνη την εποχή οι γυναίκες προσλαμβάνονταν ως «ανθρώπινοι υπολογιστές» για να εκτελούν περίπλοκους υπολογισμούς με το χέρι. Πληρώνονταν λιγότερο από τους άνδρες και συνήθως περιορίζονταν στις πιο μονότονες εργασίες. «Ως γυναίκες περίμεναν από εμάς να είμαστε δεύτερης κατηγορίας», είχε πει. «Οι άνδρες έπαιρναν πάντοτε τα πιο ενδιαφέροντα προβλήματα και οι γυναίκες αναλαμβάναμε τις καθημερινές δουλειές, όπως να κρατάμε το μηχάνημα σε λειτουργία».

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

Στο Los Alamos η Tsingou εργάστηκε με τον MANIAC I (Mathematical Analyzer Numerical Integrator and Automatic Computer), έναν από τους πρώτους ηλεκτρονικούς υπολογιστές που χρησιμοποιήθηκαν συστηματικά για επιστημονικούς υπολογισμούς.

Και εκεί γεννήθηκε ένα ερώτημα που φαινόταν σχετικά απλό: Τι θα συμβεί αν αφήσουμε έναν υπολογιστή να παρακολουθήσει την κίνηση ενός συστήματος που αποτελείται από πολλά σώματα συνδεδεμένα μεταξύ τους;

Η απάντηση αποδείχθηκε πολύ πιο παράξενη από όσο περίμεναν…

Μια σειρά από μάζες και ελατήρια

Ας φανταστούμε μια σειρά από μικρές ίσες μάζες:

●━●━●━●━●━●━●━●

Κάθε μάζα συνδέεται με τις διπλανές της μέσω ενός ελατηρίου. Αν μετακινήσουμε κάποια από τις μάζες από τη θέση ισορροπίας της και την αφήσουμε ελεύθερη, αρχίζει να ταλαντώνεται. Επειδή όμως είναι συνδεδεμένη με τις υπόλοιπες, η κίνησή της επηρεάζει και τις γειτονικές μάζες.

Το αποτέλεσμα είναι ένα σύστημα πολλών συζευγμένων ταλαντωτών. Στην απλούστερη περίπτωση τα ελατήρια ακολουθούν τον νόμο του Hooke:
\(F=-kx\), όπου F είναι η δύναμη και x είναι η μετατόπιση από τη θέση ισορροπίας.

Πρόκειται για μια γραμμική σχέση: αν διπλασιάσουμε τη μετατόπιση, διπλασιάζεται και η δύναμη. Οι Fermi, Pasta και Ulam θέλησαν όμως να μελετήσουν κάτι πιο ενδιαφέρον. Τι θα συνέβαινε αν η δύναμη δεν ήταν απολύτως γραμμική;

Πρόσθεσαν λοιπόν έναν μικρό μη γραμμικό όρο. Σε μία από τις εκδοχές του πειράματος η δύναμη είχε ουσιαστικά τη μορφή: \(F=-kx-\alpha x^2\).

Η αλλαγή μπορεί να φαίνεται μικρή, αλλά στην πραγματικότητα έχει μεγάλες συνέπειες.

Τι περίμεναν να συμβεί;

Ένα σύστημα πολλών ταλαντωτών μπορεί να πάλλεται με διαφορετικούς τρόπους, τους λεγόμενους κανονικούς τρόπους ταλάντωσης. Μπορούμε να φανταστούμε αυτούς τους τρόπους σαν διαφορετικά «μοτίβα» με τα οποία κινείται ολόκληρη η αλυσίδα.

Οι ερευνητές έδωσαν αρχικά σχεδόν όλη την ενέργεια σε έναν μόνο τρόπο ταλάντωσης. Επειδή όμως το σύστημα ήταν μη γραμμικό, περίμεναν ότι η ενέργεια θα άρχιζε σταδιακά να μεταφέρεται στους υπόλοιπους τρόπους.

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

Αυτό περίπου περίμεναν να δουν και με την ενέργεια. Ο MANIAC όμως είχε άλλη γνώμη.

Η έκπληξη στην οθόνη του υπολογιστή

Στην αρχή όλα έμοιαζαν να εξελίσσονται όπως αναμενόταν. Η ενέργεια άρχισε πράγματι να εγκαταλείπει τον αρχικό τρόπο ταλάντωσης και να περνά σε άλλους. Ύστερα όμως συνέβη κάτι απροσδόκητο. Αντί να συνεχίσει να διασκορπίζεται μέχρι να κατανεμηθεί περίπου ομοιόμορφα, άρχισε να επιστρέφει. Έπειτα από κάποιο χρονικό διάστημα, μεγάλο μέρος της ενέργειας είχε συγκεντρωθεί ξανά στον αρχικό τρόπο ταλάντωσης. Το σύστημα φαινόταν να θυμάται από πού είχε ξεκινήσει. Και το φαινόμενο επαναλαμβανόταν.

Αυτή η εντυπωσιακή συμπεριφορά ονομάστηκε αργότερα “FPU recurrence”, ενώ πλέον σήμερα συχνότερα “FPUT recurrence”. Σύγχρονες εργασίες εξακολουθούν να μελετούν ακριβώς αυτή την απροσδόκητη επανεμφάνιση καταστάσεων σε μη γραμμικά συστήματα.

Γιατί ήταν τόσο παράξενο;

Η μεγάλη έκπληξη βρισκόταν σε μια φαινομενικά λογική υπόθεση:

"μη γραμμικότητα ⟶ ανάμειξη των κινήσεων ⟶ κατανομή της ενέργειας".

Το πείραμα έδειξε ότι τα πράγματα δεν είναι τόσο απλά. Η ύπαρξη μη γραμμικότητας από μόνη της δεν αρκεί για να οδηγήσει γρήγορα ένα σύστημα στην αναμενόμενη ισοκατανομή της ενέργειας. Το σύστημα μπορεί να εμφανίζει εξαιρετικά οργανωμένη και σχεδόν περιοδική συμπεριφορά για μεγάλο χρονικό διάστημα.

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

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

Το διάγραμμα ροής για τον αλγόριθμο της Mary Tsingou. Παρατηρήστε την ημερομηνία της αναφοράς πάνω δεξιά: 20 Μαΐου 1955.

Πού ήταν όμως η Mary Tsingou;

Εδώ βρίσκεται ίσως το πιο ανθρώπινο μέρος της ιστορίας. Το 1955 τα αποτελέσματα παρουσιάστηκαν στην περίφημη αναφορά του Los Alamos: E. Fermi, J. Pasta & S. Ulam, Studies of Nonlinear Problems I, LA-1940. Στην πρώτη σελίδα υπήρχε μια σύντομη αναφορά στη Mary Tsingou, η οποία είχε πραγματοποιήσει τους υπολογισμούς στον MANIAC. Το όνομά της όμως δεν εμφανίστηκε μεταξύ των συγγραφέων.

Έτσι το πρόβλημα πέρασε στην ιστορία ως “Fermi–Pasta–Ulam problem” και για δεκαετίες χιλιάδες επιστημονικές εργασίες αναφέρονταν απλώς στο “FPU problem”. Η Tsingou είχε μείνει, σχεδόν κυριολεκτικά, σε μια υποσημείωση της ιστορίας.

Το 2008 ο Γάλλος φυσικός Thierry Dauxois δημοσίευσε στο Physics Today το άρθρο “Fermi, Pasta, Ulam, and a Mysterious Lady”, αναδεικνύοντας τον ουσιαστικό ρόλο της. Όπως τόνιζε, η Mary Tsingou δεν ήταν απλώς κάποια που πάτησε ένα κουμπί για να «τρέξει» έναν έτοιμο υπολογισμό. Σε μια εποχή όπου ο επιστημονικός προγραμματισμός βρισκόταν ακόμη στα πρώτα του βήματα, ήταν εκείνη που μετέτρεψε το μαθηματικό πρόβλημα σε πρόγραμμα που μπορούσε να εκτελέσει ο MANIAC.

Σταδιακά άρχισε να χρησιμοποιείται όλο και περισσότερο η ονομασία “Fermi–Pasta–Ulam–Tsingou (FPUT) problem”. Σήμερα η ίδια ονομασία εμφανίζεται κανονικά στη σύγχρονη επιστημονική βιβλιογραφία, ακόμη και σε περιοδικά της AmericanPhysical Society.

Όταν ο υπολογιστής γίνεται εργαστήριο μαθηματικών

Οι Fermi, Pasta, Ulam και Tsingou δεν χρησιμοποίησαν τον υπολογιστή απλώς για να κάνουν γρηγορότερα έναν μεγάλο αριθμό πράξεων. Τον χρησιμοποίησαν για να πειραματιστούν. Έθεσαν ένα μαθηματικό μοντέλο, επέλεξαν αρχικές συνθήκες, άφησαν τη μηχανή να εξελίξει αριθμητικά το σύστημα και παρατήρησαν τι συνέβη.

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

Το πείραμα FPUT βρίσκεται στις απαρχές αυτής της νέας σχέσης ανάμεσα στα μαθηματικά και τον υπολογισμό. Για τον λόγο αυτό θεωρείται ορόσημο στην ιστορία της υπολογιστικής και μη γραμμικής επιστήμης.

Ένα από τα πιο γνωστά προβλήματα της μη γραμμικής επιστήμης μάς δίδαξε ότι ένα σύστημα μπορεί, ύστερα από μια μακρά και πολύπλοκη διαδρομή, να επιστρέψει εκεί από όπου ξεκίνησε. Χρειάστηκε να περάσουν περισσότερα από πενήντα χρόνια για να επιστρέψει εκεί όπου ίσως θα έπρεπε να βρίσκεται εξαρχής: δίπλα στα ονόματα των Fermi, Pasta και Ulam. Και έτσι το γράμμα T στο σημερινό “FPUT problem” αποτέλεσε μια μικρή αποκατάσταση της ιστορίας…

Πηγές:

Athens Voice: Πέθανε στα  97 η Μαίρη Τσίγκου Μένζελ, η ξεχασμένη πρωτοπόρος του Λος Άλαμος

Physics Today: Fermi, Pasta, Ulam and a mysterious lady

Wikipedia|Mary Tsingou

"Ο Σατανάς, ο Cantor και το Άπειρο": Γρίφοι μαθηματικής λογικής!

🧠 Με περισσότερους από 200 γρίφους μαθηματικής λογικής, ο κορυφαίος αριστοτέχνης του είδους, Raymond Smullyan μας προκαλεί να δοκιμάσουμε την οξύνοιά μας!

📚 Οδηγός στις περιπέτειες του βιβλίου «Ο Σατανάς, ο Cantor και το Άπειρο» είναι ο Μάγος, ένας σπεσιαλίστας της λογικής ο οποίος κατοικεί στο Νησί των Ιπποτών και των Απατεώνων και μας μαθαίνει τα τεχνάσματα να ανακαλύπτουμε ποιοι κάτοικοι του νησιού λένε αλήθεια και ποιοι ψέματα. Κατόπιν, μας παίρνει μαζί του στους Τόπους της Λογικής, στον πλανήτη Ογκ, στο Νησί της Μερικής Σιωπής και σε μια χώρα όπου νοήμονα ρομπότ ανακατασκευάζουν θορυβωδώς τον εαυτό τους και άλλα νοήμονα ρομπότ. Έπονται μερικά αινίγματα σχετικά με το περίφημο Θεώρημα του Gödel και κάποια παράδοξα για τις πιθανότητες, την τύχη και το χρόνο. Στη συνέχεια, ο Μάγος μάς ξεναγεί σε ένα ταξίδι στο Άπειρο και μας παρουσιάζει τις νοητικές συλλήψεις του μεγάλου μαθηματικού Georg Cantor. Στο τέλος του ταξιδιού -και του βιβλίου- ο Σατανάς καταστρώνει έναν «διαβολικό» γρίφο, ελπίζοντας ότι έτσι θα εξαπατήσει κάποιον μαθητή του Cantor.

 

🧮 Το βιβλίο φαίνεται από το ξεκίνημά του ότι θα ενθουσιάσει τους αναγνώστες κάθε ηλικίας και ανεξαρτήτως ικανότητας επίλυσης γρίφων, αφού στον πρόλογο της ελληνικής έκδοσης ξεκινά έτσι: «Γεια σας και πάλι! Να ένας μικρός γρίφος για σας. Ας υποθέσουμε πως σας δίνω δύο χαρτονομίσματα των δέκα δολαρίων και ότι συμφωνείτε με το ακόλουθο: Θα κάνω μια δήλωση. Εάν η δήλωση είναι ψευδής, τότε υπόσχεστε να μου επιστρέψετε το ένα χαρτονόμισμα και να κρατήσετε το άλλο. Και αν η δήλωση είναι αληθής, τότε θα κρατήσετε και τα δύο χαρτονομίσματα. Δέχεστε; Φαίνεται να σας συμφέρει, έτσι δεν είναι; Θα πάρετε τουλάχιστον το ένα από τα χαρτονομίσματα, μπορεί και τα δύο! Τι καλύτερο; Λοιπόν, θα δεχόσασταν την προσφορά μου; Η απάντηση είναι "όχι"! Γιατί; Διότι, αν τη δεχόσασταν, θα μπορούσα να κάνω μια δήλωση τέτοια, ώστε ο μόνος τρόπος που θα είχατε για να κρατήσετε το λόγο σας θα ήταν να μου δίνατε οποιοδήποτε ποσό -ένα δισεκατομμύριο δολάρια, ας πούμε! Ποια δήλωση θα μπορούσα να κάνω ώστε να σας εξαναγκάσω να μου δώσετε ένα δισεκατομμύριο δολάρια; Θα σας δώσω την απάντηση αργότερα. (Παρεμπιπτόντως, αυτός είναι ο πιο διαβολεμένος γρίφος που έχω ποτέ επινοήσει!)».

❓ Μπορείτε να λύσετε το γρίφο αυτό; Αν όχι...

δείτε τη λύση εδώ.

Ο Raymond Smullyan γράφει: «Μια τέτοια δήλωση είναι: “Ή θα μου επιστρέψετε ένα από τα δύο χαρτονομίσματα των δέκα δολαρίων, ή θα μου δώσετε ένα δισεκατομμύριο δολάρια”. Αν η δήλωση ήταν ψευδής, θα έπρεπε να μου επιστρέψετε ένα από τα δύο χαρτονομίσματα, όπως συμφωνήσαμε. Αλλά, πράττοντας αυτό, θα καθιστούσατε αληθές το ότι “ή θα μου επιστρέφατε ένα από τα χαρτονομίσματα ή θα μου δίνατε ένα δισεκατομμύριο δολάρια”, οπότε η υπόθεση πως η δήλωση είναι ψευδής καταλήγει σε αντίφαση. Άρα η δήλωση πρέπει να είναι αληθής, οπότε ισχύει αυτό που λέει: Δηλαδή ή μου επιστρέφετε ένα χαρτονόμισμα ή μου δίνετε ένα δισεκατομμύριο δολάρια. Αλλά έχουμε συμφωνήσει ότι, αν η δήλωση είναι αληθής, δεν πρέπει να μου επιστρέψετε κανένα χαρτονόμισμα -πρέπει να τα κρατήσετε και τα δύο! Οπότε δεν έχετε άλλη λύση από το να μου δώσετε ένα δισεκατομμύριο δολάρια. Πονηρό, έτσι;».

 

👉 Δείτε παρακάτω κι άλλους γρίφους του Raymond Smullyan (ελαφρώς διασκευασμένους από εμένα) που δημοσιεύτηκαν στο «εις το άπειρον»:

• Τον θησαυρό ή την τίγρη;
• Πόσο κέρδος;
• Ταΐζοντας 10 κατοικίδια

Μόνο λίγο καιρό ξαποσταίνουν...

 

Κουράζονται μωρέ οι μαθηματικοί;

ΠΟΤΕ!

Μόνο λίγο καιρό ξαποσταίνουν... και ξανά προς την τάξη τραβούν!

Καλή επάνοδο από αύριο!

Ο Ρώσος μαθηματικός που έλυσε ένα πρόβλημα μέσα από τη φυλακή

 

Μπορεί άραγε να γίνει σοβαρή μαθηματική έρευνα μέσα σε μια φυλακή, χωρίς internet, χωρίς πρόσβαση σε επιστημονικά βιβλία και με ελάχιστη δυνατότητα επικοινωνίας με άλλους μαθηματικούς; Θυμόμαστε όλοι τον Αλέξανδρο Γιωτόπουλο, καταδικασμένο ως αρχηγό της «17 Νοέμβρη», που είχε αποκτήσει διδακτορικό στα Μαθηματικά το 2021 ενώ βρισκόταν στη φυλακή. Η πρόσφατη ιστορία του αναρχικού Ρώσου μαθηματικού Azat Miftakhov δείχνει πως η απάντηση μάλλον είναι «ναι».

Πηγή εικόνας: Solidarité FreeAzat

Ο Miftakhov, μαθηματικός και υποψήφιος διδάκτορας του Τμήματος Μηχανικής και Μαθηματικών του Κρατικού Πανεπιστημίου της Μόσχας, βρίσκεται φυλακισμένος στη Ρωσία. Στα τέλη του 2025 ο Γάλλος μαθηματικός Bernard Randé τού έστειλε ένα άλυτο πρόβλημα που σχετιζόταν με την περίφημη εικασία του Chui. Προσπάθησε μάλιστα να διατυπώσει τις μαθηματικές αποδείξεις και τους τύπους με τρόπο που να μπορούν να περάσουν από τη λογοκρισία των φυλακών. Ο Miftakhov εργάστηκε πάνω σε αυτό για περίπου τέσσερις μήνες και τον Μάρτιο του 2026 έστειλε στον Randé τη λύση του, γραμμένη σε χειρόγραφες σελίδες! Μάλιστα, σύμφωνα με τον Randé, ο Ρώσος μαθηματικός δεν περιορίστηκε στην επίλυση του προβλήματος που του είχε τεθεί, αλλά διαπίστωσε ότι η μέθοδός του μπορούσε να οδηγήσει σε ένα γενικότερο αποτέλεσμα.

Ας δούμε, όμως, παρακάτω περί τίνος πρόκειται…

Η εικασία του Chui, που διατυπώθηκε το 1971 από τον μαθηματικό Charles Chui, αφορά την ελαχιστοποίηση της μέσης ισχύος πεδίου ή της νόρμας απλών κλασμάτων στον μοναδιαίο δίσκο. Έστω \(n\) σημεία \(z_1, z_2, \cdots, z_n\) πάνω στον μοναδιαίο κύκλο \(T={z \in \mathbb{C}:|z|=1}\). Εξετάζουμε το ολοκλήρωμα \[\int_{\mathbb{D}}\left|\sum_{k=1}^{n}\frac{1}{z-z_k}\right|\,dm(z)\] όπου \(\mathbb{D}\) είναι ο μοναδιαίος δίσκος. Η ερώτηση είναι: Ποια διάταξη των \(n\) σημείων πάνω στον κύκλο ελαχιστοποιεί αυτή την ποσότητα;

Η εικασία του Chui υποστηρίζει ότι το ελάχιστο επιτυγχάνεται όταν τα σημεία είναι ομοιόμορφα κατανεμημένα στον κύκλο: \(z_k=e^{2\pi ik/n}\). Με άλλα λόγια, δηλώνει ότι το άθροισμα πυρήνων Cauchy με μοναδιαίους συντελεστές και \(n\) πόλους στον μοναδιαίο κύκλο επιτυγχάνει ελάχιστη νόρμα αν και μόνο αν οι πόλοι ισαπέχουν μεταξύ τους. 

Δηλαδή, αν φανταστούμε τα σημεία ως ίσες σημειακές πηγές πάνω σε έναν κύκλο, η εικασία υποστηρίζει ότι η «πιο ομοιόμορφη» κατανομή τους είναι αυτή που ελαχιστοποιεί ένα συγκεκριμένο μέτρο του συνολικού πεδίου που δημιουργούν.

Η χειρόγραφη λύση του Miftakhov δεν ήταν, φυσικά, έτοιμη για δημοσίευση. Ο Randé συνεργάστηκε με τον Miftakhov για την επεξεργασία της και τη μετατροπή της σε επιστημονικό άρθρο. Το αποτέλεσμα δημοσιεύθηκε τελικά το 2026 στο γαλλικό μαθηματικό περιοδικό RMS, στο τεύχος 136-4, με τίτλο «La conjecture de Chui dans un cadre hilbertien», δηλαδή «Η εικασία του Chui σε ένα πλαίσιο Hilbert».

Η φράση «σε πλαίσιο Hilbert» αναφέρεται στη διατύπωση και μελέτη του προβλήματος μέσα στο πλαίσιο των χώρων Hilbert, οι οποίοι αποτελούν βασικό αντικείμενο της Συναρτησιακής Ανάλυσης. Το πρόβλημα συνδέεται επίσης με τη Μιγαδική Ανάλυση και τη Θεωρία Προσέγγισης.

Η ποσότητα \(\sum_{k=1}^{n} \frac{1}{z-z_k}\) είναι ουσιαστικά μια λογαριθμική παράγωγος: αν \(P(z)= \prod_{k=1}^{n}( z-z_k)\), τότε \(\frac{P'(z)}{P(z)}= \sum_{k=1}^{n} \frac{1}{z-z_k}\). Άρα το πρόβλημα συνδέει τη διάταξη των ριζών ενός πολυωνύμου με το μέγεθος της λογαριθμικής παραγώγου του. Και αυτό εξηγεί γιατί η εικασία του Chui έχει συνδέσεις με τη Θεωρία Προσέγγισης και τη μελέτη ρητών συναρτήσεων.

Εδώ όμως χρειάζεται μια σημαντική διευκρίνιση. Ο Miftakhov δεν έλυσε την αρχική εικασία του Chui. Η εικασία, στην πλήρη γενικότητά της, παραμένει μέχρι σήμερα ανοικτό πρόβλημα. Αυτό που απέδειξε ο Miftakhov ήταν μια τροποποιημένη εκδοχή ενός σχετικού ανοικτού προβλήματος, σε ένα πλαίσιο χώρων Hilbert.

Η ιστορία είναι εντυπωσιακή όχι επειδή ένας φυλακισμένος μαθηματικός «έλυσε» ένα διάσημο άλυτο πρόβλημα, όπως θα μπορούσε να αφήσει να εννοηθεί ένας δημοσιογραφικός τίτλος. Είναι εντυπωσιακή επειδή δείχνει κάτι βαθύτερο: Η μαθηματική σκέψη μπορεί να συνεχίζεται ακόμη και όταν οι συνθήκες εργασίας είναι εξαιρετικά δύσκολες. Τα Μαθηματικά δεν απαιτούν εργαστήριο, ακριβό εξοπλισμό ή υπολογιστές. Μερικές φορές απαιτούν μόνο χαρτί και μολύβι και, πάνω απ’ όλα, την ελευθερία της σκέψης.

"Τα Μαθηματικά στην εποχή της Τεχνητής Νοημοσύνης" - Η δημόσια διάλεξη του Terence Tao στο International Congress of Mathematicians 2026

 

Τι σημαίνει να μελετάμε μαθηματικά στην εποχή της Τεχνητής Νοημοσύνης;

Μπορεί μια μηχανή να ανακαλύψει νέα μαθηματικά; Μπορεί να αποδείξει ένα θεώρημα; Μπορεί να καταλάβει μια μαθηματική ιδέα; Και, κυρίως, αν οι μηχανές μπορούν όλο και περισσότερο να λύνουν μαθηματικά προβλήματα, τι θα σημαίνει στο μέλλον να μαθαίνει και να κάνει μαθηματικά ένας άνθρωπος;

Αυτά είναι μερικά από τα ερωτήματα που βρίσκονται στο επίκεντρο της δημόσιας διάλεξης “Mathematics in the Age of AI” του Terence Tao, η οποία πραγματοποιήθηκε στις 24 Ιουλίου 2026, στο πλαίσιο του International Congress of Mathematicians (ICM 2026) στη Φιλαδέλφεια. Το ICM είναι το μεγαλύτερο διεθνές συνέδριο μαθηματικών και πραγματοποιείται κάθε τέσσερα χρόνια.

Η διάλεξη έχει πλέον ανέβει ολόκληρη στο YouTube:

 

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

Στη διάλεξή του, ο Terence Tao, ένας από τους σημαντικότερους μαθηματικούς της εποχής μας και κάτοχος του Μεταλλίου Fields, δεν επιχειρεί να προβλέψει απλώς αν η Τεχνητή Νοημοσύνη (ΤΝ) θα «αντικαταστήσει» τους μαθηματικούς. Θέτει ένα πολύ ευρύτερο ερώτημα: πώς πρέπει να ανταποκριθεί συνολικά η μαθηματική κοινότητα στην εμφάνιση των σύγχρονων συστημάτων ΤΝ και στις πραγματικές -αλλά και στις υποτιθέμενες- ικανότητές τους να εκτελούν μαθηματικές εργασίες;

 

Μια νέα «κρίση των θεμελίων»;

Στην αρχή της ομιλίας του ο Tao κάνει μια ιστορική αναδρομή. Για αιώνες, τα μαθηματικά λειτουργούσαν πάνω σε θεμέλια τα οποία οι ίδιοι οι μαθηματικοί δεν χρειαζόταν να εξετάζουν συνεχώς. Ερωτήματα όπως «Τι είναι ένα σύνολο;», «Τι είναι ένας αριθμός;», «Τι είναι το άπειρο;» ή «Ποια είναι τα αξιώματα των μαθηματικών;» είχαν σε μεγάλο βαθμό παραμείνει στο περιθώριο της καθημερινής μαθηματικής πρακτικής.

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

Το αποτέλεσμα αυτής της κρίσης ήταν, τελικά, θετικό: δημιουργήθηκε ένα ρητό, αυστηρό και τυποποιημένο θεμελιακό πλαίσιο, μέσα στο οποίο τα σύγχρονα μαθηματικά μπορούν να αναπτύσσονται με μεγάλη ασφάλεια.

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

Ο ίδιος ο Tao μιλά χαρακτηριστικά για μια «κρίση στα θεμέλια των μαθηματικών αξιών και πρακτικών». Και εκτιμά ότι, αν εξετάσουμε και κωδικοποιήσουμε προσεκτικά τις νέες αυτές πρακτικές, η μαθηματική κοινότητα μπορεί να βγει από αυτή την περίοδο ισχυρότερη και πιο ανθεκτική.

 

Απόδειξη που φαίνεται σωστή ή απόδειξη που είναι ελεγμένη;

Ένα άλλο κεντρικό θέμα της διάλεξης είναι το formal verification, η τυπική επαλήθευση των μαθηματικών αποδείξεων.

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

Όμως η ΤΝ δημιουργεί ένα νέο πρόβλημα: μπορεί να παράξει μια εξαιρετικά πειστική μαθηματική εξήγηση που περιέχει ένα λάθος. Εδώ τα συστήματα τυπικής απόδειξης, όπως το Lean, αποκτούν ιδιαίτερη σημασία. Η βασική ιδέα είναι απλή: δεν αρκεί μια απόδειξη να φαίνεται σωστή, πρέπει να μπορεί να ελεγχθεί μηχανικά.

Έτσι δημιουργείται ένα πολύ ενδιαφέρον σχήμα:

AI: προτείνει μια απόδειξη → Σύστημα formal verification: ελέγχει την απόδειξη.

Η ΤΝ μπορεί, επομένως, να αναλάβει ολοένα μεγαλύτερο μέρος της παραγωγής μαθηματικού υλικού, ενώ ένα ανεξάρτητο τυπικό σύστημα μπορεί να ελέγχει αν το τελικό αποτέλεσμα είναι πράγματι έγκυρο. Αυτό δεν κάνει τα μαθηματικά λιγότερο αυστηρά. Ίσως, αντίθετα, να τα κάνει αυστηρότερα από ποτέ.

 

Προς ένα νέο μοντέλο μαθηματικής συνεργασίας

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

Σήμερα αυτό το μοντέλο αρχίζει να αλλάζει. Μπορούμε να φανταστούμε ένα τεράστιο συνεργατικό οικοσύστημα στο οποίο συμμετέχουν:

μαθηματικοί + AI + βάσεις μαθηματικής γνώσης + συστήματα τυπικής απόδειξης + διαδικτυακές κοινότητες.

Η ΤΝ μπορεί να δημιουργεί και να εξετάζει τεράστιο αριθμό πιθανών διαδρομών. Τα formal systems μπορούν να ελέγχουν τις αποδείξεις. Οι μαθηματικοί μπορούν να επιλέγουν τις ενδιαφέρουσες ιδέες και να δίνουν νόημα στα αποτελέσματα.

 

Τι μένει λοιπόν για τον μαθηματικό;

Αν η ΤΝ αναλάβει όλο και περισσότερες τεχνικές εργασίες, θα μπορούσε κάποιος να ρωτήσει: Τι θα κάνει τότε ο μαθηματικός;

Ίσως ακριβώς τα πράγματα που είναι δυσκολότερο να αυτοματοποιηθούν...

• Να επιλέγει τα σημαντικά προβλήματα.
• Να αναγνωρίζει μια ενδιαφέρουσα ιδέα.
• Να δημιουργεί νέες έννοιες.
• Να αποφασίζει ποια από τις πολλές πιθανές διαδρομές αξίζει να ακολουθηθεί.
• Να κατανοεί τη σημασία ενός αποτελέσματος.
• Να συνδέει διαφορετικούς κλάδους των μαθηματικών.
• Και, πάνω απ' όλα, να κρίνει.

Γιατί όταν μια μηχανή μπορεί να παράγει εκατοντάδες πιθανές λύσεις, το σημαντικό ερώτημα θα είναι πλέον: «Ποια λύση αξίζει να κρατήσουμε και γιατί;».

 

Και τι σημαίνουν όλα αυτά για την εκπαίδευση;

Ίσως εδώ να βρίσκεται το πιο ενδιαφέρον ερώτημα για όλους όσοι διδάσκουμε μαθηματικά. Αν μια εφαρμογή ΤΝ μπορεί να λύσει μια άσκηση, να γράψει μια απόδειξη ή να εξηγήσει ένα θεώρημα, τότε πρέπει να επανεξετάσουμε τι ακριβώς θέλουμε να μάθει ο μαθητής.

Για δεκαετίες έχουμε συνδέσει τη μαθηματική μάθηση με την ικανότητα να παράγουμε τη σωστή απάντηση. Όμως η ΤΝ κάνει αυτή την ικανότητα όλο και λιγότερο αποκλειστικά ανθρώπινη. Ίσως, επομένως, χρειάζεται να δώσουμε ακόμη μεγαλύτερη έμφαση σε ερωτήματα όπως:

• Γιατί επιλέξαμε αυτή τη μέθοδο;
• Πώς ξέρουμε ότι η απάντηση είναι σωστή;
• Μπορούμε να διατυπώσουμε μια εικασία;
• Μπορούμε να εξηγήσουμε μια απόδειξη με δικά μας λόγια;
• Μπορούμε να εντοπίσουμε το λάθος σε μια φαινομενικά σωστή λύση;
• Μπορούμε να συγκρίνουμε δύο διαφορετικές λύσεις και να κρίνουμε ποια είναι καλύτερη;

Με άλλα λόγια, η πρόκληση της ΤΝ ίσως μας αναγκάζει να μετακινηθούμε από το: «Μπορώ να λύσω την άσκηση;» στο: «Μπορώ να σκεφτώ μαθηματικά;». Και αυτό μπορεί να είναι μια ευκαιρία να ξανασκεφτούμε τι ακριβώς σημαίνει μαθηματική σκέψη.

Η διάλεξη του Terence Tao είναι, κατά τη γνώμη μας, μια πρόσκληση για να σκεφτούμε σε βάθος και να αναρωτηθούμε: «Σε μια εποχή όπου οι μηχανές μπορούν να κάνουν ολοένα περισσότερα μαθηματικά, τι είναι αυτό που κάνει τα μαθηματικά ανθρώπινα;».

Γρίφος: Ο απογραφέας και οι 3 κόρες

Ένας απογραφέας ρώτησε μια μητέρα για τα παιδιά της.

-Έχω τρεις κόρες. Οι ηλικίες τους είναι φυσικοί αριθμοί και το γινόμενό τους είναι 36, είπε η μητέρα.

-Αυτό δεν μου αρκεί, απάντησε ο απογραφέας.

-Θα μπορούσα να σου πω και το άθροισμα των ηλικιών τους, όμως ούτε τότε θα μπορούσες να τις βρεις.

-Θα ήθελα μια ακόμη πληροφορία.

-Εντάξει. Η μεγαλύτερη κόρη μου έχει πράσινα μάτια, συμπλήρωσε η μητέρα. 

-Τώρα ξέρω τις ηλικίες τους! 

Ποιες είναι οι ηλικίες των τριών κοριτσιών; 

130 χρόνια από τη γέννηση του Πιαζέ: Ένα διαχρονικό μήνυμα

Σαν σήμερα, στις 9 Αυγούστου 1896, γεννιέται ο Ζαν Πιαζέ (Jean Piaget)✨ 

Ο Ελβετός φιλόσοφος, βιολόγος και ψυχολόγος, θεμελιωτής της θεωρίας της γνωστικής ανάπτυξης, επηρέασε καθοριστικά τον τρόπο με τον οποίο αντιλαμβανόμαστε τη μάθηση και τη διδασκαλία. Μεταξύ άλλων, σχετίζεται και με την εμφάνιση του κονστρουκτιβισμού, μιας προσέγγισης σύμφωνα με την οποία η γνώση οικοδομείται ενεργά από τον άνθρωπο, μέσω της εμπειρίας και της κοινωνικής αλληλεπίδρασης. Ένα από τα πιο διαχρονικά του μηνύματα παραμένει επίκαιρο - παρά τις έντονες αλλαγές στην παιδεία- ιδιαίτερα για όσους αγαπούν τα Μαθηματικά και την εκπαίδευση:

«Τα παιδιά θα πρέπει να μπορούν να κάνουν τους δικούς τους πειραματισμούς και τη δική τους "έρευνα". Οι δάσκαλοι, φυσικά, μπορούν να τα καθοδηγήσουν παρέχοντάς τους τα κατάλληλα υλικά, αλλά το ουσιαστικό είναι ότι για να καταλάβει κάτι ένα παιδί πρέπει να το κατασκευάσει μόνο του, να το "επανεφεύρει". Κάθε φορά που διδάσκουμε κάτι σε ένα παιδί, το εμποδίζουμε να το εφεύρει μόνο του. Από την άλλη, αυτό που του επιτρέπουμε να ανακαλύψει μόνο του, θα μείνει μαζί του ορατό για το υπόλοιπο της ζωής του».
— Ζαν Πιαζέ
(9 Αυγούστου 1896 – 16 Σεπτεμβρίου 1980)

💡 Ίσως αυτή να είναι μία από τις σημαντικότερες υπενθυμίσεις για κάθε εκπαιδευτικό: η πραγματική γνώση δεν μεταδίδεται έτοιμη… οικοδομείται μέσα από την ανακάλυψη, τον πειραματισμό και τη σκέψη.

Η Εικασία του Ιακωβιανού: ένα άλυτο πρόβλημα 87 ετών που λύγισε από την Τεχνητή Νοημοσύνη

 

Για σχεδόν έναν αιώνα, η Εικασία του Ιακωβιανού (Jacobian Conjecture) αποτελούσε ένα από τα πιο διάσημα άλυτα προβλήματα της Αλγεβρικής Γεωμετρίας. Από το 1939, οι μαθηματικοί προσπάθησαν να την αποδείξουν είτε να την καταρρίψουν, χωρίς επιτυχία.

Πριν από λίγες μέρες, όμως, μια είδηση προκάλεσε τεράστια αίσθηση στον μαθηματικό κόσμο. Ο 34χρονος μαθηματικός Levent Alpöge, ερευνητής της εταιρίας Τεχνητής Νοημοσύνης Anthropic και πρώην μέλος του Society of Fellows του Harvard, ανακοίνωσε ότι, με τη βοήθεια του μοντέλου τεχνητής νοημοσύνης Claude Fable 5, βρήκε ένα αντιπαράδειγμα που δείχνει ότι η περίφημη εικασία είναι λανθασμένη. Πρόκειται πλέον για μία από τις σημαντικότερες στιγμές στην ιστορία της αλληλεπίδρασης μεταξύ Μαθηματικών και Τεχνητής Νοημοσύνης.

 

Τι είναι η Εικασία του Ιακωβιανού;

Η εικασία πήρε το όνομα του Γερμανού μαθηματικού Carl Gustav Jacob Jacobi και αρχικά είχε διατυπωθεί στις 2 διαστάσεις, από τον Ludwig Krauss το 1884. Η σύγχρονη εκδοχή που αφορά τις \(n\) διαστάσεις διατυπώθηκε το 1939 από τον Γερμανό μαθηματικό Ott-Heinrich Keller και αφορά πολυωνυμικές συναρτήσεις πολλών μεταβλητών. Με πολύ απλά λόγια, εξετάζει το εξής ερώτημα:

Αν μια πολυωνυμική απεικόνιση \(F:\mathbb{C}^n\rightarrow\mathbb{C}^n\)
έχει σταθερή μη μηδενική Ιακωβιανή ορίζουσα, τότε είναι αντιστρέψιμη με πολυωνυμική αντίστροφη;

Ισχύει ότι αν η Ιακωβιανή ορίζουσα μιας πολυωνυμικής συνάρτησης είναι μια μη μηδενική σταθερά, τότε, σύμφωνα με το θεώρημα της αντίστροφης απεικόνισης του λογισμού πολλών μεταβλητών, η συνάρτηση διαθέτει τοπική ομαλή αντίστροφη γύρω από κάθε σημείο. Η Εικασία του Ιακωβιανού ισχυριζόταν ότι αυτή η τοπική αντιστρεψιμότητα αρκεί ώστε η απεικόνιση να διαθέτει μια καθολική αντίστροφη (σε ολόκληρο το χώρο), η οποία μάλιστα να είναι πολυωνυμική.

Η πρόταση αυτή φαίνεται εξαιρετικά φυσική, όμως αποδείχθηκε εντυπωσιακά δύσκολο να επαληθευτεί. Για παράδειγμα, το 1980 ο Stuart Sui-Sheng Wang απέδειξε ότι η εικασία του Ιακωβιανού ισχύει για πολυώνυμα βαθμού 2.

 

Ένα απλό παράδειγμα

Η συνάρτηση

\(u=x^2+y+x, \qquad v=x^2+y\) έχει Ιακωβιανή ορίζουσα

\( J_F= \begin{vmatrix} 1+2x && 1\\ 2x && 1 \end{vmatrix} =1 \). Η αντίστροφή της είναι

\( x=u-v,\qquad y=v-(u-v)^2, \) η οποία είναι επίσης πολυωνυμική.

Αυτό ακριβώς το είδος των παραδειγμάτων είναι που έκανε την εικασία να φαίνεται εύλογη.

Αντίθετα, η συνάρτηση

\( u=2x^2+y,\qquad v=x^2+y \) έχει Ιακωβιανή

\(
J_F=2x,
\)

η οποία δεν είναι σταθερή, και η αντίστροφη περιέχει τετραγωνική ρίζα, άρα δεν είναι πολυώνυμο.

 

Γιατί ήταν τόσο σημαντική;

Η Εικασία του Ιακωβιανού δεν ήταν απλώς ένα ακόμη ανοιχτό πρόβλημα. Ήταν ένας κόμβος που συνέδεε την αλγεβρική γεωμετρία με τη θεωρία πολυωνύμων, τη μεταθετική άλγεβρα και τη θεωρία δυναμικών συστημάτων. Το 1998, ο διάσημος μαθηματικός Stephen Smale την συμπεριέλαβε στον περίφημο κατάλογο με τα σημαντικότερα μαθηματικά προβλήματα του 21^ου αιώνα.

 

Η ανακοίνωση που αιφνιδίασε τους πάντες

Στις 20 Ιουλίου 2026, λίγο μετά τον τελικό του Παγκοσμίου Κυπέλλου, ο Levent Alpöge δημοσίευσε στο X ένα λιτό μήνυμα ότι η Εικασία του Ιακωβιανού δεν ισχύει, συνοδευόμενο από μία πολυωνυμική συνάρτηση ως αντιπαράδειγμα.

Η συνάρτηση αυτή έχει σταθερή Ιακωβιανή ορίζουσα, ίση με \(-2 \neq 0\), αλλά «στέλνει» τρία διαφορετικά σημεία στο ίδιο σημείο. Επομένως δεν είναι “1-1” και συνεπώς δεν έχει αντίστροφη συνάρτηση.

Η ανάρτηση του Alpöge στο X

Στα Μαθηματικά, ένα μόνο σωστό αντιπαράδειγμα αρκεί για να καταρρίψει μια γενική εικασία. Το εντυπωσιακό είναι ότι ο Alpöge δήλωσε ότι το αντιπαράδειγμά του βρέθηκε με τη βοήθεια του Claude Fable 5.

 

Έχει αποδειχθεί οριστικά ότι η εικασία είναι ψευδής;

Η ανακοίνωση του Alpöge δεν πέρασε πρώτα από την κλασική διαδικασία δημοσίευσης σε επιστημονικό περιοδικό, αλλά παρουσιάστηκε δημόσια μέσω ανάρτησης στο X. Ωστόσο, από τότε αρκετοί μαθηματικοί επαλήθευσαν τους υπολογισμούς, δημιουργήθηκαν επίσημες τυπικές επαληθεύσεις (formal verification) σε συστήματα όπως το Lean και το Isabelle/HOL και εμφανίστηκαν ήδη νέες ερευνητικές εργασίες που βασίζονται στο συγκεκριμένο αντιπαράδειγμα και επεκτείνουν τα αποτελέσματά του. Αξιοσημείωτη είναι η εργασία του Terence Tao. Αν και η τυπική διαδικασία δημοσίευσης σε επιστημονικό περιοδικό βρίσκεται ακόμη σε εξέλιξη, η μαθηματική κοινότητα αντιμετωπίζει πλέον την Εικασία του Ιακωβιανού ως καταρριφθείσα για όλες τις διαστάσεις \(n \geq 3\). Το πρόβλημα παραμένει ανοιχτό στις 2 διαστάσεις!

Ένα εντυπωσιακό αποτέλεσμα είναι ότι η συγκεκριμένη απεικόνιση δεν αποτυγχάνει να είναι αντιστρέψιμη μόνο σε ένα «τυχαίο» παράδειγμα. Μεταγενέστερες αναλύσεις έδειξαν ότι πρόκειται για μια απεικόνιση γεωμετρικού βαθμού 3, δηλαδή είναι generically 3-to-1: για ένα γενικό (generic) σημείο της εικόνας (δηλαδή για όλα τα σημεία εκτός από ένα ειδικό αλγεβρικό υποσύνολο εξαιρέσεων) υπάρχουν τρία διαφορετικά στοιχεία τα οποία απεικονίζονται στο σημείο αυτό. Τα τρία σημεία που παρουσίασε ο Alpöge στην αρχική του ανακοίνωση αποτελούν απλώς ένα συγκεκριμένο παράδειγμα αυτής της πολύ βαθύτερης ιδιότητας.

Ένα άλλο άμεσο μαθηματικό συμπέρασμα είναι ότι καταρρέει και η Εικασία του Dixmier της μη μεταθετικής Άλγεβρας. Ήταν ήδη γνωστό ότι η Εικασία του Dixmier συνεπάγεται την Εικασία του Ιακωβιανού. Επομένως, αφού η δεύτερη αποδείχθηκε ψευδής μέσω του αντιπαραδείγματος του Alpöge, δεν μπορεί να ισχύει ούτε η πρώτη.

 

Η Τεχνητή Νοημοσύνη «έκανε μαθηματικά»;

Ίσως αυτό να είναι το πιο ενδιαφέρον ερώτημα. Ο καθηγητής Andrew Blumberg (Columbia University) επισήμανε ότι υπάρχει διαφορά ανάμεσα σε μια βαθιά θεωρητική απόδειξη που εξηγεί γιατί ισχύει κάτι και σε ένα αντιπαράδειγμα που απλώς δείχνει ότι μια πρόταση είναι λανθασμένη.

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

 

Τι σημαίνει αυτό για τα Μαθηματικά;

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

Είναι πολύ πιθανό ότι τα επόμενα χρόνια θα δούμε ολοένα και περισσότερες σημαντικές μαθηματικές ανακαλύψεις να προκύπτουν από αυτή τη συνεργασία. Πράγματι, φαίνεται ότι τα Μαθηματικά εισέρχονται σε μια νέα εποχή, όπου η δημιουργική σκέψη των ανθρώπων και η υπολογιστική ισχύς της ΤΝ θα πορεύονται όλο και πιο στενά μαζί. Αλλά αυτό είναι μια άλλη συζήτηση…