Mistral veröffentlicht Mathe-KI „Leanstral" als Open Source
aus Superkraft KI News | by Jörg Schieb · 13.07.2026 · 0 Min.
Beschreibung
Das französische KI-Startup Mistral AI hat ein spezialisiertes Open-Source-Modell für mathematische Beweise vorgestellt