Mistral Vibe: Die neuen agentischen Oberflächen Work und Code ausprobiert from heise online News on 2026-05-30 14:50 (#75ZNK) Mistral benennt Le Chat in Vibe um und fuhrt agentische Arbeitsoberflachen ein. Wir haben sie uns naher angeschaut.
Leanstral 1.5: Formale Beweise für 4 Dollar statt 300 Dollar pro Aufgabe from heise online News on 2026-07-06 16:16 (#76SY7) Mistral AI veroffentlicht Leanstral 1.5 unter Apache-2.0-Lizenz. Das Modell lost laut Mistral 587 von 672 Putnam-Aufgaben und findet automatisiert Bugs in Code.