Μια απόδειξη που παρήχθη από την τεχνητή νοημοσύνη και ανακοινώθηκε νωρίτερα αυτό το μήνα ως μέρος μιας παρτίδας 377 μαθηματικών αποτελεσμάτων που προέρχονται από την τεχνητή νοημοσύνη κερδίζει τους ειδικούς που ξόδεψαν τις τελευταίες δύο εβδομάδες για να το χωρίσουν. Γράφοντας στις 19 Οκτωβρίου, το Quanta Magazine ανέφερε ότι οι θεωρητικοί αριθμών έχουν τώρα αποσυσκευάσει την απόδειξη της οιονεί υπόθεσης Riemann που δημιουργήθηκε από την τεχνητή νοημοσύνη - μια πιο αδύναμη εκδοχή της υπόθεσης Riemann, αναμφισβήτητα το μεγαλύτερο ανοιχτό ερώτημα στα μαθηματικά - και η ετυμηγορία τους είναι ασυνήθιστα εμφατική.
Ο Τζάρεντ Ντούκερ Λίχτμαν του Πανεπιστημίου του Στάνφορντ το χαρακτήρισε «το πιο σημαντικό επίτευγμα τεχνητής νοημοσύνης για τα μαθηματικά μέχρι στιγμής, με μεγάλη διαφορά». Ο Maksym Radziwiłł από το Πανεπιστήμιο της Νέας Υόρκης, του οποίου η δουλειά βασίζεται σε μέρη της απόδειξης, περιέγραψε τις συνέπειες ως «κλιμακωτικές». For more context on this story, see our ongoing AI trends.
Τι ισχυρίζεται η υπόθεση Quasi-Riemann
Η υπόθεση Riemann είναι ανοιχτή για περισσότερα από 160 χρόνια. Αφορά τη συνάρτηση ζήτα Riemann και τις θέσεις των μη τετριμμένων μηδενικών της, και συνδέεται στενά με τον τρόπο με τον οποίο οι πρώτοι αριθμοί κατανέμονται μεταξύ των ακεραίων. Επειδή οι πρώτοι είναι οι δομικοί λίθοι της αριθμητικής, μια απόδειξη θα αναδιαμόρφωσε τεράστιες περιοχές της θεωρίας αριθμών.
Η υπόθεση είναι ένα από τα επτά Προβλήματα του Βραβείου Χιλιετίας που ονομάστηκαν από το Ινστιτούτο Μαθηματικών Clay και ήταν το μόνο πρόβλημα που μεταφέρθηκε από τη διάσημη λίστα των 23 προβλημάτων του David Hilbert που ανακοινώθηκε έναν αιώνα νωρίτερα.
Ο τεχνικός σκελετός, όπως εκθέτει η Quanta, έχει χαρτογραφηθεί βήμα προς βήμα εδώ και γενιές. Ο Riemann έδειξε το 1859 ότι τα μη τετριμμένα μηδενικά της συνάρτησης ζέτα διέπουν τον τρόπο με τον οποίο οι πρώτοι λεπταίνουν κατά μήκος της αριθμητικής γραμμής και απέδειξε ότι μπορούν να καθίσουν μόνο μέσα σε μια κάθετη λωρίδα όπου το πραγματικό μέρος της εισόδου βρίσκεται μεταξύ μηδέν και ενός. Το 1896, δύο μαθηματικοί έδειξαν ανεξάρτητα ότι δεν υπάρχουν μηδενικά στη δεξιά άκρη της λωρίδας — ένα αποτέλεσμα αρκετά ισχυρό για να αποδείξει το θεώρημα των πρώτων αριθμών. Η ίδια η υπόθεση λέει ότι όλα τα μη τετριμμένα μηδενικά βρίσκονται ακριβώς στη μέση γραμμή της λωρίδας, όπου το πραγματικό μέρος ισούται με το μισό. Τα τετριμμένα μηδενικά σε αρνητικούς ακόμη και ακέραιους είναι ήδη πλήρως κατανοητά. Περισσότερα από 160 χρόνια προσπάθειας έχουν περιορίσει και διερευνήσει αυτή τη λωρίδα χωρίς ποτέ να καρφώσουν τα μηδενικά.
Η οιονεί υπόθεση Riemann, ή οιονεί RH, είναι μια αυστηρά πιο αδύναμη δήλωση. Ακόμα κι έτσι, οι συνέπειές του φτάνουν σχεδόν τόσο μακριά. «Κατά μία έννοια, η συντριπτική πλειονότητα των συνεπειών της RH προέρχεται ήδη από την σχεδόν RH», είπε ο Radziwiłł στην Quanta.
Από την ανακοίνωση στην επαλήθευση
Το αποτέλεσμα εμφανίστηκε για πρώτη φορά στις 6 Οκτωβρίου, όταν το OpenAI ανακοίνωσε 377 μαθηματικά αποτελέσματα που προέκυψαν από τα συστήματα τεχνητής νοημοσύνης του. Μεταξύ των επαγγελματιών μαθηματικών, η ανακοίνωση αρχικά συνάντησε μετρημένο σκεπτικισμό - τα συστήματα τεχνητής νοημοσύνης είχαν προηγουμένως προσκομίσει ισχυρισμένες αποδείξεις που κατέρρευσαν υπό τον έλεγχο των ειδικών και η επαλήθευση ήταν εδώ και καιρό το σημείο συμφόρησης που χωρίζει τα μαθηματικά που δημιουργούνται από την τεχνητή νοημοσύνη από τα αποδεκτά μαθηματικά.
Σύμφωνα με την έκθεση της Quanta, αυτή η απόδειξη είναι διαφορετική: σε αντίθεση με άλλες πρόσφατες αποδείξεις τεχνητής νοημοσύνης, αυτή έχει αποσυσκευαστεί από ειδικούς σε ανθρώπους. Οι θεωρητικοί αριθμών, όπως ο Radziwiłł, ο Alexander Dunn του Ινστιτούτου Τεχνολογίας της Τζόρτζια και άλλοι, εργάζονται πάνω στο επιχείρημα από την ανακοίνωση, ελέγχοντας τα βήματά του και τοποθετώντας το εντός της υπάρχουσας γνώσης.
Οι έλεγχοι κρατήθηκαν. «Η απόδειξη είναι μια εκπληκτική σύνθεση γνωστών ιδεών», είπε ο Dunn, ο οποίος μαζί με τον Radziwiłł πρωτοστάτησαν σε τεχνικές στις οποίες το αποτέλεσμα βασίζεται εν μέρει.
Παλιές ιδέες, κρυφές συνδέσεις
Ίσως η πιο εντυπωσιακή πτυχή της απόδειξης, είπαν οι μαθηματικοί στην Quanta, είναι αυτό που δεν απαιτούσε. Σε αντίθεση με τις προσδοκίες ότι η διευθέτηση ακόμη και μιας εξασθενημένης μορφής της υπόθεσης Riemann θα απαιτούσε θεμελιωδώς νέο μηχανισμό, η απόδειξη που παρήγαγε η τεχνητή νοημοσύνη δεν εισήγαγε νέες έννοιες. Αντίθετα, αποκάλυψε κρυφές συνδέσεις μεταξύ καθιερωμένων, συνδυάζοντας τεχνικές με τρόπο που κανένας άνθρωπος δεν είχε συγκεντρώσει.
Αυτό το μοτίβο - καινοτομία μέσω απροσδόκητης σύνθεσης και όχι μέσω νέας θεωρίας - αναδύεται ως υπογραφή μαθηματικής ανακάλυψης με τη βοήθεια της τεχνητής νοημοσύνης και ωθεί τους ερευνητές να επανεξετάσουν πού είναι πιο πιθανό να φτάσει πρώτη η συμβολή της μηχανής στα μαθηματικά.
Γιατί έχει σημασία για την έρευνα AI
Το επαληθευμένο αποτέλεσμα είναι ένα ορόσημο για την τεχνητή νοημοσύνη για τα μαθηματικά, ένα πεδίο που έχει επιταχυνθεί γρήγορα καθώς βελτιώθηκαν τα συλλογιστικά μοντέλα. Η ανακοίνωση του OpenAI της 6ης Οκτωβρίου, την οποία καλύψαμε όταν το Ινστιτούτο Προηγμένων Μελετών έθεσε ερωτήματα σχετικά με τη δέσμη των αποτελεσμάτων, ήταν ο μεγαλύτερος μεμονωμένος ισχυρισμός μαθηματικών που προέρχονται από την τεχνητή νοημοσύνη μέχρι σήμερα. Η απόδειξη σχεδόν RH είναι το πρώτο αποτέλεσμα από αυτήν την παρτίδα που έλαβε μια λεπτομερή ανάγνωση από εμπειρογνώμονες και έχει επιβιώσει.
Για τα εργαστήρια τεχνητής νοημοσύνης, το επεισόδιο δείχνει μια ροή εργασιών που μπορεί να γίνει τυπική: τα μοντέλα παράγουν υποψήφιες αποδείξεις σε κλίμακα και οι ειδικοί στον άνθρωπο διαλέγουν, επαληθεύουν και απορροφούν τα σημαντικά αποτελέσματα. Για τους μαθηματικούς, η άμεση συνέπεια είναι στενότερη αλλά πραγματική - ένα σύνολο συνεπειών της υπόθεσης Riemann που δεν χρειάζονται πλέον την πλήρη εικασία για να ισχύσουν.
Ο Quanta σημειώνει ότι οι μαθηματικοί μόλις αρχίζουν να επεξεργάζονται τι σημαίνει η απόδειξη για το πεδίο. Όπως το έθεσε ο Radziwiłł, οι συνέπειες είναι "κλιμακωτικές" - ένα επίθετο που σπάνια συνδέεται με ένα αποτέλεσμα που δεν απέχει από την πλήρη υπόθεση.
Το επεισόδιο θέτει επίσης ένα σημείο αναφοράς για μελλοντικές αξιώσεις. Οποιοδήποτε εργαστήριο τεχνητής νοημοσύνης ανακοινώνει μαθηματικές ανακαλύψεις θα μετράται πλέον έναντι οιονεί RH: ένα ισχυριζόμενο αποτέλεσμα που ελέγχθηκε, επαληθεύτηκε και έγινε αποδεκτό από τους ειδικούς που βρίσκονται στην καλύτερη θέση για να το αντικρούσουν.
Τίποτα από αυτά δεν διευθετεί την ίδια την υπόθεση Riemann. Η πλήρης εικασία παραμένει ανοιχτή και η σχεδόν RH είναι αυστηρά ασθενέστερη. Αλλά για πρώτη φορά, ένα σύστημα τεχνητής νοημοσύνης παρήγαγε μια απόδειξη στα σύνορα της αναλυτικής θεωρίας αριθμών που κορυφαίοι ειδικοί στην περιοχή έχουν αποσυσκευάσει και επικυρώσει - γεγονός που μπορεί να λέει τόσα πολλά για το μέλλον της μαθηματικής έρευνας όσο και το ίδιο το θεώρημα.
Αυτό το άρθρο βασίζεται σε αναφορές του περιοδικού Quanta, που δημοσιεύτηκε στις 19 Οκτωβρίου 2026.
---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
