Real talk, does anyone use anything from Mistral because it performs the best, by whatever secular metric of your choosing? Or is it only used "because EU"? Just focus on answering the question. I wonder if anyone has observed it perform better on any objective metric in any rigorous setting.
trentor · 2026-06-30 23:17:34 UTC
I like the models for creative writing. They have a distinct voice that is different from the other llms.
SwellJoe · 2026-06-30 23:33:27 UTC
I made a game (https://prose-or-con.com) where you pick whether writing is AI or human. Mistral is a bonkers weird writer. So weird I fell for it a couple of times because I thought, "No way a model writes this weird." Not, like, incorrect grammar or spelling or anything, just...off-kilter. Kinda sassy.
troyvit · 2026-06-30 23:27:22 UTC
We are not Mistral's target audience. For instance I don't know if Leanstral performs the best as a "formal proof engineering model optimised for automated theorem proving and autoformalization" because I don't even know wth that is or who else does it.
Mistral themselves focus more on b2b; financial services, manufacturing, stuff like that, and they get some big clients that way.
Despite not being their target, I started using them because they have many open models. I continue using them because, yeah EU, but also because the community is great and the tool makes me think more than Claude does. Last, I stick with them because they are one of the few AI companies that are up-front about their environmental impact and are actually trying to minimize it while still providing a decent product.
If you can express a solution in Lean you can formally prove or disprove it. Formal verification is making a debut in traditional engineering toolkits.
data-ottawa · 2026-06-30 23:29:17 UTC
Mistral medium is considerably better at writing than Opus.
I’ve also found it very good at pulling info from pdfs. Even a complicated festival with multiple venues and timetables.
Adrig · 2026-06-30 23:29:57 UTC
A few months ago, I had some data cleaning to do; their small model was surprisingly efficient and got the job done for 0.2x what I expected to run (Anthropic Sonnet / Haiku). Their TTS / STT is also roughly at the frontier, at least for French.
But I admit I only consider them because they're from France. Haven't seen a dimension where they're competitive for general users
evilmonkey19 · 2026-06-30 23:47:39 UTC
I use it because EU and API pricing is decent to me. And support is awesome also. They reply the same day or at most the next day, and they follow the ticket great. It isn't that bad, but neither the best.
adev_ · 2026-06-30 23:57:25 UTC
> Mistral because it performs the best, by whatever secular metric of your choosing?
I am. I use them primarily through their vibe CLI.
Reason is simple: They are cheaper (by almost one order of magnitude compared to Claude) and still do the job pretty well.
For small programming tasks, quick prototyping, refactoring or anything verbose and not requiring a context too large: I first go to Mistral and then eventually to Claude if I'm unsatisfied.
I also found out some of their models to be more responsive than OpenAI ones (which is not so surprising considering the size).
My tasks are mainly C++ and Python programming. People in other languages might not share my enthusiasm.
esafak · 2026-07-01 00:04:36 UTC
Is this useful for specifying programs too or only theorems?
Comments
Mistral themselves focus more on b2b; financial services, manufacturing, stuff like that, and they get some big clients that way.
Despite not being their target, I started using them because they have many open models. I continue using them because, yeah EU, but also because the community is great and the tool makes me think more than Claude does. Last, I stick with them because they are one of the few AI companies that are up-front about their environmental impact and are actually trying to minimize it while still providing a decent product.
If you can express a solution in Lean you can formally prove or disprove it. Formal verification is making a debut in traditional engineering toolkits.
I’ve also found it very good at pulling info from pdfs. Even a complicated festival with multiple venues and timetables.
But I admit I only consider them because they're from France. Haven't seen a dimension where they're competitive for general users
I am. I use them primarily through their vibe CLI.
Reason is simple: They are cheaper (by almost one order of magnitude compared to Claude) and still do the job pretty well.
For small programming tasks, quick prototyping, refactoring or anything verbose and not requiring a context too large: I first go to Mistral and then eventually to Claude if I'm unsatisfied.
I also found out some of their models to be more responsive than OpenAI ones (which is not so surprising considering the size).
My tasks are mainly C++ and Python programming. People in other languages might not share my enthusiasm.