Microsoft is preparing to host Elon Musk’s Grok AI model on Azure, signalling its continued push to diversify the AI models ...

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

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

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

Microsoft is set to host Elon Musk’s Grok AI model on Azure, providing hosting capacity while xAI manages future model ...

Microsoft (MSFT, Financials) is considering adding Elon Musk's Grok chatbot to its Azure AI Foundry, according to The Verge.

Microsoft has expanded its Phi AI model family with the release of two new models, Phi-4-reasoning and Phi-4-reasoning-plus.

DeepSeek-R1T-Chimera is a 685B MoE model built from DeepSeek R1 and V3-0324, focusing both on reasoning and performance.

DeepSeek R2 is set to double the parameters of R1, with 1.2 trillion parameters at the ready, and it's reportedly a whopping 97.3% cheaper to train than GPT 4o with the unit cost per token lower ...

Google’s Gemini and DeepSeek’s R1 – in areas like instruction following, coding assistance, text generation, mathematical skills and complex problem solving. 11:13 How Alibaba.com is betting ...