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

vor 1 Woche

Das französische KI-Startup Mistral AI hat ein spezialisiertes Open-Source-Modell für mathematische Beweise vorgestellt

57 Sekunden

0 0

Podcast

Podcaster

Superkraft KI News | by Jörg Schieb

KI ist eine Superkraft – hier erfährst Du, wie KI funktioniert, wie Du mit KI viel Zeit sparen kannst, welche KI für dich die Richtige ist und richtig promptest.

Technologie , Nachrichten

Beschreibung

vor 1 Woche

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)