Mistral Releases Leanstral 1.5—119B Open-Source Model Hits 100% on miniF2F, Solves 587 of 672 Putnam Problems
Mistral’s new theorem prover found 5 unreported bugs across 57 repositories by proving code mathematically wrong—including an integer…