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 det spelar 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.
EU-status
Ej relevant för EU-status.
Mer att 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.