Η OpenAI ανακοίνωσε τρία ερευνητικά αποτελέσματα που, σύμφωνα με την ίδια, προέκυψαν με τη βοήθεια των μοντέλων της και αφορούν τρεις διαφορετικές περιοχές: την αρμονική ανάλυση, τη θεωρία υπολογιστικής πολυπλοκότητας και τη μαθηματική θεμελίωση κβαντικών πεδίων. Η ανακοίνωση έχει ιδιαίτερο βάρος όχι μόνο για τους ισχυρισμούς της, αλλά και για τον τρόπο με τον οποίο η εταιρεία επιλέγει να τους παραδώσει στην ακαδημαϊκή κοινότητα.
Η OpenAI δεν παρουσιάζει τα αποτελέσματα ως τελειωμένη επιστημονική γνώση. Τα περιγράφει ως «ακατέργαστα ερευνητικά δεδομένα» και δοκιμάζει διαφορετικές διαδικασίες εξωτερικής επιμέλειας, ώστε ερευνητές να εξετάσουν, να εξηγήσουν και να επεκτείνουν όσα παρήγαγαν τα μοντέλα.
Μια απόδειξη για την τοπική εξομάλυνση
Το πρώτο αποτέλεσμα αφορά την εικασία της τοπικής εξομάλυνσης, ένα πρόβλημα της αρμονικής ανάλυσης που περιγράφει πόσο έντονα μπορούν να εστιάσουν τα κύματα και για πόσο χρόνο. Η OpenAI υποστηρίζει ότι τα μοντέλα της παρήγαγαν απόδειξη σε όλες τις διαστάσεις.
Η εταιρεία συνδέει τον ισχυρισμό αυτό με δύο σημαντικές συνέπειες: την εικασία Kakeya και την εικασία περιορισμού του Stein. Η σελίδα της ανακοίνωσης αναφέρει επίσης ότι η νέα απόδειξη βασίζεται σε μια βοηθητική μερική διαφορική εξίσωση, χωρίς όμως να σημαίνει ότι η κοινότητα έχει ήδη ολοκληρώσει την ανεξάρτητη αξιολόγηση της εργασίας.
Για αυτό το σκέλος, η OpenAI δημοσίευσε τόσο το κείμενο της απόδειξης σε φυσική γλώσσα όσο και την τυπική τυποποίησή της σε Lean. Η εταιρεία αναφέρει ότι το μοντέλο παρήγαγε το αποτέλεσμα στις 18 Οκτωβρίου 2026, ενώ η τυποποίησή του σε Lean ολοκληρώθηκε την επόμενη ημέρα.
Η αναίρεση της Exponential Time Hypothesis
Το δεύτερο αποτέλεσμα αφορά την Exponential Time Hypothesis (ETH), μια ευρέως χρησιμοποιούμενη υπόθεση στη θεωρία υπολογιστικής πολυπλοκότητας. Η ETH συνδέεται με το πόσο γρήγορα μπορούν να λυθούν προβλήματα όπως η ικανοποιησιμότητα Boolean τύπων και έχει χρησιμοποιηθεί για την εξαγωγή αποτελεσμάτων δυσκολίας σε πολλούς κλάδους.
Η OpenAI λέει ότι το σύστημά της παρήγαγε απόδειξη πως η ETH είναι ψευδής και ότι το αποτέλεσμα τυποποιήθηκε σε Lean. Αν επιβεβαιωθεί, η αναίρεση θα ανοίξει εκ νέου ερωτήματα για την πραγματική υπολογιστική δυσκολία αυτών των προβλημάτων και για το αν μπορούν να προκύψουν ταχύτεροι αλγόριθμοι.
Εδώ η διαδικασία είναι πιο συλλογική. Μια ομάδα με επικεφαλής τους Russell Impagliazzo, Ramamohan Paturi και Ryan Williams θα εξετάσει και θα εξηγήσει το αποτέλεσμα. Η OpenAI αναφέρει ότι δημοσιοποίησε τα ακατέργαστα δεδομένα, το κείμενο της απόδειξης και την τυποποίηση, ενώ δεσμεύτηκε να χρηματοδοτήσει συνέδριο για την κατανόηση των συνεπειών του ισχυρισμού.
Απόδειξη ύπαρξης για κβαντικά πεδία
Το τρίτο σκέλος είναι το πιο φιλόδοξο και αφορά την αυστηρή ύπαρξη ορισμένων αλληλεπιδρώντων κβαντικών θεωριών πεδίου σε τέσσερις διαστάσεις. Η OpenAI περιγράφει μια απόδειξη που περιλαμβάνει θεωρίες με πεδία βαθμίδας και φερμιόνια, καθώς και μια ενοποιημένη ολοκλήρωση του Καθιερωμένου Προτύπου.
Η ανακοίνωση συνδέει το έργο με την Κβαντική Χρωμοδυναμική (QCD), τη θεωρία της ισχυρής δύναμης, και με το υποπρόβλημα της ύπαρξης της καθαρής θεωρίας Yang–Mills. Το τελευταίο αποτελεί μέρος του προβλήματος Yang–Mills του Clay Mathematics Institute, ενός από τα προβλήματα της Χιλιετίας.
Για το αποτέλεσμα στη φυσική, η εταιρεία ακολουθεί την πιο προσεκτική από τις τρεις διαδρομές: η εξωτερική ομάδα, με επικεφαλής τον David Gross και με τη συμμετοχή των Michael Douglas, Arthur Jaffe, Igor Klebanov και Nikita Nekrasov, αποφάσισε να μην κυκλοφορήσει ακόμη τα τεκμήρια που παρήγαγε η AI. Αντί γι’ αυτό, θα εργαστεί η ίδια πάνω στην επιστημονική παρουσίαση.
Η OpenAI αναφέρει ότι τα μοντέλα παρήγαγαν απόδειξη για την ύπαρξη της Yang–Mills στις 16 Οκτωβρίου και για την QCD στις 18 Σεπτεμβρίου 2026, ενώ η formalization της πρώτης ολοκληρώθηκε στις 16 Οκτωβρίου. Οι ημερομηνίες και οι ισχυρισμοί προέρχονται από την ίδια την εταιρεία και δεν ισοδυναμούν από μόνες τους με ανεξάρτητη δημοσίευση ή καθολική αποδοχή.
Το δύσκολο μέρος αρχίζει μετά την ανακάλυψη
Η ανακοίνωση έχει σημασία επειδή μετακινεί τη συζήτηση από την παραγωγή πιθανών λύσεων στην κοινωνική και επιστημονική διαδικασία που απαιτείται για να γίνουν αυτές οι λύσεις κατανοητές και αξιόπιστες. Η ύπαρξη τυπικής τυποποίησης σε Lean είναι σημαντικό εργαλείο ελέγχου, αλλά δεν αντικαθιστά την ερμηνεία, τη σύγκριση με προηγούμενη βιβλιογραφία και την αξιολόγηση από ειδικούς.
Η OpenAI λέει ότι οι συνεργασίες θα βασίζονται στη διαφάνεια, δεν θα απαιτούν συμφωνίες μη αποκάλυψης και δεν θα διεκδικούν ακαδημαϊκή πίστωση για τις ανακαλύψεις των εσωτερικών μοντέλων. Παράλληλα, αναγνωρίζει ότι η επιλογή των πρώτων «επιμελητών» δημιουργεί ασυμμετρία πληροφόρησης και καλεί την κοινότητα να προτείνει τρόπους για ευρύτερη συμμετοχή.
Το πιο άμεσο συμπέρασμα δεν είναι ότι η AI αντικατέστησε την επιστημονική κοινότητα. Είναι ότι μπορεί να παράγει ισχυρισμούς σε επίπεδο που απαιτεί νέες υποδομές ελέγχου, νέες μορφές συνεργασίας και πολύ καθαρή διάκριση ανάμεσα σε μια υποσχόμενη απόδειξη, μια τυπικά επαληθευμένη διατύπωση και μια γνώση που έχει γίνει αποδεκτή από το αντίστοιχο επιστημονικό πεδίο.
Πηγή: OpenAI — Working with academic communities to build scientific understanding