Китайская лаборатория DeepSeek без лишнего шума обновила свою AI-модель Prover, специально разработанную для решения математических доказательств и поиска теорем. Последняя версия, Prover V2, была загружена на платформу AI Hugging Face, и, судя по всему, основана на модели V3 стартапа, обладающей колоссальными 671 миллиардом параметров и архитектурой смешанного эксперта (MoE).
Параметры модели играют ключевую роль в ее способности решать проблемы, а MoE позволяет разбивать задачи на подзадачи, которым занимаются специальные «экспертные» компоненты. Это улучшает производительность и эффективность работы модели.
Напомним, что DeepSeek обновляла Prover в последний раз в августе и описывала модель как доступный инструмент для формального доказательства теорем. Интересно, что в феврале стало известно о возможном привлечении внешнего финансирования компанией, что может стать новым этапом в ее развитии. В скором времени можно ожидать обновления и модели «рассуждения» R1.
*компания Meta Platforms Inc. признана экстремистской организацией, ее деятельность на территории России запрещена