Mistral Small 4の紹介
Mistralは、推論・マルチモーダル・エージェント的コーディングの能力を統合した119Bパラメータのオープンソースモデル「Mistral Small 4」をリリースし、同時にLean 4言語に特化した「Leanstral」も発表した。
キーポイント
統合型モデルの発表
Mistral Small 4は、従来のMagistral（推論）、Pixtral（マルチモーダル）、Devstral（エージェント的コーディング）の能力を単一モデルに統合した初のモデルである。
技術仕様とライセンス
119BパラメータのMixture-of-Expertsモデル（6B active）で、Apache 2ライセンスの下で公開されており、Hugging Faceで242GBのモデルとして利用可能である。
推論努力の設定
reasoning_effortパラメータで「none」または「high」を設定でき、「high」では従来のMagistralモデルと同等の詳細な出力が得られる。
併せて発表された特化モデル
Lean 4という形式的検証可能なコーディング言語に特化してチューニングされたオープンウェイトモデル「Leanstral」も同時に発表された。
影響分析・編集コメントを表示
影響分析
このリリースは、複数の専門能力を単一モデルに統合するというAIモデルの進化方向を示しており、オープンソースでの大規模モデル公開はコミュニティへの貢献と競争力強化の両面で意義がある。特定言語に特化したモデルの発表は、汎用AIから特定領域への特化というトレンドも同時に示している。
編集コメント
複数の専門能力を統合したモデルアーキテクチャの進化と、オープンソースでの大規模モデル公開という2つの重要なトレンドを同時に示すリリース。APIでのreasoning_effort設定機能の実装状況が今後の実用性の鍵となる。
今日、Mistral から大規模な新リリースがありました（名前とは裏腹に）— Apache 2 ライセンスの下で公開された、119B パラメータ（Expert Mixture-of-Experts 方式、6B アクティブ）の新しいモデルです。同社はこれを以下のように説明しています。
Mistral Small 4 は、推論用のフラッグシップモデル「Magistral」、マルチモーダル対応の「Pixtral」、エージェント型コーディング向けの「Devstral」の各機能を統合し、単一の汎用モデルとして初めて統一した Mistral モデルです。
このモデルは reasoning_effort="none" または reasoning_effort="high" をサポートしており、後者では「以前の Magistral モデルと同等の冗長性」が提供されます。
新しいモデルは Hugging Face で 242GB で利用可能です。
私は llm-mistral を使用して Mistral API 経由で試しました（詳細はこちら）:
llm install llm-mistral
llm mistral refresh
llm -m mistral/mistral-small-2603 "自転車に乗るペリカンの SVG を生成してください"
推論の努力度を設定する方法を、API ドキュメントで見つけることができなかったため、この機能は近日中に実装されることを願っています。
また、Mistral 今日から彼らの -stral 命名規則に合う Leanstral も登場しました。これは特に Lean 4 という形式検証可能なコーディング言語の出力を支援するために特別に調整されたオープンウェイトモデルです。私は Lean について全く探求したことがないため、これを信頼できる形で評価する方法はありませんが、このように特定の言語にターゲットを絞っているのは興味深いです。
Tags: ai, generative-ai, llms, llm, mistral, pelican-riding-a-bicycle, llm-reasoning, llm-release
原文を表示
Big new release from Mistral today (despite the name) - a new Apache 2 licensed 119B parameter (Mixture-of-Experts, 6B active) model which they describe like this:
Mistral Small 4 is the first Mistral model to unify the capabilities of our flagship models, Magistral for reasoning, Pixtral for multimodal, and Devstral for agentic coding, into a single, versatile model.
It supports reasoning_effort="none" or reasoning_effort="high", with the latter providing "equivalent verbosity to previous Magistral models".
The new model is 242GB on Hugging Face.
I tried it out 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"
I couldn't find a way to set the reasoning effort in their API documentation, so hopefully that's a feature which will land soon.
Also from Mistral today and fitting their -stral naming convention is Leanstral, an open weight model that is specifically tuned to help output the Lean 4 formally verifiable coding language. I haven't explored Lean at all so I have no way to credibly evaluate this, but it's interesting to see them target one specific language in this way.
Tags: ai, generative-ai, llms, llm, mistral, pelican-riding-a-bicycle, llm-reasoning, llm-release
関連記事
今日のまとめ
AI日報で今日の重要ニュースをまとめ読み