mistral articles — AI Newsroom

Mistral opens a public preview of Mistral Large 4, a 1.05T-parameter open-weight model trained in Europe

Oct 10, 2026·4 min read·6 sources

mistral mistral-large-4 open-weights moe europe+5+6

Mistral puts Mistral Large 4 ("le Chonk") into public preview: a 1.05T-parameter open-weight MoE served from EU datacenters, with weights promised by month's end.

Mistral opens Leanstral 1.5: 6B-active Apache-2.0 Lean 4 prover

Jul 4, 2026·5 min read·9 sources

mistral leanstral proof-engineering formal-verification lean-4+15+16

Apache-2.0 Leanstral 1.5 (119B/6B MoE) saturates miniF2F, hits 587/672 PutnamBench, sets SOTA on FATE-H and FATE-X, and finds 5 unknown bugs in 57 Rust repos — at ~$4 per problem.