Mistral's open-source Leanstral 1.5 aces formal math benchmarks and catches real bugs in code
Mistral AI released Leanstral 1.5, an open-source model for formal verification in Lean 4. Beyond math, the model found five previously unknown bugs while scanning 57 open-source repositories.<br /> The article Mistral's open-source Leanstral 1.5 aces formal math benchmarks and catches real bugs in code appeared first on The Decoder. [...]
Rating
Innovation
Pricing
Technology
Usability
We have discovered similar tools to what you are looking for. Check out our suggestions for similar AI tools.
Mistral AI launches Forge to help companies build proprietary AI models, challenging cloud giants
Mistral AI on Monday launched Forge, an enterprise model training platform that allows organizations to build, customize, and continuously improve AI models using their own proprietary data — a move [...]
Mistral launches OCR 3 to digitize enterprise documents, touts 74% win rate and $2-per-1,000-page pricing
Mistral AI, the French artificial intelligence company valued at €11.7 billion, unveiled its third-generation optical character recognition model on Tuesday, positioning document digitization as the [...]
Mistral AI launches Vibe, expands into industrial AI and announces data center push to challenge OpenAI
Mistral AI used its first-ever developer conference on Wednesday to announce a sweeping expansion into industrial manufacturing, a new inference data center south of Paris, and a rebranding of its con [...]
Mistral launches Mistral 3, a family of open models designed to run on laptops, drones, and edge devices
Mistral AI, Europe's most prominent artificial intelligence startup, is releasing its most ambitious product suite to date: a family of 10 open-source models designed to run everywhere from smart [...]
Mistral AI launches Workflows, a Temporal-powered orchestration engine already running millions of daily executions
Mistral AI, the Paris-based artificial intelligence company valued at €11.7 billion ($13.8 billion), today released Workflows in public preview — a production-grade orchestration layer designed to [...]
Mistral AI just released a text-to-speech model it says beats ElevenLabs — and it's giving away the weights for free
The enterprise voice AI market is in the middle of a land grab. ElevenLabs and IBM announced a collaboration just this week to bring premium voice capabilities into IBM's watsonx Orchestrate plat [...]
Mistral launches OCR 4, turning document extraction into a full enterprise AI play
Mistral AI on Tuesday released OCR 4, a document intelligence model that moves beyond raw text extraction to return structured representations of entire documents — complete with bounding boxes, blo [...]
Mistral launches its own AI Studio for quick development with its European open source, proprietary models
The next big trend in AI providers appears to be "studio" environments on the web that allow users to spin up agents and AI applications within minutes. Case in point, today the well-funded [...]
Mistral launches powerful Devstral 2 coding model including open source, laptop-friendly version
French AI startup Mistral has weathered a rocky period of public questioning over the last year to emerge, now here in December 2025, with new, crowd-pleasing models for enterprise and indie developer [...]