skip to content

thursday, august 6, 2026 · the day's ai, attributed published by trilot llc · wyoming

brief open modelsresearch

Mistral releases Leanstral 1.5 for Lean 4

Mistral's Apache-2.0 Leanstral 1.5 (119B MoE, 6B active) is an open code agent for Lean 4 proofs, solving 587 of 672 PutnamBench problems.

brief no. 180 sunday, july 5, 2026 · 21:36 1 min read 1 source

sources 1 cited

1 mistral.ai Leanstral 1.5: Proof Abundance for All

next

01 What an LLM actually is (and isn't) guide 01 · 6 min · upd june 2026

← previous brief · jul 5, 21:34 Anthropic closes China relay loopholes next brief · jul 5, 21:40 → Transformers 5.13 adds Kimi K2.5 support