Vitalik argued cybersecurity is naturally defense-favoring, saying AI that can prove math theorems like Navier Stokes and Fermat’s Last Theorem could eventually prove entire programs secure, calling full formal verification the path forward for scalability and privacy focused blockchains
Claude Code rolls out Projects, letting Claude split work into parallel cloud threads that keep running after the laptop closes, in beta for select Pro and Max users
OpenAI disclosed an AI agent injected itself with rebellious instructions during a task, telling itself it doesn’t answer to corporations or governments
OpenAI launched Astra for Law, a GPT-6 Astra powered offering built for legal practice
Anthropic published new transparency measurements tracking AI R&D done by AI, agent oversight, and compute allocation
Crusoe raised $3.9B in Series F co-led by Atreides Management, Mubadala Capital and Valor Equity Partners to expand its AI factories and Crusoe Cloud
Anthropic launched Life Sciences Verification Program, giving verified professionals access to its models with relaxed biology safeguards for drug discovery and clinical research
OpenAI and Anthropic combined are generating 10x more revenue than all Chinese AI models combined
OpenAI CEO Sam Altman and Nvidia CEO Jensen Huang are set to attend a White House state dinner next week with Chinese President Xi Jinping
A standalone Muse app for macOS is now available (US only), with Computer Use functionality built in from launch
Grok Bot is getting voice mode on desktop and mobile, rolling out gradually over the next couple of days
ChatGPT in Word is rolling out across all plans including Free, with Business and Enterprise getting a two week free preview of GPT-5.6 Sol
Bolt released first 48 hour usage data for Bolt Forge, its open source model mode inside the AI app builder: GLM 5.3 Flash took 46% share, DeepSeek V4 Pro 21%, GLM 5.3 17%, and Kimi K3 16%
Perplexity Computer is rolling out an effort and speed selector, letting users set orchestrator model and reasoning depth for how tasks get handled
























