Mistral AI выпускает Leanstral 1.5 под лицензией Apache 2.0. По данным Mistral, модель решает 587 из 672 задач Патнэма и автоматически находит ошибки в коде.