July 6, 2026
3 curated links on AI agents, Python, security, Google Cloud, and engineering, selected by Médéric Hurier.
-
Leanstral 1.5: Proof Abundance for All
mistral.ai
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
cnbc.com
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
edition.cnn.com
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.