It is called as Devstral, and it outperformed several other open-source models on the SWE-Bench verified benchmark.
