Η κινεζική εταιρεία τεχνητής νοημοσύνης DeepSeek προσφέρει μια ενημερωμένη έκδοση του Prover, του μοντέλου της που εξειδικεύεται στην επίλυση μαθηματικών αποδείξεων και θεωρημάτων.
Όπως αναφέρει το South China Morning Post, η αναβαθμισμένη έκδοση, Prover V2, ανέβηκε στην πλατφόρμα Hugging Face. Το νέο αυτό μοντέλο φαίνεται να βασίζεται στο DeepSeek V3, που διαθέτει 671 δισεκατομμύρια παραμέτρους και χρησιμοποιεί ένα mixture-of-experts (MoE) architecture, που λειτουργεί ως εξής: φανταστείτε ένα μοντέλο AI ως μια ομάδα ειδικών, ο καθένας με τη δική του μοναδική εμπειρία. Ένα μοντέλο MoE λειτουργεί βάσει αυτής της αρχής διαιρώντας μια σύνθετη εργασία σε μικρότερα, εξειδικευμένα δίκτυα, γνωστά ως «experts».
Δείτε επίσης: Η Meta λανσάρει το LlamaFirewall Framework για συστήματα AI
Κάθε expert εστιάζει σε μια συγκεκριμένη πτυχή του προβλήματος, επιτρέποντας στο μοντέλο να αντιμετωπίσει την εργασία πιο αποτελεσματικά και με ακρίβεια.
Οι παράμετροι αντιστοιχούν κατά προσέγγιση στις δεξιότητες επίλυσης προβλημάτων ενός μοντέλου, ενώ το MoE αναλύει τις εργασίες σε δευτερεύουσες εργασίες και τις αναθέτει σε μικρότερα, εξειδικευμένα “expert” components.
Δείτε επίσης: OpenAI: Αναβάθμιση του ChatGPT search με shopping features
Η τελευταία ενημέρωση του Prover είχε γίνει τον Αύγουστο, όταν η DeepSeek το είχε παρουσιάσει ως ένα μοντέλο προσαρμοσμένο για την αυστηρή μαθηματική λογική και τις αποδείξεις.
Αυτή η εξέλιξη (ενημερωμένο AI μοντέλο) είναι ιδιαίτερα σημαντική για τον τομέα της τεχνητής νοημοσύνης και ειδικά για τη διασταύρωσή του με τα μαθηματικά. Η ενημέρωση του Prover από την DeepSeek δείχνει πόσο γρήγορα εξελίσσονται τα εξειδικευμένα μοντέλα συλλογισμού, με στόχο την επίλυση προβλημάτων που μέχρι πρόσφατα απαιτούσαν βαθιά ανθρώπινη κατανόηση.
Δείτε επίσης: Ελλάδα: Το πρώτο διαζύγιο λόγω AI (ChatGPT)
Αν το Prover V2 αποδειχθεί ικανό να λύνει με ακρίβεια σύνθετα θεωρήματα ή να βοηθά σε μαθηματικές αποδείξεις, τότε μπορεί να βρει εφαρμογές στην εκπαίδευση, την έρευνα ή ακόμα και στον σχεδιασμό αυτόνομων συστημάτων που βασίζονται σε λογικούς κανόνες.
Πηγή: techcrunch.com
