ΜοντέλαΜοντέλο της OpenAI έλυσε δέκα ανοιχτά μαθηματικά προβλήματα
Εσωτερική έκδοση του Astra, μοντέλου που δεν κυκλοφορεί, έλυσε δέκα προβλήματα ανοιχτά τουλάχιστον μία δεκαετία.
Πηγή αλήθειαςopenai.com/…/ten-advances-in-mathematicsΗ OpenAI ανακοίνωσε την 1 Αυγούστου 2026 ότι εσωτερική έκδοση του Astra, μοντέλου που δεν έχει κυκλοφορήσει, έλυσε δέκα μαθηματικά προβλήματα ανοιχτά τουλάχιστον μία δεκαετία. Οι αποδείξεις γράφτηκαν σε Lean 4 (γλώσσα που ελέγχει αποδείξεις βήμα βήμα) και δημοσιεύτηκαν στο GitHub με άδεια Apache 2.0, μαζί με χειρόγραφο 249 σελίδων. Σύμφωνα με την OpenAI, το κόστος σε tokens (κομμάτια κειμένου που μετράει το μοντέλο) ήταν περίπου 2.000 δολάρια. Καμία από τις δέκα αποδείξεις δεν έχει περάσει peer review.
Γιατί έχει σημασία: δείχνει τι ετοιμάζεται, όχι κάτι που μπορείς να χρησιμοποιήσεις σήμερα.
Άλλες πηγές: siliconangle.com/…/openais-astra-solves…
Σχετικά θέματα
Γενικά διαθέσιμο το Claude στο Google Cloud (Anthropic managed)
Το Claude Models on Google Cloud (Anthropic managed) έγινε γενικά διαθέσιμο: οι πελάτες του Google Cloud έχουν όλες τις λειτουργίες της Claude Platform, με χρέωση στο τιμολόγιο του Google Cloud. Σε αυτή την υπηρεσία, το Fast Mode του Opus 5.5 κοστίζει 8 δολ. (input) και 40 δολ. (output) ανά εκατ. tokens.
OpenAI: γενικά διαθέσιμο το Decisions API με το gpt-6-luna
Το Decisions API βγήκε από το beta με έως 400 ερωτήσεις ανά αίτημα και εικόνες στις οδηγίες. Στο Responses API ήρθε cache 12 ωρών για το prompt.