Daily AI RoundupsSaturday, 19 September 2026

Anthropic and Accenture lead this edition with reciprocal commitments of at least $1 billion over five years to embed independent frontier-model evaluators. California orders an assessment of mandatory frontier-model kill switches, Reuters reports Anthropic is weighing another model release, and AWS adds Moonshot AI's 2.8-trillion-parameter Kimi K3 to Bedrock. Practitioner and research signals cover Dan Abramov's mechanically checked Lean proof, Ethan Mollick and Dan Luu on human judgment, Trail of Bits' agent-built audit tooling, Claude Code's AGENTS.md fallback, and Meta's Muse for Mac.

• frontier model evaluation
• AI policy
• AI safety
• AI models
• cloud AI
• formal verification
• AI agents
• AI security

Stories in this roundup

1. 01
   Anthropic and Accenture each commit at least $1 billion over five years to embed independent frontier-model evaluatorsAnthropic
2. 02
   Newsom orders California to accelerate independent AI oversight and assess mandatory frontier-model kill switchesCNBC
3. 03
   Dan Abramov says a month-long, roughly 40-billion-token effort produced a Lean proof of Conway's refinement conjecture; independent review is pendingDan Abramov
4. 04
   Ethan Mollick argues existing AI already makes large-scale change inevitable, while human advantage lies in deep knowledge, breadth, taste, and agencyEthan Mollick
5. 05
   Dan Luu argues 'brain-off' LLM use is a losing strategy because agents still need human judgment, and once they do not, employers can remove the human proxyDan Luu
6. 06
   Trail of Bits says six months of agent-built Miden zkVM tooling found a fund-draining flaw and produced 95 Lean proofsTrail of Bits
7. 07
   Claude Code 2.1.277 adds native AGENTS.md fallback when CLAUDE.md is absentAnthropic
8. 08
   Reuters reports Anthropic is considering another model release to counter GPT-6 Astra as it weighs safety and IPO pressureReuters
9. 09
   AWS adds Moonshot AI's 2.8T-parameter Kimi K3 to Amazon Bedrock with 1M context and explicit prompt cachingAmazon Web Services
10. 10
    Meta launches Muse for Mac to act across local files and native apps with user-controlled accessTechCrunch