DeepSeek upgrades its math-focused AI model Prover

Chinese AI Lab DEPSEC has been updated silently SampleIts AI model that is designed to solve math -related evidence and theorem.

Accordingly South China Morning PostAt the end of Wednesday, DIPSEC uploaded the latest version of the proverb, V2 on the II Dev platform. It seems to be built at the top of the startup V3 model, which contains 671 billion parameters and the mixture (MOE) adopts the architecture.

The parameters are fairly matched by the skill of solving the problem of a model, while the MOE tasks break into the subtasks and represent them on the smaller, specialized “specialist” elements.

DIPSEC updated the proverb last August, describing it as a custom model for formal theorem evidence and mathematical reasoning at that time.

In February, Reported Reuters The DIPSEC is reported to have been considering the funds for the first time. The company recently released an upgrade version of a common objective model V3 and is expected to update its R1 “logic” model soon.