2 Meldungen über Mistral, chronologisch, auf Deutsch zusammengefasst.
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
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