DeepSeek: DeepSeek Prover V2 (free)
DeepSeek Prover V2 (free)
DeepSeek Prover V2 представляет собой модель с 671 миллиардам параметров, ориентированную на логику и математику. Вероятно, она является улучшенной версией DeepSeek-Prover-V1.5. О модели пока мало информации, так как DeepSeek выпустила её на платформе Hugging Face без предварительных анонсов или описаний.
Характеристики
Контекст163,840 токенов
Входные типыtext
Выходные типыtext
СемействоDeepSeek
ПровайдерChutes
ТипБесплатная
Hugging Facedeepseek-ai/DeepSeek-Prover-V2-671B
Возможности
Генерация текста
Reasoning
Tool parameters
Multipart запросы
Completions API
Chat Completions API