#mistralai — Public Fediverse posts

You have to be shitting me. Even #OpenCode Big Pickle fucks over Gemini 3.1 Pro.

Welp, I'm not renewing that shit anymore, so it's time to find a cheap AI Agent around.

Curently aiming for OpenCode. What are your recommendations under $20?

#AI #AIAgents #VibeCoding #VibeCode #Programming #SoftwareDevelopment #WebDevelopment #WebDev #PHP #JavaScript #TypeScript #Python #Golang #Rust #ArtificialIntelligence #Codex #Claude #Copilot #Kimi #ZenAI #Perplexity #DeepSeek #MistralAI #Grok #Qwen

@heiseonline

#KI #MistralAI
(1/n)

"Überraschendste"?!?
Spätestens seit der Veröffentlichung des #TheEconomist-Interviews mit #ArthurMensch am 15.07.26 war dies der Öffentlichkeit bekannt. Dem Economist offenbar schon länger.

https://www.economist.com/podcasts/2026/07/15/how-europe-can-compete-on-ai

"Der 👉überraschendste 👈Schritt: #Mistral bietet künftig auch #OpenWeight-Modelle anderer Entwickler über seine Plattform an. Den Anfang macht GLM-5.2 des #chinesischen KI-Labors Z.ai. Damit verdient das Unternehmen an fremden Modellen,...

While I really don't have much love for the Mistral products due to being way behind even cheap open weights Chinese models such as the Qwens, DeepSeeks etc of this world, this is an interesting (possibly new) approach:

https://www.heise.de/news/Leanstral-1-5-Mistrals-KI-Modell-fuer-formale-Beweise-ist-Open-Source-11355236.html / https://www.heise.de/en/news/Leanstral-1-5-Mistral-s-AI-model-for-formal-proofs-is-open-source-11355532.html

With the money quote being:
"In addition to mathematical proofs, Mistral demonstrates a pipeline for automatic bug detection in Rust projects. The tool Aeneas translates Rust code to Lean, after which Leanstral derives correctness properties and attempts to prove or disprove them. "

This goes past the very elaborated statistical parrots that LLMs are and goes into the formal verification territory.

As much as I understand this, this is closer to a model checking approach than what we had before and would in theory thus even allow to check for concurrency issues like race conditions etc reliably.

The hard part there of course was to provide the provably correct bridge between the code to be tested and an efficient model checker representation of the same code. Asking the model checker smart "questions" is another part as is translating findings back to the original code.
Since the LLMs guzzle up RAM and CPU already, the consumption of the model checkers / theorem provers isn't an issue anymore (as long as the model they're being fed is efficient...)

Lets see how well the LLMs do on this work.

I'm sure there are already US or Chinese models that do this or will replicate it in a months time.
I think I read about Meta experimenting on this as well.

Did I get the announcement right? Has anyone had their hands on said model+prover combo already? Is anyone aware of Chinese/US equivalent contraptions?
Any updates @heiseonline @heisedeveloper can provide on those questions in the article, especially on competitors?

#llm #ai #formalverification #modelchecker #modelchecking #concurrency #correctness #meta #mistralai #aeneas #leanstral

> Today, we are announcing #Amazon, #Meta, #Microsoft, #mistralai , and #Perplexity for the first time as they join our roster of partners, which includes #Google, #Ecosia, #Nomic, #Pleias, #ProRata, and #ReefMedia. All these organizations utilize #WikimediaEnterprise to integrate human-governed knowledge into their platforms at scale. By doing so, they help ensure that the work of our global volunteer community reaches billions of people with the accuracy and transparency that Wikipedia represents.

And that a good new for me.

#wikimedia #wikipedia #ai

https://enterprise.wikimedia.com/blog/wikipedia-25-enterprise-partners/

I’ve been having chats recently about how well #Europe is doing in the #AI field. I hear people saying how Europe is behind the times and there’s no chance of catching up. They even say we’re doomed. There’s no denying that Europe’s not exactly leading the way right now.

But don’t forget, there are some players who are pretty close too. Two of them teamed up: #MistralAI and #BlackForestLabs. You can use them ... https://blog.locational.network/2025/07/20/ive-been-having-chats-recently.html

@rod2ik Au gouvernement ils aiment bien essayer des trucs qui, sur le papier semblent cool mais qui, au final, dans l'exécution sont complètement ratés.

Alors qu'il existe #mistralAI, qui est une très bon outils français dans laquelle ils pourraient très bien investir parce qu'elle existe déjà.

C'est comme la tentative ratée de développer et faire adopter #Olvid une alternative à #briar #briarapp #briarproject ou #cwtch #opensource

@piwi Au gouvernement ils aiment bien essayer des trucs qui, sur le papier semblent cool mais qui, au final, dans l'exécution sont complètement ratés.

Alors qu'il existe #mistralAI, qui est une très bon outils français dans laquelle ils pourraient très bien investir parce qu'elle existe déjà.

C'est comme la tentative ratée de développer et faire adopter #Olvid une alternative à #briar #briarapp #briarproject ou #cwtch #opensource

Mistral AI seeks to raise funds at a $5 billion valuation, following recent investments from major firms like Microsoft and partnerships enhancing its AI models on Azure.

#MistralAI #Funding #Valuation #Microsoft #Partnerships #Azure #AI #Investment #TechNews #Innovation #AIModels #CloudComputing #Startup #TechFunding #AIInnovation #BusinessNews #FinancialNews #BigValuation #TechInvestment #FutureTech #AIProgress #MarketNews #CapitalRaise #StrategicPartnerships #GrowthPotential

Mistral AI seeks to raise funds at a $5 billion valuation, following recent investments from major firms like Microsoft and partnerships enhancing its AI models on Azure.

#MistralAI #Funding #Valuation #Microsoft #Partnerships #Azure #AI #Investment #TechNews #Innovation #AIModels #CloudComputing #Startup #TechFunding #AIInnovation #BusinessNews #FinancialNews #BigValuation #TechInvestment #FutureTech #AIProgress #MarketNews #CapitalRaise #StrategicPartnerships #GrowthPotential

Mistral AI seeks to raise funds at a $5 billion valuation, following recent investments from major firms like Microsoft and partnerships enhancing its AI models on Azure.

#MistralAI #Funding #Valuation #Microsoft #Partnerships #Azure #AI #Investment #TechNews #Innovation #AIModels #CloudComputing #Startup #TechFunding #AIInnovation #BusinessNews #FinancialNews #BigValuation #TechInvestment #FutureTech #AIProgress #MarketNews #CapitalRaise #StrategicPartnerships #GrowthPotential

Mistral AI seeks to raise funds at a $5 billion valuation, following recent investments from major firms like Microsoft and partnerships enhancing its AI models on Azure.

#MistralAI #Funding #Valuation #Microsoft #Partnerships #Azure #AI #Investment #TechNews #Innovation #AIModels #CloudComputing #Startup #TechFunding #AIInnovation #BusinessNews #FinancialNews #BigValuation #TechInvestment #FutureTech #AIProgress #MarketNews #CapitalRaise #StrategicPartnerships #GrowthPotential