apache 2 0 articles — AI Newsroom

Ratel: an in-process BM25 tool catalog that cuts AI agent context spend 87% on BFCL v3

Jul 11, 2026·6 min read·13 sources

ratel ratel-ai context-engineering tool-calling tool-selection+23

Ratel (ratel-ai/ratel, 186★, Apache-2.0 core + MIT SDKs) ships an in-process BM25 tool catalog. On BFCL v3: ~87% fewer tokens, tool selection within ±5 points.

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

Jul 4, 2026·4 min read·9 sources

mistral leanstral proof-engineering formal-verification lean-4+5

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.

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.

cognee: open-source AI memory platform for agents

Jun 30, 2026·5 min read·11 sources

cognee topoteretes ai-memory agent-memory knowledge-graph+22

cognee is an Apache-2.0 open-source AI memory platform for agents: a self-hosted knowledge graph engine with a four-method API (remember, recall, forget, improve) and a Claude Code plugin.

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.