DeepSeek, a Chinese AI lab, has upgraded its AI model Prover, designed to solve math-related proofs and theorems, with the release of version V2 on AI development platform Hugging Face on Wednesday.
The latest version appears to be built on top of DeepSeek’s V3 model, which boasts 671 billion parameters and utilizes a mixture-of-experts (MoE) architecture. This architecture enables the model to break down complex tasks into subtasks and delegate them to specialized “expert” components.
In the context of AI models, parameters are a rough measure of a model’s problem-solving capabilities. DeepSeek last updated Prover in August, describing it as a custom model for formal theorem proving and mathematical reasoning.
The upgrade comes as DeepSeek continues to expand its AI offerings. In February, Reuters reported that the company was considering raising outside funding for the first time. Recently, DeepSeek released an upgraded version of its general-purpose V3 model and is expected to update its R1 “reasoning” model soon.
