Get the latest tech news
DeepSeek upgrades its math-focused AI model Prover
Chinese AI lab DeepSeek has quietly updated Prover, its AI system that's designed to solve math-related proofs and theorems.
According to South China Morning Post, DeepSeek uploaded the latest version of Prover, V2, to AI dev platform, Hugging Face, late on Wednesday. Parameters roughly correspond to a model’s problem-solving skills, while MoE breaks down tasks into subtasks and delegates them to smaller, specialized “expert” components. DeepSeek last updated Prover in August, describing it at the time as a custom model for formal theorem proving and mathematical reasoning.
Or read this on TechCrunch