Tencent and Alibaba lead China’s AI software sector, outpacing Baidu as DeepSeek enables tech development and ByteDance, ...

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 ...

DeepSeek is reportedly helping with research and development of China's next-gen warplaces, according to a leading aerospace ...

The leading Chinese AI start-up has adopted an open-source technical solution from Tencent, leading to a ‘huge speed boost’.

Wang Yongqing, the lead designer at the Shenyang Aircraft Design Institute, reportedly told state-owned Chinanews.com that ...

The developers say Prover V2 compresses mathematical knowledge into a format that allows it to generate and verify proofs, ...

DeepSeek’s meteoric rise put the spotlight on artificial intelligence from China. Here are the other buzzy Chinese AI ...

Alibaba’s Qwen3 family of AI models has surpassed DeepSeek's R1 to become the world's best open-source model in areas like ...

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

But when the other of us, Selina, returned to China just 19 months later, the optimism was palpable. Dinner conversations were dominated by DeepSeek and other A.I. chatbots. Electric cars whizzed ...

Wang Yongqing, the director designer at the Shenyang Aircraft Design Institute, verified that his company is actually ...