Από την πρόβλεψη της επόμενης λέξης στην απόδειξη που ελέγχεται μηχανικά
Τα μεγάλα γλωσσικά μοντέλα εκπαιδεύτηκαν να γράφουν κείμενο, όχι να αποδεικνύουν θεωρήματα. Κι όμως, το 2026 παράγουν αποτελέσματα που ελέγχουν κορυφαίοι μαθηματικοί. Για να καταλάβουμε πώς γίνεται αυτό, πρέπει να κοιτάξουμε τους μηχανισμούς ελέγχου που χτίστηκαν γύρω από τα μοντέλα, και αρκετοί από αυτούς είναι, στην ουσία τους, μηχανισμοί μετάφρασης ανάμεσα σε γλώσσες. Στις 26 Οκτωβρίου η OpenAI και, λίγες ώρες αργότερα, η Anthropic δημοσίευσαν αποδείξεις ότι η Υπόθεση του Εκθετικού Χρόνου (ETH), μια εικασία της θεωρητικής πληροφορικής του 1999, είναι λανθασμένη. Τα αποτελέσματα ελέγχονται ακόμη από ομάδα με επικεφαλής δύο από τους επιστήμονες που διατύπωσαν την εικασία ( Scientific American ). Το ερώτημα που μας απασχολεί εδώ είναι πιο βασικό: πώς φτάνει ένα σύστημα που προβλέπει λέξεις σε μια μαθηματική απόδειξη; Ένα μοντέλο που προβλέπει κείμενο Ένα μεγάλο γλωσσικό μοντέλο δεν υπολογίζει όπως ένα σύστημα συμβολικής άλγεβρας. Παράγει κείμενο λέξη προς λέξη, με βάση πιθανότητ...