30 April 2025

DeepSeek quietly updates open-source model that handles maths proofs

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 »

Alibaba gives Taobao on-demand delivery an upgrade in Meituan, JD.com competition

Alibaba gives Taobao on-demand delivery an upgrade in Meituan, JD.com competition

Alibaba Group Holding has promised faster delivery service and more subsidies to consumers in China as it moves to take on JD.com and Meituan amid intensifying competition in the country’s e-commerce market. Alibaba has launched an upgraded service called Taobao Instant Commerce, which covers not only food, but also other goods that meet the “time-sensitive

Alibaba gives Taobao on-demand delivery an upgrade in Meituan, JD.com competition Read More »

Samsung chips profit hurt by export controls and falling prices

Samsung chips profit hurt by export controls and falling prices

Samsung Electronics’ chip business reported a roughly 40 per cent drop in profit after US export controls dented sales of its high-end chips even as it seeks to catch up in the lucrative AI memory arena. March-quarter operating profit at Samsung’s chip segment tumbled to 1.1 trillion won (US$770 million) on erosion in average selling

Samsung chips profit hurt by export controls and falling prices Read More »

Elon Musk teases Grok 3.5 hours after Alibaba’s Qwen3 generates buzz amid US-China AI race

Elon Musk teases Grok 3.5 hours after Alibaba’s Qwen3 generates buzz amid US-China AI race

On Tuesday, Alibaba released the third generation of its Qwen family of AI models, with multiple versions, each featuring a different number of parameters. The largest model, with 235 billion parameters, outperformed DeepSeek-R1 and OpenAI’s o1 reasoning models, according to Alibaba, owner of the Post. At 600 million parameters, the most efficient version of the

Elon Musk teases Grok 3.5 hours after Alibaba’s Qwen3 generates buzz amid US-China AI race Read More »

Scroll to Top