Nov. 28, 2025, 6:25 a.m.
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.
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.