04:11
2026-07-04
runtimewire.com
artificial-intelligence
Mistral opens Leanstral 1.5 in a bet on machine-checked AI
Mistral AI released Leanstral 1.5, an open-source Lean 4 proof model with 119 billion total parameters, on July 2. The model achieves state-of-the-art results on theorem-proving benchmarks and is posi…