Search

Intel and Google Cloud expand Gemini Enterprise and chip-development collaboration
The July 16 announcement combines internal AI workflows with additional computing resources for simulation. A July 18 report separates those two roles.

Google starts July’s Pixel update with app and boot fixes
The phased rollout began July 7. Device applicability and the distinction between a phone update and Android’s general bulletin matter when reading the changes.

Microsoft cuts about 4,800 roles as Xbox outlines a wider restructure
The July 6 statements distinguish immediate job reductions, a financial-year plan and studio transitions. The numbers describe different scopes and stages.

Leanstral 1.5: moving from suggested code to checkable properties
Mistral released the model on July 2. A July 5 report examines how proof engineering in Lean 4 differs from asking an assistant for plausible code.

Meta cuts 1,500 Reality Labs jobs and shuts VR game studios
Armature, Twisted Pixel and Sanzaru are closing, and Workrooms is being shut down as Meta shifts toward smart glasses and AI.

Report: OpenAI asks contractors to upload real work from past jobs
According to Wired, OpenAI and Handshake AI are asking for real Word, Excel and PowerPoint files to train AI. Legal experts warn of risks.