Chinese AI lab DeepSeek has quietly updated Prover, its AI model that’s designed to solve math-related proofs and ... roughly correspond to a model’s problem-solving skills, while MoE breaks ...