Mistral Releases Leanstral 1.5, an Open Model That Solved 587 of 672 Putnam Math Problems

Mistral released Leanstral 1.5, an open model that solved 587 out of 672 Putnam math problems. This achievement is significant as it demonstrates the model's potential in solving complex math problems. The model is also being used to find real bugs in open-source code, highlighting its practical applications. Engineers should be aware of this development and its potential impact on the field of math-based problem-solving.