Mistral Releases Leanstral 1.5, Pitching 'Proof Abundance for All'

Mistral unveiled Leanstral 1.5, a new model release the company frames around making formal proof and reasoning more broadly accessible. The launch adds to a crowded field of open and efficient AI models. Details emphasize performance and cost efficiency.