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 community, without making any announcements on its official social media channels. This comes amid growing anticip...
Read more at scmp.com