Πώς τα γλωσσικά μοντέλα λύνουν σύνθετα μαθηματικά προβλήματα;
Δημοσιεύτηκε στις
Από την πρόβλεψη της επόμενης λέξης στην απόδειξη που ελέγχεται μηχανικά Τα μεγάλα γλωσσικά μοντέλα εκπαιδεύτηκαν να γράφουν κείμενο, όχι να αποδεικνύουν θεωρήματα. Κι όμως, το 2026 παράγουν αποτελέσματα που ελέγχουν κορυφαίοι μαθηματικοί. Για να καταλάβουμε πώς γίνεται αυτό, πρέπει να κοιτάξουμε τους μηχανισμούς ελέγχου που χτίστηκαν γύρω από τα μοντέλα, και αρκετοί από αυτούς ... Περισσότερα