DeepSeek Prover v2
Chat Completions API
deepseek-prover-v2
DeepseekСоздана 1 июн. 2025 г.Chat Completions API
DeepSeek Prover V2 is a 671B parameter model, speculated to be geared towards logic and mathematics. Likely an upgrade from DeepSeek-Prover-V1.5, but released without an official announcement or detailed documentation.
Доступность
Надёжность за последние 7 дней
Недостаточно данных для графика доступности