NewsBytes

DeepSeek's AI model checks itself and cracks Olympiad-level math problems

Chinese startup DeepSeek has developed a new open-weight AI model, Math-V2, capable of generating and self-verifying complex ...

DeepSeek’s math model hits Olympiad gold and goes fully open-source

China’s DeepSeek has released the world’s first open-source AI model capable of scoring at gold medal level in the ...
DATAQUEST

DeepSeekMath-V2 achieves self-verification in Math, matches IMO Gold Medal Standard

V2, an open-source model focused on self-verifiable mathematical reasoning. It achieves gold-level scores on IMO 2025, data & ...
Interesting Engineering on MSN

China’s DeepSeek sets new benchmark with AI model scoring top marks in maths

Now, Chinese AI startup DeepSeek has made its Math-V2 model widely available, open-sourcing it on Hugging Face and GitHub ...
OfficeChai

DeepSeek Releases DeepSeek Math V2, An Open Model That Delivers Gold-Medal Performance At The International Math Olympiad

DeepSeek had been somewhat under the radar since releasing its V3 and R1 models that first put China’s AI capabilities in ...

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 ...