Reuters and TechCrunch: Series E led by a16z and Accel; nearly doubles May’s $26B mark four months later.
Bloomberg and CISA AA26-251A: NSA, FBI, and CISA name DeepSeek, Moonshot, Alibaba, MiniMax, StepFun, and Z.AI.
CNBC and Politico: Jacob Coxon resigns; alignment lead Evan Hubinger puts extinction risk above 10% this decade.
Company post, NYT, and New Scientist: unnamed model beyond Astra; Lean proof; Clay prize not claimed; concurrent Buckmaster–Alpöge work disputed.
Nature and DeepMind: precomputed effects for every single-letter human mutation; AVI impact score; free non-commercial portal.
TechCrunch: U.S. launch at muse.ai plus iOS, Android, and WhatsApp; Muse Spark model; free tier with $20 and $100 paid plans; Secure VM and Stripe…
Reuters: High-NA EUV currently limited by smaller masks; larger masks targeted for high-volume use, with TSMC/Samsung timelines into 2028–2030.
Company research post: ~13M lines of Lean over 11 days; Kevin Buzzard calls it an extraordinary autoformalization achievement.
Reuters: multi-year capacity from two Malaysian sites; Firmus contracted load tops 900 MW ahead of rumoured IPO.
Bloomberg: due diligence done, no deal signed; chip-efficiency target may still collaborate. Anthropic rarely buys big ahead of IPO.