Το κινεζικό εργαστήριο τεχνητής νοημοσύνης DeepSeek ενημέρωσε αθόρυβα το Prover, το μοντέλο τεχνητής νοημοσύνης που έχει σχεδιαστεί για την επίλυση μαθηματικών αποδείξεων και θεωρημάτων.
Σύμφωνα με την εφημερίδα South China Morning Post, η DeepSeek ανέβασε την τελευταία έκδοση του Prover, την V2, και μια απογυμνωμένη παραλλαγή της στην πλατφόρμα ανάπτυξης τεχνητής νοημοσύνης Hugging Face αργά την Τετάρτη. Φαίνεται να έχει κατασκευαστεί πάνω στο μοντέλο V3 της startup, το οποίο έχει 671 δισεκατομμύρια παραμέτρους και υιοθετεί μια αρχιτεκτονική μείγματος εμπειρογνωμόνων (MoE).
Οι παράμετροι αντιστοιχούν περίπου στις δεξιότητες επίλυσης προβλημάτων ενός μοντέλου, ενώ το MoE χωρίζει τις εργασίες σε υπο-εργασίες και τις αναθέτει σε μικρότερα, εξειδικευμένα «εμπειρογνώμονες» στοιχεία.
Η DeepSeek ενημέρωσε για τελευταία φορά το Prover τον Αύγουστο, περιγράφοντάς το τότε ως ένα προσαρμοσμένο, ανοιχτά διαθέσιμο μοντέλο AI για την απόδειξη τυπικών θεωρημάτων και τη μαθηματική συλλογιστική.
Τον Φεβρουάριο, το Reuters ανέφερε ότι η DeepSeek φέρεται να εξετάζει το ενδεχόμενο να συγκεντρώσει εξωτερική χρηματοδότηση για πρώτη φορά. Η εταιρεία κυκλοφόρησε πρόσφατα μια αναβαθμισμένη έκδοση του V3, ενός μοντέλου γενικής χρήσης, και αναμένεται να ενημερώσει σύντομα το μοντέλο «συλλογιστικής» R1.
Πηγή: TechCrunch
