DeepSeek upgrades its AI model for math problem solving

China AI Lab DeepSeek was quietly updated ExamplesAI system designed to solve evidence and theorems related to mathematics.

According to Southern Chinese Morning WritingDeepSeek, AI Dev Platform Proverly, V2’s latest version of the V2 against the face-to-face AI dev platform on Wednesday. This is 671 billion parameter and built on top of the startup V3 model, which is a mixed specialist (MOE) architecture. Settings are approximately a model problem solving skills, while Moe violates the subtasy tasks and entrust them into small, specialized “expert” components.

Deepseleek, the latest updated Prover in August, then describes as a special model for the evidence of the official theorem and mathematical thinking.

In February, Reuters reported Recently, this DeepSeek, which is expected to update a general model of the V3, a general model and R1’s “Basic” model, was not considered to consider the financial financing.