DeepSeek has gone viral. Chinese AI lab DeepSeek broke into the mainstream consciousness this week after its chatbot app rose ...

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

While DeepSeek-R1 has significantly advanced AI’s capabilities in informal reasoning, formal mathematical reasoning has ...

Yet another player is claiming the top spot for AI. Alibaba, one of the world’s largest e-commerce companies, has announced ...

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

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

Parameters, often seen as a measure of an AI model's complexity and capability, are essential for tasks such as language ...

Alibaba’s Qwen3 family of AI models have dethroned DeepSeek's R1 model on LiveBench's open-source model ranking, making it ...

A new study examines how well large reasoning models evaluate AI translation quality and finds that reasoning alone does not ...

Benchmark tests cited by Alibaba revealed that models such as Qwen3-235B and Qwen3-4B matched or exceeded the performance of ...

Alibaba (BABA) on Tuesday unveiled Qwen 3, an enhanced AI model featuring hybrid reasoning capabilities, as competition ...