Nvidia's OpenShell uses Z3 formal proofs to cap AI agent permissions
OpenShell's dev note describes writing formal proofs with the open-source Z3 library that a policy change proposed by an agent stays inside what the operator approved. The team argues human supervision stops scaling once hundreds of agents run for hundreds or thousands of hours.
1 source
More stories today
OpenAI's Brockman: stop retooling software for AI agents
Speaking on the a16z show, OpenAI president and co-founder Greg Brockman argued developers have been "retooling the world" to make software accessible to AI agents, and that computer use offers a simpler path.
The New Stack·54 minutes ago
OpenAI gives Singapore builders unlimited Astra tokens
Gabriel Chua·59 minutes ago
NYT piece covers researchers who doubt AI existential risk
Emily M. Bender·1 hour agoReddit user builds Risograph illustration skill, tests GPT-6 Astra vs Fable 5.1
A r/ClaudeAI user created a skill for Risograph-style illustrations after seeing a Claude Opus 5 animation post, then compared outputs from GPT-6 Astra and Fable 5.1. Results were shared as a Reddit gallery.
r/ClaudeAI·1 hour ago
OpenAI weighs funding round above $1.2T valuation
OpenAI is in early talks with investors about a new round valuing it at more than $1.2 trillion, ahead of an IPO. Bloomberg reports the discussions are preliminary.
Bloomberg Technology·2 hours ago
Salesforce launches Koa, its first CRM reasoning model, built on Nvidia Nemotron 3 Super
Koa was post-trained on Nvidia's open-weight Nemotron 3 Super using a synthetic dataset drawn from nearly three decades of enterprise CRM deployments. It ships as an option in Salesforce's Agentforce platform, pitched as an open-weight alternative that uses fewer tokens and never ingests customer data.
blogs.nvidia.com·2 hours ago
Matrix rain wrapper animates Claude CLI while it works
A Reddit user built a wrapper that renders Matrix-style digital rain in the terminal while the Claude CLI agent is busy. Run it as "matrix claude" with normal Claude parameters; source is on GitHub under Apache 2.0.
r/ClaudeAI·2 hours ago
YuE2 Hum-to-Song adapter ships with ComfyUI nodes
Community developer MotherSuperior released version 1 of a "Humsong" adapter that turns humming into full songs on top of YuE2. The release includes official ComfyUI nodes authored by the developer, with CLI scripts available in the Hugging Face repo.
r/StableDiffusion·2 hours ago
