R1 reasoning model

Entity category: technology

Artificial Intelligence

DeepSeek Prover AI Model Boosts Math Capabilities

April 30, 2025
Smartphone displays DeepSeek logo: a white whale icon and text on a blue background, with a blurred blue data visualization in the background.

DeepSeek released Prover V2, an upgraded AI model with 671 billion parameters and a mixture-of-experts architecture, enhancing its ability to…

Read More »