Από την πρόβλεψη της επόμενης λέξης στην απόδειξη που ελέγχεται μηχανικά *Τα μεγάλα γλωσσικά μοντέλα εκπαιδεύτηκαν να γράφουν κείμενο, όχι να αποδεικνύουν θεωρήματα. Κι όμως, το 2026 παράγουν αποτελέσματα που ελέγχουν κορυφαίοι μαθηματικοί. Για να καταλάβουμε πώς γίνεται αυτό, πρέπει να κοιτάξουμε τους μηχανισμούς ελέγχου που χτίστηκαν γύρω από τα μοντέλα, και αρκετοί από αυτούς είναι, στην ουσία τους, μηχανισμοί μετάφρασης ανάμεσα σε γλώσσες.* Στις 26 Οκτωβρίου η OpenAI και, λίγες ώρες αργότερα, η Anthropic δημοσίευσαν αποδείξεις ότι η Υπόθεση του Εκθετικού Χρόνου (ETH), μια εικασία της θεωρητικής πληροφορικής του 1999, είναι λανθασμένη. Τα αποτελέσματα ελέγχονται ακόμη από ομάδα με επικεφαλής δύο από τους επιστήμονες που διατύπωσαν την εικασία (Scientific American <https://www.scientificamerican.com/article/dueling-proofs-from-openai-and-anthropic-astound-scientists/>). *Το ερώτημα που μας απασχολεί εδώ είναι πιο βασικό: πώς φτάνει ένα σύστημα που προβλέπει λέξεις σε μια μαθηματική απόδειξη;* Ένα μοντέλο που προβλέπει κείμενο *Ένα μεγάλο γλωσσικό μοντέλο δεν υπολογίζει όπως ένα σύστημα συμβολικής άλγεβρας.* Παράγει κείμενο λέξη προς λέξη, με βάση πιθανότητες που έμαθε από τεράστιο όγκο γραπτών, ανάμεσά τους και μαθηματικών. Η αντίθεση με τον άνθρωπο είναι ενδιαφέρουσα. Στον ανθρώπινο εγκέφαλο το γλωσσικό δίκτυο μένει σχεδόν ανενεργό όταν λύνουμε μαθηματικά προβλήματα (Fedorenko, Piantadosi & Gibson, Nature 2024 <https://doi.org/10.1038/s41586-024-07522-w>). *Το γλωσσικό μοντέλο ακολουθεί τον αντίστροφο δρόμο, αφού φτάνει στη μαθηματική σκέψη μόνο μέσα από τη γλώσσα.* *...* https://edu.ellak.gr/2026/11/03/pos-ta-glossika-montela-linoun-sintheta-mathimatika-provlimata/ -- Θεόδωρος Καρούνος <https://www.karounos.gr/blog/>, PGP KEY <https://www.karounos.gr/blog/theodoros-g-karounos-public-pgp-key> <https://www.karounos.gr/blog/theodoros-g-karounos-public-pgp-key> ______________________________________________________________ https://mathe.ellak.gr/ - https://ellak.gr/wiki/ - https://gfoss.eu/ - https://ellak.gr/ <https://ellak.gr/wiki/>
---- Λαμβάνετε αυτό το μήνυμα απο την λίστα: Λίστα αλληλογραφίας και ενημέρωσης για τις Ανοιχτές Τεχνολογίες στην Εκπαίδευση, https://lists.ellak.gr/edu/listinfo.html Μπορείτε να απεγγραφείτε από τη λίστα στέλνοντας κενό μήνυμα ηλ. ταχυδρομείου στη διεύθυνση <edu+unsubscribe [ at ] ellak [ dot ] gr>.