Leanstral 1.5とは？Mistralの形式検証AIがRustライブラリの未知バグを5件発見した意味
Mistral AIが公開したオープンソースモデル「Leanstral 1.5」は、形式検証言語Lean 4向けに設計され、数学ベンチマークminiF2Fで100%を記録。実地テストでは57のOSSリポジトリを走査し、Rust製ライブラリvarintegerのオーバーフローを含む未知のバグ5件を発見しました。
#Mistral AI の記事一覧（5）
BAIR 2026年博士修了生の進路から読む、AI人材争奪戦の最前線
UCバークレーのBAIR Labが2026年博士修了生の進路を公開。Physical Intelligence、OpenAI、Mistral AI、Roblox、そして自ら起業する道など、トップAI人材の行き先が示す業界地図の変化を読み解きます。
Mistral OCR 4とは？170言語・ブロック単位で読むAI文書解析の実力
仏Mistral AIが文書読み取りモデル「OCR 4」を公開。600件超の独立評価で72%のケースで競合を上回り、価格は1,000ページあたり4ドル(バッチで2ドル)です。
Mistral AI、評価額を2倍超の約200億ユーロに引き上げ30億ユーロ調達を協議中
フランスのAIスタートアップMistral AIが、評価額約200億ユーロ（約231億ドル）での30億ユーロ（約35億ドル）規模の資金調達に向けた初期交渉を進めていることが明らかになった。2025年9月のシリーズCで示された評価額117億ユーロからほぼ倍増となる水準だ。
Mistral AI、約3000億円の資金調達交渉中——欧州AI基盤の拡充へ評価額2兆円規模
フランスのMistral AIが約30億ユーロ（約3000億円）の新規資金調達を交渉中であることをBloombergが報じた。評価額は約200億ユーロに達する見込みで、2024年9月時点の117億ユーロから大幅に上昇する。