vllm articles — AI Newsroom

Mistral releases Leanstral 1.5: 119B/6B-active Apache-2.0 prover saturates miniF2F and finds 5 unknown Rust bugs at $4 per problem

Jul 4, 2026·4 min read·3 sources

open-source open-weights formal-verification lean-4 mistral+18

Apache-2.0 119B/6B-active MoE prover from Mistral saturates miniF2F, hits SOTA on FATE-H (87%) and FATE-X (34%), and uncovers 5 previously unknown Rust bugs across 57 repos — all for about $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

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.