Το OpenAI δημοσίευσε τα πρώτα αποτελέσματα... Astra, το επόμενο μοντέλο τεχνητής νοημοσύνης τουςΗ εταιρεία έχει σημειώσει πρόοδο σε δέκα ανοιχτά προβλήματα στα μαθηματικά και τη θεωρητική επιστήμη των υπολογιστών. Σύμφωνα με την εταιρεία, ορισμένα από αυτά τα προβλήματα παρέμειναν άλυτα για πάνω από μια δεκαετία χωρίς σημαντική πρόοδο. Η ανακοίνωση, που δημοσιεύθηκε την 1η Αυγούστου 2026, έχει προκαλέσει σημαντικό ενθουσιασμό στην επιστημονική κοινότητα, αν και πολλοί ερευνητές συνιστούν προσοχή μέχρι να εξεταστούν τα αποτελέσματα από ανεξάρτητους εμπειρογνώμονες.
Αυτό που διαφοροποιεί αυτή τη διαφήμιση από άλλες παρόμοιες είναι ότι Το OpenAI δημοσίευσε όχι μόνο τα αποτελέσματα, αλλά και τις επίσημες επιδείξεις στο σύστημα επαλήθευσης Lean. Αυτό επιτρέπει σε οποιονδήποτε μαθηματικό να ελέγχει αυτόματα την ορθότητα των ορισμάτων. Επιπλέον, η εταιρεία έχει περιγράψει λεπτομερώς τη διαδικασία ανακάλυψης, συμπεριλαμβανομένων 249 σελίδων ορισμάτων και 62 σελίδων αιτιολογημένων σημειώσεων, παρέχοντας ασυνήθιστη διαφάνεια σε αυτό το είδος επικοινωνίας.
Τα δέκα προβλήματα και η σημασία τους
Τα προβλήματα που αντιμετωπίζει το Astra καλύπτουν πολύ διαφορετικούς τομείς των σύγχρονων μαθηματικών. Μεταξύ αυτών είναι: η διάψευση της εικασίας της ακαμψίας του ΚονςΑυτό το αποτέλεσμα έχει σημαντικό αντίκτυπο στις αλγεβρές τελεστών, και η σαφής κατασκευή μη-Σοφικών ομάδων είναι ένα θεμελιώδες ζήτημα στη θεωρία ομάδων. Νέα άνω όρια έχουν επίσης ληφθεί για τη συσκευασία σφαιρών σε υψηλές διαστάσεις, ένα πρόβλημα με άμεσες εφαρμογές στη θεωρία πληροφοριών και στους κώδικες διόρθωσης σφαλμάτων.
Στον τομέα της συνδυαστικής, η Astra έχει λύσει τρία προβλήματα που έθεσε ο Ούγγρος μαθηματικός Paul Erdős: τα προβλήματα 146, 180 και 183. Το τελευταίο από αυτά, που σχετίζεται με πολύχρωμους αριθμούς Ramsey, έχει περιγραφεί από τον ειδικό Thomas Bloom ως «το πιο εκπληκτικό από ολόκληρη τη λίστα». Άλλες εξελίξεις περιλαμβάνουν νέα κατώτερα όρια για αριθμητικά κυκλώματα, ένα θεώρημα παράλληλης επανάληψης για κβαντικά παιχνίδια και αποτελέσματα σχετικά με την προσεγγιστική σκληρότητα του προβλήματος του πλησιέστερου διανύσματος, που σχετίζονται με την μετα-κβαντική κρυπτογραφία.
Κόστος και μεθοδολογία
Το OpenAI αποκάλυψε ότι Το συνολικό κόστος συμβολικών στοιχείων για την εύρεση αυτών των λύσεων ήταν περίπου 2.000 δολάρια.Σύμφωνα με τα ποσοστά API της Sol, αυτό το ποσό δεν περιλαμβάνει την εκπαίδευση μοντέλων ή την εργασία ανθρώπινων ερευνητών. Η διαδικασία συνδύασε τη δημιουργία ορισμάτων από την Astra με τη συμβολή ειδικών που βοήθησε στη μετατροπή αυτών των ορισμάτων σε σαφή χειρόγραφα και, στη συνέχεια, σε αυτόματα επαληθεύσιμα πιστοποιητικά Lean.
Η τυποποίηση είναι το κλειδί στο Lean: επιτρέπει σε οποιονδήποτε έχει πρόσβαση στο λογισμικό να επαληθεύσει βήμα προς βήμα ότι η επίδειξη είναι λογικά σωστή. Ωστόσο, Οι μαθηματικοί πρέπει ακόμη να επαληθεύσουν ότι οι ορισμοί και οι υποθέσεις που χρησιμοποιούνται αντιστοιχούν στο αρχικό πρόβλημα.Αυτό είναι κάτι που μια μηχανή δεν μπορεί να κάνει μόνη της. Η OpenAI έχει αναλάβει την ευθύνη για τη διόρθωση της εργασίας, αλλά δεν έχει εντοπίσει καμία ανεξάρτητη ομάδα που να έχει αξιολογήσει δημόσια και τα δέκα αποτελέσματα.
Σύγκριση με το Deep Blue και απαραίτητη προσοχή
Αρκετά μέσα ενημέρωσης έχουν συγκρίνει αυτό το ορόσημο με τη νίκη των Deep Blue επί του Garry Kasparov το 1997, αλλά οι ειδικοί επισημαίνουν ότι Τα μαθηματικά είναι πιο περίπλοκα από το σκάκιΣε ένα παιχνίδι, το αποτέλεσμα είναι άμεσο. Στα μαθηματικά, μια απόδειξη μπορεί να απαιτεί μήνες αξιολόγησης από ομοτίμους πριν γίνει δεκτή. Επιπλέον, το Astra δεν είναι διαθέσιμο στο κοινό, επομένως οι εξωτερικοί ερευνητές δεν μπορούν να αναπαράγουν τη διαδικασία ή να προσδιορίσουν το ποσοστό αποτυχίας του μοντέλου.
Η OpenAI είχε προηγούμενες εμπειρίες όπου φαινομενικά σωστά αποτελέσματα αποδείχθηκαν λανθασμένα μετά από έλεγχο από ειδικούς. Τον Φεβρουάριο του 2026, η εταιρεία υπέβαλε λύσεις για την πρόκληση First Proof και αργότερα αναγνώρισε ότι μία από αυτές ήταν λανθασμένη. Ως εκ τούτου, Η επιστημονική κοινότητα επιμένει ότι αυτές οι δέκα πρόοδοι θα πρέπει να αντιμετωπίζονται ως πολλά υποσχόμενες, αλλά όχι ως οριστικές.μέχρι να επαληθευτούν ανεξάρτητα.
Στην Ευρώπη, ερευνητές από πανεπιστήμια όπως το Πολυτεχνικό Πανεπιστήμιο της Μαδρίτης και το Πανεπιστήμιο του Κέιμπριτζ έχουν εκφράσει ενδιαφέρον για την ανάλυση των πιστοποιητικών Lean που δημοσιεύονται από το OpenAI. Η πιθανότητα η τεχνητή νοημοσύνη να συνεργάζεται στη δημιουργία νέας μαθηματικής γνώσης ανοίγει μια συζήτηση σχετικά με τον ρόλο των ανθρώπινων επιστημόνων στο μέλλον, αν και η εταιρεία τονίζει ότι η επικύρωση και η ενσωμάτωση των αποτελεσμάτων θα συνεχίσουν να εξαρτώνται από τους ειδικούς για πολλά χρόνια ακόμη.
Παρ' όλα αυτά, η ανακοίνωση της Astra σηματοδοτεί ένα σημείο καμπής: η τεχνητή νοημοσύνη δεν περιορίζεται πλέον στην επίλυση προβλημάτων με γνωστές απαντήσεις, αλλά αρχίζει να προτείνει πρωτότυπα επιχειρήματα σχετικά με ερωτήματα που βρίσκονται στην πρώτη γραμμή της γνώσης. Η πραγματική «στιγμή του Βαθέος Μπλε» στα μαθηματικά μπορεί να μην φτάσει με ένα μόνο θεαματικό αποτέλεσμα, αλλά μάλλον σταδιακά, καθώς αυτά τα μοντέλα γίνονται συνεργάτες ικανοί να εξερευνήσουν χιλιάδες μονοπάτια και να επισημοποιήσουν αποτελέσματα που κανένας ερευνητής δεν είχε δοκιμάσει προηγουμένως.
