BREAKING
Mistral Releases Leanstral 1.5
0
PutnamBench solved
0
total problems
0
%
miniF2F
0
$
per problem
0
$
Seed-Prover high
0
x
cost advantage
0
B
total params
0
B
active params
0
k
context tokens
Beyond Math: Real Bug Finding
Benchmarks
SOTA
●
FATE-H at 87%
●
FATE-X at 34%
●
Apache-2.0 open weights
Software
applied
●
5 new bugs found
●
57 repositories
●
Rust-to-Lean via Aeneas
Proof Abundance for All
AI NEWS BLITZ
Mistral AI has launched Leanstral 1.5, an open-weight model for formal theorem proving in Lean 4.