From Cointelegraph
April 30, 2025 09:47 AM:

DeepSeek has unveiled a new open-weight large language model (LLM) called Prover V2, with 671 billion parameters, aimed at math proof verification. The model compresses mathematical knowledge for generating and verifying proofs, potentially aiding research and education. Prover V2 is accessible thanks to techniques like model distillation and quantization, reducing numeric precision for size reduction and speed boost.

Read more at Cointelegraph: China’s DeepSeek launches new open-source AI after R1 took on OpenAI