Mistral
Leanstral 1.5 van Mistral vindt bugs met wiskundig bewijs
Mistral geeft Leanstral 1.5 vrij, een open Lean 4-model voor formele verificatie dat 100 procent haalt op miniF2F en vijf onbekende bugs vond in open-source code.
Mistral zet open-weight model in tegen OpenAI
Mistral gaat begin juli in early access met een nieuwe open-weight mixture-of-experts, terwijl goedkope Chinese modellen de prijsdruk opvoeren.
Mistral OCR 4 houdt documenten binnen eigen muren
Mistral bracht OCR 4 uit, een document-AI die volledig op eigen infrastructuur draait. 170 talen, hoge benchmarkscores en een prijs van 4 dollar per 1.000 pagina’s.
Mistral mikt op 20 miljard met nieuwe geldronde
Mistral AI praat over een ronde van 3 miljard euro tegen een waardering van 20 miljard. ASML en Nvidia steunen de Franse uitdager van OpenAI.
AI-marktupdate: Mistral versnelt coding agents, redacties zetten AI door en Pentagon schaalt op
AI-marktupdate: Mistral versnelt coding agents, redacties testen AI in redacties en het Pentagon schaalt AI verder op in geclassificeerde systemen.