Mistral AI

Backlink: 2026 04 14 Mistral latest model

Mistral AI is a developer of large-language-models specializing in open-weight architectures.

Model Portfolio

Mistral Large 4 (“Le Chonk”)

• Overview: New frontier model developed entirely in Europe from scratch. See European AI Sovereignty: Mistral Large 4 Capabilities, Performance, Challenges.
• Architecture: mixture-of-experts (MoE) with 1 trillion total parameters and 49 billion active parameters.
• License: apache-20 (Open Source) and Open Weight.
• Capabilities: Multimodal input capabilities; unifies instruction following.
• Context: Discussed in European AI Sovereignty: Mistral Large 4 Capabilities, Performance, Challenges.

mistral 3 large

• Architecture: mixture-of-experts (MoE)
• Parameters: 675B
• License: apache-20 (Open Source)
• Capabilities: State-of-the-art non-reasoning model.
• Benchmarks: Competes closely with DeepSeek V3 and kimi-k2.

Leanstral 1.5

• Focus: Formal Verification and code correctness proving in Lean 4.
• Architecture: 119B parameters, 6B active (A6B).
• License: Free and Open Source.
• Capabilities: Specialized for [[