Η OpenAI ανακοίνωσε στις 6 Οκτωβρίου 2026 ότι δημοσιεύει μια ευρεία σειρά νέων μαθηματικών αποτελεσμάτων, τα οποία παρήγαγε -σύμφωνα με την εταιρεία- ένα εσωτερικό μοντέλο αιχμής που δεν κατονομάζεται δημόσια. Τα αποτελέσματα είναι διαθέσιμα σε αποθετήριο στο GitHub, με πολλές αποδείξεις διατυπωμένες σε Lean, τη γλώσσα που επιτρέπει σε υπολογιστή να επαληθεύσει τυπικά ένα μαθηματικό επιχείρημα.
Τι δημοσίευσε η OpenAI
Στην ανάρτησή της «Sharing AI progress in mathematics», η εταιρεία περιγράφει τη δημοσίευση ως μέρος μιας προσπάθειας να μοιραστεί αποτελέσματα που παρήγαγε το μοντέλο της σε ανοιχτά μαθηματικά προβλήματα. Το αποθετήριο github.com/openai/math περιλαμβάνει πρωτόκολλα για αναθεωρήσεις εργασιών και αναφορές (citations), ενώ η OpenAI σημειώνει πως εξετάζει ακόμη και άλλους χώρους φιλοξενίας από την ακαδημαϊκή κοινότητα για τα ίδια υλικά. Η εταιρεία δεν αποκαλύπτει στη σελίδα ποιο μοντέλο βρίσκεται πίσω από τα αποτελέσματα, κάτι που έχει γίνει πλέον σύνηθες μοτίβο: νωρίτερα μέσα στο 2026 η OpenAI είχε ανακοινώσει, χωρίς να κατονομάσει μοντέλο, πρώτα τη διάψευση της εικασίας μοναδιαίας απόστασης του Erdős τον Μάιο και στη συνέχεια, τον Αύγουστο, δέκα ακόμη αποτελέσματα -ανάμεσά τους η ύπαρξη μη-σοφικής ομάδας και η διάψευση της εικασίας ακαμψίας του Connes- τα οποία διεθνές δημοσιογραφικό ρεπορτάζ είχε συνδέσει με ένα εσωτερικό, μη κυκλοφορημένο μοντέλο που αναφέρεται ανεπίσημα ως «Astra».
Διαφάνεια: αποδείξεις σε Lean και υπολογιστικό κόστος
Το βασικό νέο στοιχείο της ανακοίνωσης δεν είναι μόνο τα αποτελέσματα, αλλά το πλαίσιο διαφάνειας που τα συνοδεύει. Η OpenAI δημοσιεύει περιλήψεις της συλλογιστικής του μοντέλου για δέκα από τα αποτελέσματα, εκτιμήσεις του υπολογιστικού κόστους εκφρασμένες σε ώρες χρήσης του ChatGPT Pro και στατιστικά για τον αριθμό προβλημάτων που δοκιμάστηκαν. Σύμφωνα με την εταιρεία, το μέσο αποτέλεσμα απαίτησε υπολογιστική ισχύ ισοδύναμη με περίπου τρεις ώρες «σκέψης» σε επίπεδο ChatGPT Pro. Η επιλογή να εκφραστεί το κόστος σε όρους προϊόντος, και όχι απλά σε GPU-ώρες, είναι ένδειξη ότι η εταιρεία θέλει το κοινό να μπορεί να συγκρίνει το μέγεθος της προσπάθειας με κάτι ήδη γνωστό. Οι τυπικές αποδείξεις σε Lean δίνουν στην κοινότητα τη δυνατότητα να επαληθεύσει μηχανικά τα επιχειρήματα, χωρίς να βασίζεται αποκλειστικά σε έλεγχο από ανθρώπους μαθηματικούς.
Η συμβουλή της AGMAI και τα επόμενα βήματα
Η OpenAI αναφέρει ότι συμβουλεύτηκε την Advisory Group on Mathematics and Artificial Intelligence (AGMAI) του Institute for Advanced Study για τις καλές πρακτικές γύρω από τη δημοσίευση, και ότι βασίστηκε στις δημόσιες συστάσεις της ομάδας. Η εταιρεία δεσμεύεται επίσης να χρηματοδοτήσει εργαστήρια, συνέδρια και ειδικά προγράμματα για την κατανόηση σημαντικών αποτελεσμάτων που παράγονται από AI, με λεπτομέρειες να ακολουθούν «στο προσεχές διάστημα». Στην ανάρτηση αναφέρεται ότι θα συνεχίσει να προσθέτει τυπικές αποδείξεις με τον καιρό και ότι θα αναπροσαρμόζει τα πρότυπα δημοσιοποίησής της με βάση την ανάδραση από την επιστημονική κοινότητα.
Η οπτική του Pulse of Greece
Αυτό που ξεχωρίζει στην κίνηση της OpenAI δεν είναι μόνο η λίστα των μαθηματικών αποτελεσμάτων, αλλά η απόφαση να συνοδευτούν από μετρήσιμα στοιχεία διαφάνειας: τυπικές αποδείξεις που ελέγχονται μηχανικά, εκτίμηση κόστους σε κατανοητές μονάδες και εξωτερική συμβουλευτική γνώμη πριν τη δημοσίευση. Είναι μια διαφορετική λογική από το σύνηθες μοτίβο «ανακοίνωσης-ρεκόρ» που βλέπουμε στα μοντέλα AI, όπου το κέντρο βάρους είναι συνήθως ένα benchmark score. Εδώ το ζητούμενο είναι να πειστεί η ίδια η μαθηματική κοινότητα ότι τα αποτελέσματα αξίζει να εξεταστούν σοβαρά, σε έναν χώρο όπου η επαλήθευση -και όχι μόνο η παραγωγή- ενός αποδεικτικού επιχειρήματος είναι το δύσκολο κομμάτι. Το αν αυτά τα αποτελέσματα θα αντέξουν στον χρόνο και στην κρίση των ειδικών είναι κάτι που θα φανεί μήνες μετά τη δημοσίευσή τους, όχι την ημέρα της ανακοίνωσης.
