New models and versions, open weights, and changes in capability and pricing, with their evaluations.
H Company has released the Holo4 agent-model family, with a 27B dense model and a 35B-A3B MoE model. Both are available through the H Models API, and weights are open on Hugging Face in BF16, FP8, NVFP4, and 4-bit GGUF formats.
Why it matters: Holo4 opens both its weights and complete evaluation traces, giving readers a basis to assess the cost and capability limits of general-purpose computer-use agents.
Mistral has released Leanstral, which it calls the first open-source coding agent for Lean 4. It uses a sparse architecture with 6B active parameters; weights are available under Apache 2.0, and the agent is integrated into Mistral Vibe and the free `labs-leanstral-2603` API endpoint.
Why it matters: Mistral has open-sourced a Lean 4 coding agent and reports cost and score comparisons with Claude models and open models, helping readers assess the value of formal-verification approaches.
Mistral AI has released the next-generation Devstral 2 coding-model family, comprising Devstral 2 at 123B and Devstral Small 2 at 24B. Both are open-source, under modified MIT and Apache 2.0 licenses respectively.
Why it matters: The article reports the two open coding models' sizes, licenses, SWE-bench results, and head-to-head comparisons with closed models, helping readers assess the current level of open coding agents.
