KI Intelligence16.03.2026KI Intelligence
Artikel
Mistral veröffentlicht 'Leanstral', den ersten Open-Source-Code-Agenten für die Programmiersprache Lean 4.
Das Tool soll helfen, den Engpass bei der manuellen Überprüfung von KI-generiertem Code in Hochrisikobereichen wie Forschung und kritischer Software zu überwinden. Es zielt auf mehr Geschwindigkeit und Sicherheit ab.
Data Cube AI RedaktionQuelle: Hacker News
01
Source Brief
Mistral veröffentlicht 'Leanstral', den ersten Open-Source-Code-Agenten für die Programmiersprache Lean 4. Das Tool soll helfen, den Engpass bei der manuellen Überprüfung von KI-generiertem Code in Hochrisikobereichen wie Forschung und kritischer Software zu überwinden. Es zielt auf mehr Geschwindigkeit und Sicherheit ab.
02