China’s DeepSeek launches new open-source AI after R1 took on OpenAI

Chinese artificial intelligence development company DeepSeek has released a new open-weight large language model (LLM). DeepSeek uploaded its newest model, Prover V2, to the hosting service Hugging Face on April 30. The latest model, released under the permissive open-source MIT license, aims to tackle math proof verification. DeepSeek-Prover-V2 HuggingFace repository. Source: HuggingFace Prover V2 has…

Read More