Το Deepseek ακονίζει το μαθηματικό του AI με αναβάθμιση Prover με δυνατότητα MOE

Το Deepseek, ένα κινεζικό εργαστήριο AI, έχει αναβαθμίσει το μοντέλο AI του ΑποδεικνύωνΣχεδιασμένο για την επίλυση των αποδείξεων και των θεωρημάτων που σχετίζονται με τα μαθηματικά, με την απελευθέρωση της έκδοσης V2 στην πλατφόρμα ανάπτυξης AI που αγκαλιάζει το πρόσωπο την Τετάρτη.

Η τελευταία έκδοση φαίνεται να είναι χτισμένη πάνω από το μοντέλο V3 της DeepSeeek, το οποίο διαθέτει 671 δισεκατομμύρια παραμέτρους και χρησιμοποιεί μια αρχιτεκτονική μείγματος-εμπειρογνωμόνων (MOE). Αυτή η αρχιτεκτονική επιτρέπει στο μοντέλο να διασπάσει σύνθετα καθήκοντα σε υποκείμενα και να τα μεταβιβάσει σε εξειδικευμένα στοιχεία “εμπειρογνωμόνων”.

Στο πλαίσιο των μοντέλων AI, οι παράμετροι είναι ένα τραχύ μέτρο των δυνατοτήτων επίλυσης προβλημάτων ενός μοντέλου. Deepseek Τελευταία ενημερωμένη παραμονή τον Αύγουστο, περιγράφοντας το ως προσαρμοσμένο μοντέλο για το επίσημο θεώρημα που αποδεικνύει και μαθηματική συλλογιστική.

Η αναβάθμιση έρχεται ως Deepseek συνεχίζει να επεκτείνει τις προσφορές του AI. Τον Φεβρουάριο, το Reuters ανέφερε ότι η εταιρεία σκέφτεται να αυξήσει την εξωτερική χρηματοδότηση για πρώτη φορά. Πρόσφατα, η Deepseek κυκλοφόρησε μια αναβαθμισμένη έκδοση του μοντέλου V3 γενικής χρήσης και αναμένεται να ενημερώσει σύντομα το μοντέλο R1 “λογικής”.

Προτεινόμενη πίστωση εικόνας