Mistral hat Leanstral veröffentlicht, ein KI-Modell für Vibra-Coding mit formaler Verifizierung
Das Unternehmen Mistral AI hat ein großes Sprachmodell namens Devstral vorgestellt, das für die Entwicklung von Anwendungen (Vibra-Coding) ausgelegt und für die formale Verifizierung von Code optimiert ist. Devstral soll zur Erstellung von KI-Assistenten verwendet werden, die nicht nur Code generieren, sondern auch garantieren, dass dieser fehlerfrei ist. Devstral ist das erste offene Modell, das die Programmiersprache Lean 4 und damit verbundene […] unterstützt.
