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.

KI-generiert: Die Zusammenfassungen schreibt eine KI auf Grundlage der verlinkten Quellen. So nutzen wir KI