Episode Details
Back to EpisodesMistral veröffentlicht Mathe-KI „Leanstral" als Open Source
Published 1 week, 1 day ago
Description
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.