B, a mixture-of-experts (MoE) language model that matches or exceeds substantially larger open-weight models on complex reasoning, mathematics, and coding tasks while using fewer than one billion ...

What's next? Will machines now compete for Nobel Prizes? And why the world needs to pay attention before it gets left out in ...

OpenBMB's 1B-parameter model MiniCMP 5 brings MCP support and agentic tool use to on-device AI—but it has trouble with logic ...

Amazon Web Services is adding a feature to its Kiro AI coding tool that uses mathematical proofs to check whether software requirements contradict each other or leave gaps before AI agents start ...

Want AI on your phone without cloud limits? Models like Llama 3.2, Qwen3, Gemma 3, and SmolLM2 run locally for private chats, coding, reasoning, and image tasks. Llama 3.2 is the best all-rounder, ...

Aleph, an AI coding agent sets new records on four major formal reasoning benchmarks, proving that automated code generation can be formally verified for mission-critical systems.

Did AI just crack 80 year old maths mystery? OpenAI says that its AI has solved a famous geometry problem that remained ...

OpenAI announced this week that one of its general-purpose reasoning models made a breakthrough that has grabbed the ...

Compare ChatGPT, Gemini, Copilot, Claude, Perplexity, Grok, DeepSeek, and Meta AI by strengths, use cases, integrations, and limits.

In January 2025, a Hangzhou-based AI lab called DeepSeek dropped a reasoning model that, by its own benchmarks, went ...

Compare the best Google Gemini alternatives for 2026, including ChatGPT, Claude, Perplexity, Copilot, DeepSeek, Mistral AI, ...