Chinese AI lab DeepSeek has quietly updated Prover, its AI system that's designed to solve math-related proofs and theorems.

This comes amid growing anticipation for its new R2 reasoning model, which is expected to launch soon. DeepSeek’s Prover series consists of domain-specific models designed to solve math-related ...