Η OpenAI δημοσίευσε στις 1 Αυγούστου 2026 μια λίστα με δέκα αποτελέσματα που, σύμφωνα με την ίδια, λύνουν ή προωθούν ουσιαστικά μακροχρόνια ανοικτά προβλήματα στα μαθηματικά και τη θεωρητική επιστήμη υπολογιστών. Η ανακοίνωση δεν αφορά ένα νέο εμπορικό προϊόν, αλλά μια ερευνητική διεκδίκηση με ιδιαίτερο βάρος: η εταιρεία λέει ότι τα βασικά επιχειρήματα παρήχθησαν από εσωτερική έκδοση του μοντέλου Astra και κατόπιν μετατράπηκαν σε χειρόγραφα και τυπικές αποδείξεις Lean με ανθρώπινη επιμέλεια.
Τι υποστηρίζει η OpenAI
Στην ανάρτησή της, η OpenAI αναφέρει ότι τα δέκα αυτά αποτελέσματα καλύπτουν πεδία όπως η γεωμετρία υψηλών διαστάσεων, η θεωρία κωδίκων, η πολυπλοκότητα αλγεβρικών κυκλωμάτων, η θεωρία ομάδων, οι άλγεβρες von Neumann, η κβαντική πολυπλοκότητα, η κρυπτογραφία πλεγμάτων και η ακραία συνδυαστική. Η εταιρεία σημειώνει επίσης ότι πρόκειται για προβλήματα με πραγματική βαρύτητα για τις αντίστοιχες επιστημονικές κοινότητες και ότι ορισμένα από αυτά έχουν ευρύτερη σημασία για τα μαθηματικά συνολικά.
Κατά την OpenAI, το εσωτερικό Astra βρήκε τις λύσεις με συνολικό υπολογιστικό κόστος που θα αντιστοιχούσε περίπου σε 2.000 δολάρια με τις τιμές του Sol API. Στη συνέχεια, άνθρωποι ετοίμασαν τα κείμενα μαζί με το ίδιο μοντέλο, ενώ αργότερα το σύστημα τυποποίησε κάθε επιχείρημα σε πιστοποιητικό Lean. Παράλληλα, η εταιρεία δίνει στη δημοσιότητα και αφηγήσεις του ίδιου του μοντέλου για το πώς προσέγγισε κάθε λύση.
Τα δέκα αποτελέσματα
Η λίστα που δημοσίευσε η OpenAI περιλαμβάνει νέο άνω φράγμα για τη συσκευασία σφαιρών σε υψηλές διαστάσεις, εκθετικά βελτιωμένα όρια για δυαδικούς και σφαιρικούς κώδικες, κατασκευή που θεμελιώνει την ύπαρξη μη-sofic ομάδων και διάψευση της εικασίας ακαμψίας του Connes για συγκεκριμένες ομάδες και τις άλγεβρες von Neumann τους.
Στην ίδια δέσμη εργασιών εντάσσονται νέα κατώτερα φράγματα για τον υπολογισμό του permanent με αλγεβρικά κυκλώματα και τύπους, ένα εκθετικό θεώρημα παράλληλης επανάληψης για γενικά κβαντικά παιχνίδια δύο παικτών, καθώς και αποτέλεσμα για τη δυσκολία προσέγγισης κατά πολυωνυμικό παράγοντα του closest vector problem, ενός κεντρικού προβλήματος πλεγμάτων που συνδέεται με τη μετα-κβαντική κρυπτογραφία.
Η δεκάδα συμπληρώνεται από λύση της εικασίας όγκου του Ehrhart σε κάθε διάσταση, υπερεκθετικό κάτω φράγμα για πολυχρωματικούς αριθμούς Ramsey τριγώνων, καθώς και αποτελέσματα για τις εικασίες compactness και degeneracy στην ακραία θεωρία γράφων. Η OpenAI συνδέει μάλιστα ορισμένα από αυτά με γνωστά προβλήματα του Erdős, παρουσιάζοντάς τα ως απαντήσεις σε ερωτήματα που έμεναν ανοιχτά επί δεκαετίες.
Γιατί η ανακοίνωση έχει σημασία
Το ενδιαφέρον εδώ δεν είναι μόνο η λίστα των προβλημάτων, αλλά και ο τρόπος με τον οποίο η εταιρεία περιγράφει την παραγωγή των αποδείξεων. Η OpenAI υποστηρίζει ρητά ότι τα μαθηματικά επιχειρήματα δημιουργήθηκαν από το σύστημά της και ότι η ανθρώπινη συμβολή αφορούσε την προετοιμασία των χειρογράφων, την τυπική επιβεβαίωση σε Lean και την ανάληψη ευθύνης για την ορθότητά τους. Με αυτόν τον τρόπο, επιχειρεί να τοποθετήσει την AI όχι απλώς ως εργαλείο γραφής ή αναζήτησης βιβλιογραφίας, αλλά ως ενεργό ερευνητικό συντελεστή.
Η ίδια ανάρτηση δίνει και ένα ευρύτερο πλαίσιο. Η OpenAI υπενθυμίζει ότι είχε ήδη ανακοινώσει τον Μάιο μια διάψευση της εικασίας αποστάσεων μονάδας του Erdős που παρήχθη από AI, η οποία, όπως λέει, ενέπνευσε επόμενες εξελίξεις στα μαθηματικά και στη θεωρητική επιστήμη υπολογιστών. Τώρα επιχειρεί να δείξει ότι εκείνο δεν ήταν μεμονωμένο περιστατικό, αλλά μέρος μιας πιο σταθερής ερευνητικής ικανότητας.
Το ζήτημα της ευθύνης και της αποδοχής
Η OpenAI αναγνωρίζει ότι η εμφάνιση συστημάτων που συμβάλλουν σε μαθηματική έρευνα ανοίγει ερωτήματα που δεν μπορεί να λύσει μόνη της μια τεχνολογική εταιρεία. Στο κείμενο αναφέρεται ρητά στον διάλογο που έχει ανοίξει στην κοινότητα, ακόμη και στις επιφυλάξεις που εκφράζονται δημόσια για τον ρόλο της AI στα μαθηματικά. Η θέση της είναι ότι η απόδοση πρέπει να περιγράφει με ειλικρίνεια πώς προέκυψε ένα αποτέλεσμα και ότι η πλήρης απόδοση ανθρώπινης πατρότητας σε απόδειξη που δημιουργήθηκε από AI θα ήταν παραπλανητική.
Αυτό είναι ίσως το πιο κρίσιμο σημείο της ανακοίνωσης. Τα αποτελέσματα που παρουσιάζονται θα χρειαστούν έλεγχο, απορρόφηση και αξιολόγηση από τη μαθηματική κοινότητα, ανεξάρτητα από το πόσο εντυπωσιακά εμφανίζονται στην πρώτη ανάγνωση. Μέχρι τότε, η δημοσίευση της OpenAI λειτουργεί ταυτόχρονα ως επιστημονικός ισχυρισμός και ως δοκιμή για το πώς η έρευνα θα διαχειρίζεται στο εξής την απόδειξη, την αναγνώριση και την εμπιστοσύνη όταν η μηχανή δεν περιορίζεται στο να βοηθά, αλλά διεκδικεί ρόλο συνδημιουργού.