Mistral AI rilascia Leanstral 1.5 sotto licenza Apache 2.0. Secondo Mistral, il modello risolve 587 dei 672 compiti Putnam e trova automaticamente i bug nel codice.