Mistral veröffentlicht Mathe-KI „Leanstral" als Open Source
Das französische KI-Startup Mistral AI hat ein spezialisiertes Open-Source-Modell für mathematische Beweise vorgestellt
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.
