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.
39.2
Quality Score
---
Arena ELO
119B
Parameters
---
Context
Sign in to join the discussion
275
Downloads
213
Likes
Jul 2026
Released
Launches
2
General
8
Recent launch, pricing, benchmark, and API signals linked to this model or its provider.
☁️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
View source☁️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

Mistral is announcing an expanded global strategic partnership with @Microsoft to give enterprises and regulated industries frontier AI they can control. As Mistral is expanding its AI compute capacity in Europe, the companies are expanding their strategic partnership with https://t.co/tfK6pt3Ixz