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