KI Intelligence04.07.2026KI Intelligence
Artikel
Mistral AI hat Leanstral 1.5 veröffentlicht, ein Open-Source-Modell für formale Verifikation.
Es löst komplexe mathematische Probleme und hat fünf echte Fehler in öffentlichen Code-Repositories gefunden.
Data Cube AI RedaktionQuelle: Mistral AI
01
Source Brief
Mistral AI hat Leanstral 1.5 veröffentlicht, ein Open-Source-Modell für formale Verifikation. Es löst komplexe mathematische Probleme und hat fünf echte Fehler in öffentlichen Code-Repositories gefunden.