Mistral veröffentlicht Mathe-KI „Leanstral" als Open Source

Superkraft KI News | by Jörg Schieb · Jul 13, 2026 · 1m · transcript

Mistral AI hat mit „Leanstral 1.5" ein Open-Source-Modell für mathematische Beweise und formale Logik veröffentlicht. Das Modell ist kostenlos im Mistral AI Studio nutzbar und soll in Benchmarks „Top-Uni-Niveau" erreichen.

Zur Quelle (UNIDIGITAL.news)