Tim

Mistral post!

- Mistral Small (where small now means you need an Nvidia data centre class card to run it) combines reasoning, multimodal and agentic coding capabilities into one model: https://mistral.ai/news/mistral-small-4

- Mistral Leanstral 120B model for Lean4 / proof assistant capable of expressing complex mathematical objects and software specs: https://mistral.ai/news/leanstral

- Mistral partners with Nvidia for Nemotron collab: https://mistral.ai/news/mistral-ai-and-nvidia-partner-to-accelerate-open-frontier-models

- oh + Nvidia GTC...

#AI #AInews #mistral #opensource

Introducing Mistral Small 4 | Mistral AI

Mar 17 at 8:21amWeb
Show threadsecanaMar 17
@heyyeah I really hope that Mistral can catch up to Claude, Codex etc. We need a European alternative.
Show threadTimMar 17
@secana agreed! I also like what the Swiss collaboration between EPFL, ETH, CSCS et al are doing with Apertus @AICenter @loleg
Show threadsecanaMar 17
@heyyeah @AICenter @loleg Never heard if it, but gonna check it out!