DeepSeek quietly updates open-source model that handles maths proofs
Chinese start-up DeepSeek quietly open-sourced a new specialist artificial intelligence (AI) model on Wednesday, just a day after Alibaba unveiled the third generation of its Qwen family, as competition heats up in the race to advance generative AI capabilities. Hangzhou-based DeepSeek uploaded its latest open-source Prover-V2 model to Hugging Face, the world’s largest open-source AI […]
DeepSeek quietly updates open-source model that handles maths proofs Read More »