Tech Trends 📰

DeepSeek upgrades its math-focused AI model Prover | TechCrunch

DeepSeek released Prover V2, an upgraded AI model focused on solving math proofs and theorems.. It is built on the V3 model, which uses a 671 billion parameter Mixture of Experts (MoE) architecture.. A distilled version of Prover V2 was also uploaded on Hugging Face for developers.. DeepSeek is expanding and may soon update its R1 reasoning model after upgrading its general-purpose V3 model..