Jun 29 – Jul 5, 2026

Models, benchmarks, the lab race. · 36 stories

1. 1Mistral's open-source Leanstral 1.5 aces formal math benchmarks and catches real bugs in code78
2. 2Mistral AI Releases Leanstral 1.5: An Apache-2.0 Lean 4 Code Agent Model Solving 587 of 672 PutnamBench Problems
3. 3Leanstral 1.5: Proof abundance for all

The AI products people actually use. · 111 stories

1. 1Claude Science is Anthropic’s newest flagship product82
2. 2How JPMorgan Chase Is Building The AI-Powered Bank Of The Future
3. 3Gemini Spark rolling out to macOS app for local tasks, automation - 9to5Google

Autonomous systems in the wild. · 0 stories

1. Nothing cleared the bar today.

Funding, M&A, valuations, earnings. · 61 stories

1. 1UAE's MGX raises one of the biggest AI funds ever as it closes at $49 billion92
2. 2Schneider Electric acquires Cognite for $3.1B in industrial AI push
3. 3OpenAI proposes handing Trump administration 5% stake

Silicon, racks, the compute buildout. · 53 stories

1. 1Samsung and SK Hynix plan $590 billion chip investment as AI demand sends memory prices soaring92
2. 2South Korea launches $584B chip manufacturing initiative with Samsung, SK hynix
3. 3Nvidia competitor Etched hits $5B valuation, $1B in sales for AI chip

Jobs, industries, people & policy. · 139 stories

1. 1Credible AI Lab Critics Pile Up As The Bubble Math Worsens78
2. 2Hidden LLM Backdoors Could Detonate At Massive Scale
3. 3Nvidia recruits longtime Microsoft sales leader Nick Parker with $40M+ pay package