Mistral AI· 2 JulLeanstral 1.5: Proof Abundance for AllMistral AI announces Leanstral 1.5, a research model focused on proof abundance.Research paper