MISTRAL'S LEANSTRAL 1.5 FINDS REAL BUGS IN CODE

Leanstral 1.5 demonstrates practical applications beyond theoretical performance metrics. The model scanned 57 open-source repositories and identified genuine vulnerabilities that had gone undetected. Formal verification—mathematically proving software correctness—has traditionally required significant human expertise. By automating this process, Leanstral 1.5 makes the technique more accessible to developers. The open-source release signals Mistral's commitment to transparency in AI development. Unlike proprietary alternatives, the model's code and weights are publicly available, enabling community contributions and independent auditing. The dual achievement of benchmark excellence and real-world bug discovery validates the model's effectiveness. These results suggest formal verification tools powered by AI could strengthen code quality across the software industry, particularly for security-critical applications. Mistral continues expanding its portfolio of specialized models beyond general-purpose language tasks.