要点

Mistral Small 4は、Mistral AIによってリリースされた Apache 2 ライセンスの新しいモデルで、1190億パラメータ（Mixture-of-Experts、6Bアクティブ）を搭載します。
推論機能のMagistral、マルチモーダルタスクのPixtral、エージェント指向のコーディングのDevstralの機能を、1つの汎用モデルに統合します。
reasoning_effort="none" および reasoning_effort="high" の2つの推論モードをサポートします。後者は以前の Magistral モデルと同等の冗長性を提供します。
Hugging Face にはモデルイメージが242GBと記載されており、記事には Mistral API を用いたハンズオン実験とサンプルコマンド列が含まれています。
Leanstral も発表され、Lean 4 に最適化されたオープンウェイトモデルで、形式的に検証可能なコーディングのための対象言語に焦点を当てていることを強調しています。

Simon Willisonのウェブログ

スポンサー: CodeRabbit — Planner は、リワークと AI の無駄を最小化しつつ、あなたのコーディングエージェントを10倍にします。今すぐ試す。

2026年3月16日 - リンクブログ

Mistral Small 4 のご紹介. 本日、Mistral からの大きな新リリース（名称にもかかわらず）- Apache 2 ライセンスの 119B パラメータ（Mixture-of-Experts、6B アクティブ）モデルで、彼らは次のように説明します：

Mistral Small 4 は、推論用の Magistral、マルチモーダル用の Pixtral、エージェント型コーディング用の Devstral の機能を、1つの汎用モデルに統合した、初めての Mistral モデルです。

これは Hugging Face 上で 242GB。

私は試してみました via the Mistral API using llm-mistral:

llm install llm-mistral
llm mistral refresh
llm -m mistral/mistral-small-2603 "Generate an SVG of a pelican riding a bicycle"

$\"自転車は上下逆さまでぐちゃぐちゃで、ペリカンは灰色の曲線の連なりで、くちばしは三角形です。\"$

彼らの API ドキュメントで reasoning_effort を設定する方法を見つけられなかったため、おそらくこの機能は近いうちに実装されることでしょう。

また、Mistral からの新製品で、彼らの -stral 命名規則に合わせた Leanstral というオープンウェイトモデルがあり、公式検証可能なコーディング言語 Lean 4 の出力を支援するよう特に調整されています。 Lean については全く探っていないので信頼できる評価はできませんが、このように特定の言語を狙っているのは興味深いです。

投稿日 2026年3月16日午後11:41