TechCrunch beskriver Mistral AI som stiftet i 2023, med betydelig kapital og med nogle open source modeller samt ambitionen om at “put frontier AI in the hands of everyone.” Snillds manualbrief vurderer, at det øger fokus på åbne og kraftfulde modeller og fremskynder mulighederne for danske virksomheder – hvis implementering, sikkerhed og drift håndteres ordentligt.

Leanstral 1.5 er en Apache‑2.0‑licenseret kode‑agent til Lean 4. Ifølge udgiver løser den 587 af 672 PutnamBench‑opgaver og rammer 100 procent på miniF2F. Arkitekturen er MoE med 128 eksperter, et 256k kontekstvindue og RL‑træning i et Lean‑miljø — men tallene kræver uafhængig verifikation, og driftsmodellen skal tænkes igennem, før noget kører i produktion.

Mistral AI lancerer OCR 4, en dokumentforståelsesmodel der leverer citation‑klart, struktureret output med bounding boxes, blok‑typer og confidence‑scores — og kan køre som én container on‑prem. Spørgsmålet er ikke kun hvad den kan, men hvor meget integrationsarbejde der stadig venter i den virkelige verden.

AWS åbner for native bidirectional streaming i SageMaker AI fra november 2025. Sammen med vLLMs Realtime API og Mistrals Voxtral‑Mini‑4B‑Realtime‑2602 gør det realtids tale‑til‑tekst muligt i produktion. Vi dykker ned i arkitektur, drift, målepunkter, compliance og de virkelige faldgruber, vi selv har set hos kunder.

Mistral lancerer cloud-hostede remote agents i Vibe og gør Mistral Medium 3.5 til standardmodellen i Vibe og Le Chat. For udviklingsteams betyder det parallelle, vedvarende sessions i isolerede sandboxes, PR’er direkte til GitHub og et nyt sæt krav til review, sikkerhed og drift.