DeepSeek Prover V2 - пока все ждут нового ризонера R2, DeepSeek выпустила SoTA модельку для решения математических задач. Любителям математических олимпиад посвящается ))

Как обычно, open source https://github.com/deepseek-ai/DeepSeek-Prover-V2