Selon les informations de Bishijie, le coût de résolution de chaque problème du modèle Leanstral 1.5 open source de Mistral est d'environ 4 dollars. Le modèle compte un total de 119 milliards de paramètres, avec environ 6,5 milliards de paramètres activés. Il utilise le protocole Apache-2.0 et offre un accès gratuit à l'API. Les évaluations officielles montrent que Leanstral 1.5 a résolu 587 des 672 problèmes de Putnambench, atteignant respectivement 87 % et 34 % sur les benchmarks d'algèbre abstraite Fate-H et Fate-X, établissant ainsi une nouvelle performance de pointe parmi les modèles similaires. De plus, Leanstral 1.5 est également utilisé pour la vérification de code, l'équipe ayant découvert 11 bogues réels dans 57 dépôts Rust open source, dont 5 n'avaient pas été signalés auparavant.
CoinNetwork

