Leanstral Outperforms Claude Sonnet at Formal Code Proofs
Mistral's new open-source Lean 4 agent scores higher than Claude Sonnet on formal proofs at one-fifteenth the cost, raising the bar for trustworthy AI code generation.
Mistral
Mistral Small 4 Review: One Model, Three Jobs
Mistral Small 4 packs reasoning, vision, and agentic coding into a 119B MoE under Apache 2.0 - a serious small-model contender at a price that's hard to ignore.
Mistral Forge Puts Enterprise AI Inside Your Firewall
Mistral's new Forge platform lets enterprises train frontier-grade AI models entirely on proprietary data, without sending any of it to a third party.
Mistral Small 4
Mistral AI's unified MoE model - 119B total parameters, 6B active per token, 128 experts, 256K context, configurable reasoning, Apache 2.0 license.
Mistral Small 4: 128 Experts, 6B Active, Apache 2.0
Mistral AI releases Small 4 - a 119B MoE with only 6B active parameters, 256K context, configurable reasoning, and Apache 2.0 license. Plus a new NVIDIA partnership to co-develop frontier open models.
LLM API Pricing Comparison - March 2026
Side-by-side LLM API pricing for GPT-5.4, Claude Opus 4.6, Gemini 3.1 Pro, DeepSeek V3.2, Grok 4, and 30+ models normalized to cost per million tokens.
