Thumbnail 1759189
thumbnail
Large (256x256)

Articles

Mistral Vibe: Die neuen agentischen Oberflächen Work und Code ausprobiert
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
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.
1