Chinese startup DeepSeek unveiled the open-weight DeepSeek-Math-V2, an AI model designed for advanced mathematical reasoning. The model features a theorem generator and a verifier that checks proofs step-by-step, enabling it to self-verify complex mathematical theorems and fix its own errors.
