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.comDas französische KI-Labor Mistral profitiert vom aktuellen Aufschwung offener Modelle, ausgelöst durch Unruhe bei grossen US-Tech-Konzernen. Offene Gewichte gewinnen dadurch gegenüber geschlossenen Systemen an Boden. Das verschafft Mistral eine günstigere Marktposition im Wettbewerb mit US-Anbietern.
05.08.2026 · Wired AI (wired.com) · Markt
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