Chinese AI lab DeepSeek has quietly updated Prover, its AI system that's designed to solve math-related proofs and theorems.

China's President Xi Jinping pledged "self-reliance and self-strengthening" to develop AI in China, state media reported on ...

Deep dive into China’s cost-effective surge vs US private-sector innovation & Europe’s regulatory hurdles in AI dominance ...

DeepSeek avoided a ban in South Korea following a privacy-related investigation by a local watchdog. Here's what changed.

Alibaba has launched Qwen3, its next generation of AI models in what experts called the latest breakthrough in China’s ...

Alibaba's new Qwen 3 is an enhanced version of its flagship AI model that introduces hybrid reasoning, designed to improve ...

DeepSeek is under investigation by the House Energy and Commerce Committee over concerns it may share U.S. user data with the ...

China's Baidu has successfully "illuminated" a cluster comprising 30,000 of its self-developed, third generation P800 Kunlun ...

The smartphone and EV maker publicised the MiMo reasoning model, which like DeepSeek’s R1 mimics the way humans think through ...

The R1 model demonstrated performance on par with more established models such as OpenAI’s O1 and Meta’s Llama AI, while ...

Xiaomi Corp. today released MiMo-7B, a new family of reasoning models that it claims can outperform OpenAI’s o1-mini at some ...

Political adviser cautions against dependence on AI for decision-making, calls for security mechanism to monitor and ...