Mistral bringt offenes Modell Leanstral 1.5 für Lean-4-Beweise
Mistral veröffentlicht Leanstral 1.5, einen quelloffenen Code-Agenten für formale Beweisführung in Lean 4. Das Modell ist über die Labs-API und Hugging Face verfügbar und öffnet automatisierte Beweistechnik für Forschende, ohne Lizenzkosten oder geschlossene Systeme.
06.07.2026 · TestingCatalog AI (testingcatalog.com) · Sicherheit