CGD - Crypto Government Department logo CGD - Crypto Government Department logo
Forklog 2025-04-30 14:12:28

DeepSeek выпустила математическую ИИ-модель Prover-V2

Китайская ИИ-лаборатория DeepSeek выложила в открытый доступ новую ориентированную на математику ИИ-модель Prover. Об этом пишет SCMP.  Prover-V2 с открытым исходным кодом загружена на Hugging Face без официальных анонсов. Она является обновлением Prover-V1.5, которая дебютировала в августе — за несколько месяцев до громкого выпуска R1. Тогда компания описала продукт как модель для формального доказательства теорем и математических рассуждений. Серия Prover состоит из специфических LLM, ориентированных на математику. Подробности касательно нового инструмента не представлены. Судя по загруженным файлам, он построен на базе DeepSeek V3, которая имеет 671 млрд параметров и использует архитектуру Mixture-of-Experts (MoE).  Релиз DeepSeek состоялся на следующий день после того, как китайский техгигант Alibaba представил новое семейство ИИ-моделей Qwen3. Напомним, в марте DeepSeek выпустил крупное обновление для V3 с улучшениями в областях рассуждений, программирования и письма.  Ранее на компанию обратили внимание власти Китая. Сотрудники работают в новых, более жестких условиях.

Διαβάστε την Αποποίηση Ευθυνών : Όλο το περιεχόμενο που παρέχεται εδώ στον ιστότοπό μας, τους υπερσυνδεδεμένους ιστότοπους, τις σχετικές εφαρμογές, τα φόρουμ, τα ιστολόγια, τους λογαριασμούς κοινωνικών μέσων και άλλες πλατφόρμες (“Site”) προορίζεται μόνο για τις γενικές πληροφορίες σας, που προέρχονται από τρίτες πηγές. Δεν κάνουμε καμία εγγύηση οποιουδήποτε είδους σε σχέση με το περιεχόμενό μας, συμπεριλαμβανομένης ενδεικτικά της ακρίβειας και της ενημέρωσης. Κανένα μέρος του περιεχομένου που παρέχουμε δεν αποτελεί οικονομική συμβουλή, νομική συμβουλή ή οποιαδήποτε άλλη μορφή συμβουλών που προορίζεται για τη συγκεκριμένη εμπιστοσύνη σας για οποιονδήποτε σκοπό. Οποιαδήποτε χρήση ή εξάρτηση από το περιεχόμενό μας είναι αποκλειστικά με δική σας ευθύνη και διακριτική ευχέρεια. Πρέπει να πραγματοποιήσετε τη δική σας έρευνα, να ελέγξετε, να αναλύσετε και να επαληθεύσετε το περιεχόμενό μας προτού βασιστείτε σε αυτά. Η διαπραγμάτευση είναι μια εξαιρετικά επικίνδυνη δραστηριότητα που μπορεί να οδηγήσει σε μεγάλες απώλειες, επομένως συμβουλευτείτε τον οικονομικό σας σύμβουλο πριν λάβετε οποιαδήποτε απόφαση. Κανένα περιεχόμενο στον ιστότοπό μας δεν προορίζεται να είναι παράκληση ή προσφορά