From the source

Leanstral 1.5: Proof Abundance for All

Mistral AI announces Leanstral 1.5, a research model focused on proof abundance.

Research paper

From the source
Research Leanstral 1.5: Proof Abundance for All
mistral.ai

Other stories

Mistral AI· 6 OctNew model

Mistral Large 4 previews with 1T-parameter open-weight model, weights due this month.

Mistral opens Munich hub for Physics AI and industrial AI.

ModelsLeanstral 1.5

Partnership

Mistral powers Mozilla's Firefox Smart Window browser assistant

Mistral AI· 10 SepPartnership

Mistral models integrated with Cloudera platform for on-premises and air-gapped AI deployment.

Modernizing complex legacy code with AI agents.
Mistral migrated 40,000 lines of Fortran 77 to C++ using AI agents.
Mistral AI· 9 Sep
Mistral raises €3B to make sovereign, open-weight AI the technology frontier
Mistral raises €3 billion in Series D funding at €21 billion valuation.
Mistral AI· 8 SepCompany news