Μοντέλο της OpenAI έλυσε δέκα ανοιχτά μαθηματικά προβλήματα

Η OpenAI ανακοίνωσε την 1 Αυγούστου 2026 ότι εσωτερική έκδοση του Astra, μοντέλου που δεν έχει κυκλοφορήσει, έλυσε δέκα μαθηματικά προβλήματα ανοιχτά τουλάχιστον μία δεκαετία. Οι αποδείξεις γράφτηκαν σε Lean 4 (γλώσσα που ελέγχει αποδείξεις βήμα βήμα) και δημοσιεύτηκαν στο GitHub με άδεια Apache 2.0, μαζί με χειρόγραφο 249 σελίδων. Σύμφωνα με την OpenAI, το κόστος σε tokens (κομμάτια κειμένου που μετράει το μοντέλο) ήταν περίπου 2.000 δολάρια. Καμία από τις δέκα αποδείξεις δεν έχει περάσει peer review.

Γιατί έχει σημασία: δείχνει τι ετοιμάζεται, όχι κάτι που μπορείς να χρησιμοποιήσεις σήμερα.