Q&A with Mark Zuckerberg on Llama 4, benchmarks, AI friends, DeepSeek, China, export controls, open source, monetizing AGI, aligning with Trump, and more
techmeme.com| Ben Jiang / South China Morning Post: |
DeepSeek quietly open sources Prover-V2, a math-focused, 671B-parameter AI model using mixture-of-experts, on Hugging Face, one day after Alibaba released Qwen3 — The Chinese start-up has released the Prover-V2 model a day after Alibaba released Qwen3, and ahead of an anticipated release of DeepSeek-R2
Copyright of this story solely belongs to techmeme.com . To see the full text click HERE