Key AI news stories in enterprise and tech.
For practitioners and enthusiasts
Edition · Sunday, August 2, 2026
The KeyNews.AI edition for Sunday, August 2, 2026 leads with “OpenAI’s Astra solves 10 long-open math problems and publishes the proofs”, reported by SiliconAngle and ranked 88 out of 100 by KeyRank. Also in the top 10: “Report claims China is distilling U.S. frontier models to power military AI applications”, “Thinking Machines Lab Releases Inkling-Small: A 276B Total, 12B Active Open Weights Multimodal MoE Model”, “OpenAI Presence wants to make AI agents production-ready for businesses” and “After Hugging Face incident, METR urges independent root-cause investigations into AI agent misbehavior”. Across the 4 desks, 18 stories cleared the KeyRank bar, with Frontier the busiest at 6 and Work next at 6.
Astra demonstrates a frontier leap in reasoning and formal verification: solving decade-old problems in mathematics and theoretical CS with publishable proofs signals a qualitative shift in model capability that reshapes how practitioners think about AI for research and verification tasks.
2026-08-02
Read full storyThe AI products people actually use. · 3 stories
Autonomous systems in the wild. · 3 stories
Funding, M&A, valuations, earnings. · 0 stories
Silicon, racks, the compute buildout. · 0 stories
ONE BRIEFING · EVERY FRIDAY · FREE
Free. Unsubscribe anytime.
