Mistral AI는 Apache 2.0 라이선스에 따라 Leanstral 1.5를 출시합니다. Mistral에 따르면 이 모델은 Putnam 작업 672개 중 587개를 해결하고 코드에서 자동으로 버그를 찾습니다.