DevOps
May 5, 2025 · Artificial Intelligence
DeepSeek Releases Math‑Specialized Large Model V2 and ProverBench Evaluation Suite
DeepSeek has quietly open‑sourced a new mathematics‑focused large language model, DeepSeek‑Prover‑V2 (available in 671B and 7B variants), achieving 88.9% on MiniF2F and strong results on PutnamBench, alongside the high‑quality ProverBench dataset and a novel recursive theorem‑proving pipeline.
AIDeepSeekProverBench
0 likes · 4 min read