DeepSeek Releases First Open AI Model with Gold-Level Scores at Maths Olympiad

DeepSeek releases first open AI model with gold-level scores at maths olympiad

‘Imagine owning the brain of one of the best mathematicians in the world for free,’ Hugging Face CEO Clement Delangue says in a post on X.

DeepSeek’s new Math-V2 AI model can solve and self-verify complex theorems

DeepSeek-Math-V2 is said to match the performances of OpenAI and Google DeepMind’s models on problems from the International Maths Olympiad 2025.

DeepseekMath-V2 is Deepseek's latest attempt to pop the US AI bubble

Chinese startup Deepseek reports its new DeepseekMath-V2 model has reached gold medal status at the Math Olympiad, keeping the company in tight competition with Western AI labs. The article DeepseekMath-V2 is Deepseek's latest attempt to pop the US AI bubble appeared first on THE DECODER.

DeepSeek’s Math-V2 AI Model Self-Checks And Solves Olympiad-Level Problems

Artificial intelligence built for math has entered a new phase. DeepSeek’s latest open-weight system, DeepSeek-Math-V2, doesn’t just solve Olympiad-level problems—it checks its own work, corrects its reasoning, and generates theorems that can be independently verified. This shift toward self-verifiable mathematical reasoning could redefine how researchers build, test, and trust AI systems. It also pushes China’s rapidly expanding open-source AI …

DeepSeek AI Releases DeepSeekMath-V2: The Open Weights Maths Model That Scored 118/120 on Putnam 2024

How can an AI system prove complex olympiad level math problems in clear natural language while also checking that its own reasoning is actually correct? DeepSeek AI has released DeepSeekMath-V2, an open weights large language model that is optimized for natural language theorem proving with self verification. The model is built on DeepSeek-V3.2-Exp-Base, runs as a 685B parameter mixture of experts, and is available on Hugging Face under an Apac…