DeepSeek обновляет свою математическую модель искусственного интеллекта Prover
Китайская лаборатория искусственного интеллекта DeepSeek без лишнего шума обновила Prover — свою модель искусственного интеллекта, предназначенную для решения математических доказательств и поиска теорем. По данным South China Morning Post, DeepSeek загрузил последнюю версию Prover, V2, на платформу разработки AI Hugging Face поздно вечером в среду. Похоже, что она построена поверх модели V3 стартапа, которая имеет 671 миллиард параметров и использует архитектуру смешанного эксперта (MoE).
