Guillaume Lample

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…

Mistral AI is seeking to raise approximately €3 billion in new funding at a €20 billion valuation, nearly doubling its valuation from its Series C round last year. The Paris-based startup, founded in …