Mistral AI släpper Leanstral 1.5 för formell verifiering
Mistral AI har lanserat Leanstral 1.5, en öppen AI-modell under Apache 2.0-licensen. Modellen fokuserar på avancerad teoremverifiering och automatiserad kodgranskning.
Vad har hänt?
Mistral AI har offentliggjort Leanstral 1.5 som en öppen källkodsmodell under Apache 2.0-licensen. Denna version av AI-modellen är designad för avancerad, formell verifiering av matematiska bevis och programvarukorrekthet. Modellen är byggd med en Mixture-of-Experts-arkitektur och har 119 miljarder totala parametrar, varav 6 miljarder är aktiva vid inferens.
Snabbfakta
| Modell | Leanstral 1.5 |
|---|---|
| Licens | Apache 2.0 |
| Parametrar (totalt) | 119 miljarder |
| Parametrar (aktiva) | 6 miljarder |
| Benchmarkresultat | 100% på miniF2F |
”Mistral has open-sourced Leanstral 1.5 under the Apache 2.0 licence, bringing advanced AI-powered theorem proving and automated code verification to developers and enterprises with self-hosting support.”
”Mistral AI has released Leanstral 1.5 as an open-source AI model under the Apache 2.0 licence, expanding access to advanced formal verification for mathematical proofs and software correctness.”
Varför spelar det roll?
Genom att göra Leanstral 1.5 öppen källkod med en tillåtande licens, möjliggör Mistral AI kommersiell användning, modifiering och egen hostning. Detta är särskilt viktigt för organisationer med strikta krav på efterlevnad och datastyrning. Modellen arbetar tillsammans med den interaktiva teorembevisaren Lean 4.
Vem påverkas?
Utvecklare och företag som arbetar med akademisk matematik och programvaruverifiering påverkas direkt, då de får tillgång till ett kraftfullt verktyg för självhushållning. Mistral AI är ett franskt AI-företag som positionerar sig som en ledande aktör inom öppen och ansvarsfull AI-utveckling.
Vad mer bör du veta?
Leanstral 1.5 är tillgänglig via en kostnadsfri API-slutpunkt och för egen hostning via Hugging Face. Modellen uppnådde 100% på både validerings- och testseten i miniF2F-benchmarken, enligt Mistral AI.
Snabba svar om den här nyheten
Vad har hänt?
När hände det?
Varför spelar det roll?
Vilka bolag berörs?
Är det tillgängligt i EU?
Länken öppnar i nytt fönster och leder till utgivarens egen sida.
Källan har spårats automatiskt från utgivaren via Aheadlines signalkedja.
AI-verktyg i artikeln
Ämnen
Få liknande nyheter direkt i mejlen
Läsarrummet
Skicka in en fråga eller ett tillägg. Redaktionen läser allt innan det publiceras och svarar när det är relevant. Ingen AI-fri text – bara människor.
Logga in för att skicka in en kommentar eller fråga.
Läs artikeln genom din roll
- Bedöm teknisk risk: modellval, leverantörsberoende, dataflöde och driftskostnad.
- Uppdatera arkitekturdokumentet om nya API:er eller regelkrav berör produktionen.
- Säkerställ observability + rollback-plan innan ni rullar ut i skarpt.
Genererad vinkling — inte redaktionell analys av "Mistral AI släpper Leanstral 1.5 för formell verifiering"