vllm articles — AI Newsroom

Mistral opens Leanstral 1.5: 6B-active Apache-2.0 Lean 4 prover

Jul 4, 2026·5 min read·9 sources

mistral leanstral proof-engineering formal-verification lean-4+15+16

Apache-2.0 Leanstral 1.5 (119B/6B MoE) saturates miniF2F, hits 587/672 PutnamBench, sets SOTA on FATE-H and FATE-X, and finds 5 unknown bugs in 57 Rust repos — at ~$4 per problem.

DiffusionGemma: 1,000+ tokens/sec open-weights text gen

Jun 15, 2026·5 min read·7 sources

google-deepmind gemma diffusiongemma text-diffusion open-weights+10+11

Google DeepMind's June 10, 2026 release: a 26B/3.8B text-diffusion model denoising 256 tokens in parallel; ~4x faster than AR on a single H100, Apache 2.0, explicitly experimental.