Mistral AI hat Leanstral 1.5 veröffentlicht, ein spezialisiertes Open-Source-Modell zur formalen Verifikation von Mathematik und Code in der Sprache Lean 4. Das Modell geht über reine theoretische Anwendungen hinaus: Bei einem Test auf 57 Open-Source-Repositories entdeckte es fünf zuvor unbekannte Bugs, was seine praktische Sicherheitsrelevanz unterstreicht. Dies zeigt, wie KI-Modelle nicht nur Mathematik beherrschen können, sondern auch konkrete Sicherheitsprobleme in bestehender Software aufdecken und damit einen echten Mehrwert für die Softwareentwicklung bieten.
