Company momentum

Mistral AI

Startup · private · AI

2.2 Warming

1 story in the last 7 days · Warming · Website ↗

Coverage tone · Positive · +85

The coverage highlights Mistral AI's release of Leanstral 1.5, emphasizing its strong performance on PutnamBench problems and its value for formal verification and software engineering, presenting the development in a favorable light.

Latest coverage

/AI

Mistral AI unveils Leanstral 1.5, an open Lean 4 theorem‑proving model aimed at formal math workflows

Mistral AI has released Leanstral 1.5, a specialized model that claims to solve 587 of 672 PutnamBench problems, targeting formal verification and software engineering workflows.

Jul 5, 2026 →

Latest coverage

Mistral AI unveils Leanstral 1.5, an open Lean 4 theorem‑proving model aimed at formal math workflows

Mistral AI unveils Leanstral 1.5, an open Lean 4 theorem‑proving model aimed at formal math workflows