Mistral AI
Mistral AI's open-weight Lean 4 code agent for automated theorem proving, formal proof engineering, and autoformalization.
Running this yourself: likely needs a high-memory cloud gpu.
38.4
Quality Score
---
Arena ELO
119B
Parameters
---
Context
This measures the amount of verifiable public evidence we have, not how capable the model is. A missing field means it has not been verified yet, not that its value is zero.
11 of 22 public signals
Sign in to join the discussion
193
Downloads
216
Likes
Jul 2026
Released
2/5 signals
1/4 signals
3/5 signals
3/4 signals
2/4 signals
Gaps we are still tracking
Launches
2
General
8
Recent launch, pricing, benchmark, and API signals linked to this model or its provider.
Mistral is bringing @aiDotEngineer back to Paris. After last year’s sold-out edition, our VP of Engineering Lélio Renard-Lavaud joins speakers from @bfl_ai , @cognition, @huggingface, and more. Explore the event and secure your spot: https://t.co/SyEfmXAdCF
View sourceToday, we’re announcing a strategic collaboration with @HUMAIN spanning AI infrastructure, advanced model development, and the deployment of AI solutions in Saudi Arabia and across the region. Together, we will work on localized frontier AI models, with initial areas of focus
View sourceMistral is bringing @aiDotEngineer back to Paris. After last year’s sold-out edition, our VP of Engineering Lélio Renard-Lavaud joins speakers from @bfl_ai , @cognition, @huggingface, and more. Explore the event and secure your spot: https://t.co/SyEfmXAdCF
Today, we’re announcing a strategic collaboration with @HUMAIN spanning AI infrastructure, advanced model development, and the deployment of AI solutions in Saudi Arabia and across the region. Together, we will work on localized frontier AI models, with initial areas of focus

☁️Mistral is bringing together the inference infrastructure, open models, and long-term commitments Europe needs to control its AI future, and setting a roadmap for the world. 🧵: https://t.co/LeP53uBUES https://t.co/JjluVwJecj
