Die deutschsprachige Chronik der KI-Nachrichtenlage

Mistral bringt offenes Modell Leanstral 1.5 für Lean-4-Beweise

06.07.2026 · Sicherheit

Mistral

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.

Originalquelle

TestingCatalog AI — testingcatalog.com

Mehr zum Thema

Mistral soll bei 20 Mrd. Euro Bewertung 3 Mrd. einsammeln

Laut Berichten plant Mistral eine neue Finanzierungsrunde von 3 Milliarden Euro, was das Unternehmen mit rund 20 Milliarden Euro bewerten würde – fast doppelt so viel wie bei der Series C. Das zeigt, wie stark die Bewertungen europäischer KI-Anbieter steigen. Für Unternehmen und Investoren ist das ein wichtiges Signal für den europäischen KI-Markt.

15.06.2026 · TechCrunch AI (techcrunch.com) · Update

Ganze Ausgabe vom 06.07.2026