# News: July 6, 2026

> 3 curated links on AI agents, Python, security, Google Cloud, and engineering, selected by Médéric Hurier.

- Author: [Médéric Hurier (Fmind)](https://www.fmind.dev/)
- Published: 2026-07-06
- URL: https://www.fmind.dev/news/2026-07-06/

- [Leanstral 1.5: Proof Abundance for All](<https://mistral.ai/news/leanstral-1-5>): Mistral AI releases Leanstral 1.5, a free Apache-2.0 licensed model with 119B total and 6B active parameters, delivering state-of-the-art performance in formal mathematical reasoning and real-world code verification for Lean 4.
- [Microsoft commits $2.5 billion and 6,000 employees to new AI implementation unit](<https://www.cnbc.com/2026/07/02/microsoft-commits-2point5-billion-6000-employees-ai-implementation-unit.html>): Microsoft commits $2.5 billion and 6,000 employees to launch a new specialized unit aimed at helping enterprise customers integrate and deploy artificial intelligence technologies.
- [OpenAI in talks to give Trump administration a 5% stake in the company, FT reports](<https://edition.cnn.com/2026/07/02/business/openai-trump-stake-intl>): OpenAI is reportedly in discussions to grant a 5% stake in the company to the Trump administration as artificial intelligence firms face increasing government scrutiny.