Chinese artificial intelligence start up DeepSeek has introduced its latest open weight AI model, DeepSeek Math V2. The system is designed to generate and self verify mathematical theorems by using advanced reasoning skills. The company states that these abilities were created specifically for this purpose. The model weights are available to the public under the Apache 2.0 open source licence on platforms.
DeepSeek Math V2 is built on DeepSeek V3.2 Exp, an experimental model launched by the start up based in Huangzhou in September. The new system focuses on self verifiable mathematical reasoning and includes two core components. It features a verifier that checks mathematical proofs step by step and a theorem generator that can correct its own errors. This design helps the model solve open problems that have no known solutions by using self verification as a way to scale test time compute and support deeper reasoning.
The model has been tested on a range of mathematical competitions. It scored at a gold medal level on problems from the International Mathematical Olympiad 2025 and the CREST Mathematics Olympiad 2024. It also achieved a score of 118 out of 120 on questions from the Putnam 2024 competition. These results show that self verifiable mathematical reasoning is a promising research direction for creating more advanced mathematical AI systems.
DeepSeek also reported that its gold medal level score on the IMO 2025 problems places it alongside leading global AI developers whose unreleased models achieved similar outcomes. This year marked the first time that IMO organisers formally accepted AI models into the competition. While Google took part in the first group, OpenAI and DeepSeek were not included.
Researchers believe this progress in mathematical reasoning models could contribute to solving long standing challenges in fields such as cryptography and space exploration. DeepSeek Math V2 is also a significant step for the open ecosystem, which has seen strong growth in China. A study by MIT and an open source AI start up found that downloads of new Chinese made open models have risen to 17 percent over the past year.
Also read: Viksit Workforce for a Viksit Bharat
Do Follow: The Mainstream formerly known as CIO News LinkedIn Account | The Mainstream formerly known as CIO News Facebook | The Mainstream formerly known as CIO News Youtube | The Mainstream formerly known as CIO News Twitter
About us:
The Mainstream is a premier platform delivering the latest updates and informed perspectives across the technology business and cyber landscape. Built on research-driven, thought leadership and original intellectual property, The Mainstream also curates summits & conferences that convene decision makers to explore how technology reshapes industries and leadership. With a growing presence in India and globally across the Middle East, Africa, ASEAN, the USA, the UK and Australia, The Mainstream carries a vision to bring the latest happenings and insights to 8.2 billion people and to place technology at the centre of conversation for leaders navigating the future.
