DeepSeek quietly updates open-source model that handles maths proofs | South China Morning Post

DeepSeek quietly open-sourced its Prover-V2 model, a math-focused AI model, on Hugging Face. The model, built on DeepSeek’s V3 model, is expected to enhance general-purpose foundational models’ mathematical skills.