, , :
04.12.2025
°C
$ 77.96
€ 90.59

China has introduced a new AI model for mathematical analysis

Математика

The Chinese company DeepSeek has released an improved DeepSeekMath-V2 model capable of generating and verifying mathematical proofs with high accuracy.

DeepSeekMath-V2 works as a self-testing system: one model forms reasoning and evidence, and the second reviews each logical action. This approach allows you not only to receive correct answers, but also to ensure their transparent justification. The developers emphasize that the double-check mechanism significantly increases the reliability of complex computing solutions.

During the tests, the model showed results at the level of gold medalists of the International Mathematical Olympiad in 2025 and the Chinese Mathematical Olympiad in 2024. The company believes that the new architecture paves the way to creating more powerful and interpretable AI systems for fundamental mathematical problems, where the quality of evidence is especially important.

The rapid growth in the field of artificial intelligence makes China one of the centers of global development. Major players such as Alibaba, Baidu, DeepSeek, Moonshot AI, Tencent and Zhipu AI are actively competing in the industry, strengthening their positions through new models and their own research platforms.