April 30, 2025:
DeepSeek Enhances Prover AI for Math Solutions - DeepSeek, a Chinese AI lab, has upgraded its AI model Prover for solving math proofs and theorems, releasing it on Hugging Face. Prover V2, built on their V3 model, uses a mixture-of-experts (MoE) architecture with 671 billion parameters, enhancing its problem-solving abilities. Prover targets formal theorem proving and mathematical reasoning.
DeepSeek is reportedly seeking outside funding and is anticipated to update its general-purpose V3 and reasoning-focused R1 models.
