Mistral AI releases Leanstral 1.5 for theorem proving

Mistral AI announced Leanstral 1.5, a new version of its AI model for formal mathematical proofs. The release emphasizes accessibility and proof assistance.