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