Mistral AI veröffentlichte Leanstral 1.5, ein Open-Source-Modell für die formale Verifizierung in Lean 4. Über die Mathematik hinaus fand das Modell beim Scannen von 57 Open-Source-Repositories fünf bisher unbekannte Fehler. Der Artikel Mistral ist geöffnet…
Open-Weights verringern den Preisdruck und erweitern den Zugang, wodurch sich die Build-vs-Buy-Mathematik für das gesamte Ökosystem ändert.
In dieser Geschichte erwähnte Unternehmen und Modelle – öffnen Sie ihre Seiten und sehen Sie die aktuellen Preise
Zusammenfassungen werden nur zu Informationszwecken aggregiert – folgen Sie dem Quelllink für die vollständige Geschichte. Demo-Einträge dienen der Veranschaulichung.