Leanstral-1.5-119B-A6B

Mistralが数学の定理証明やコード検証に特化したエージェントモデル「Leanstral-1.5-119B-A6B」を公開。119BパラメータのMoEモデル。

Mistralが公開したLean 4特化のオープンソースモデル「Leanstral-1.5-119B-A6B」。119BパラメータのMoEを採用し、超長文脈と画像入力に対応したハイスペックなコードエージェントだ。