-
@ News - South China Morning Post (RSS Feed)
2025-04-30 11:12:26
DeepSeek quietly updates open-source model that handles maths proofs
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.
https://cdn.i-scmp.com/sites/default/files/styles/1280x720/public/d8/images/canvas/2025/04/30/4b626127-5618-494b-9f0a-189a37e4166d_6e801ee3.jpg?itok=tZyqDKFO
https://www.scmp.com/tech/tech-trends/article/3308566/deepseek-quietly-updates-open-source-model-handles-maths-proofs?utm_source=rss_feed