# DeepSeek Boosts its AI Math Skills with Prover Upgrade

## DeepSeek Boosts its AI Math Skills with Prover Upgrade

Chinese AI lab DeepSeek has enhanced its capabilities in mathematical problem-solving with an updated version of its AI model, Prover. The upgrade, quietly rolled out on Wednesday, sees the release of Prover V2 on the Hugging Face AI development platform.

Prover is specifically designed to tackle complex mathematical proofs and theorems. According to the South China Morning Post, this latest version is built on DeepSeek’s powerful V3 model, boasting a staggering 671 billion parameters. The architecture employs a Mixture-of-Experts (MoE) approach, a technique that divides intricate tasks into smaller, more manageable subtasks and delegates them to specialized “expert” components. This method enhances efficiency and allows for more nuanced problem-solving.

The number of parameters in a model roughly correlates to its ability to handle complex problems. The MoE architecture further refines this capability by streamlining the problem-solving process.

DeepSeek last updated Prover in August of the previous year, touting it as a bespoke model tailored for formal theorem proving and mathematical reasoning.

This upgrade comes at a time when DeepSeek is attracting considerable attention. As Reuters reported in February, the company is reportedly considering its first external funding round. Beyond Prover, DeepSeek recently launched an upgraded version of its V3 general-purpose model and is expected to unveil an updated version of its R1 “reasoning” model soon, indicating a broad push across its AI portfolio. This move solidifies DeepSeek’s position as a key player in the rapidly evolving landscape of AI-powered mathematical reasoning.