Topic: mathematical problem-solving

DeepSeek Prover AI Model Boosts Math Capabilities

DeepSeek released Prover V2, an upgraded AI model with 671 billion parameters and a mixture-of-experts architecture, enhancing its ability to solve complex mathematical proofs. The Prover model, initially launched in August, focuses on formal theorem proving and advanced mathematica...