DeepSeek Prover V2 671B Release — Quick Report
April 30, 2025 – The AI landscape welcomes a significant new player: DeepSeek-Prover-V2-671B. This newly released ultra-large-scale AI model from the DeepSeek team is rapidly generating buzz within the tech community, boasting an impressive 671 billion (671B) parameters and a specialized focus on automated proving and complex reasoning. Simultaneously launched on