vor einer Stunde - IT-MARKT
Das französische KI-Start-up Mistral AI hat mit Leanstral 1.5 eine neue Version seines spezialisierten Sprachmodells veröffentlicht. Es soll mathematisch nachweisen, dass Programme bestimmte Eigenschaften...weiterlesen »
IT-MARKT
TrendingTopics.eu
Heise Online
vor 2 Stunden - TrendingTopics.eu
Arthur Mensch, Mitgründer und CEO des französischen KI-Unternehmens Mistral AI, hat sich mit einem ausführlichen Plädoyer für Open-Source-Modelle an Unternehmensentscheider:innen gewandt. In einem LinkedIn-Posting...weiterlesen »
vor 18 Stunden - Heise Online
Mistral AI veröffentlicht Leanstral 1.5 unter Apache-2.0-Lizenz. Das Modell löst laut Mistral 587 von 672 Putnam-Aufgaben und findet automatisiert Bugs in Code. Mistral AI hat mit Leanstral 1.5 ein spezialisiertes...weiterlesen »