Mistral が Leanstral-1.5-119B-A6B をリリース ── 数学の証明すらこなす最強のコードエージェント
Mistralが数学の定理証明やコード検証に特化したエージェントモデル「Leanstral-1.5-119B-A6B」を公開。119BパラメータのMoEモデル。
-
-
Mistral が Leanstral-1.5-119B-A6B をリリース ── 数学の証明やコード仕様をこなす超大規模エージェントモデル
Mistralが公開したLean 4特化のオープンソースモデル「Leanstral-1.5-119B-A6B」。119BパラメータのMoEを採用し、超長文脈と画像入力に対応したハイスペックなコードエージェントだ。
-
Mistral が Mistral-Medium-3.5 をリリース ── 推論・エージェント・マルチモーダルを統合した128Bの大躍進
Mistralの最新統合モデル「Mistral Medium 3.5」が登場。128Bパラメータ、256kコンテキスト、画像対応。
-
Mistral が Mistral-Small-4-119B-2603-eagle をリリース ── 推論・コード・ビジネスを1つに統合したハイブリッドモンスター
Mistral Small 4登場。119Bパラメータのハイブリッドモデルが推論・コードを統合、Apache 2.0でOSS化。
-
Mistral が Leanstral-2603 をリリース
MistralのLeanstral-2603リリース情報
