Leanstral 1.5 – abundancja dowodów dla wszystkich

Mistral AI zaprezentowała nową wersję modelu Leanstral 1.5, która skupia się na możliwości generowania obfitych dowodów i udowodnień w zadaniach logicznych. Ulepszenia mają poprawić zdolności rozumowania i wiarygodności wyjścia modelu.