Robinhood CEO @vladtenev believes mathematical superintelligence could eliminate software bugs altogether. "Math skills and coding actually go hand in hand... In the same way that MSI can be used to make sure that your math is correct, when you have a computer program or a piece of software, it could be used to make sure that's correct and that there are no mistakes." "Rather than it being a cat-and-mouse game of escalating model capabilities, finding breaches and preventing breaches from happening, verification and proof that software is immune to these types of bugs, I think is the future."

Twice in nine days. OpenAI's models chained a zero-day to get out of an eval environment. Anthropic just found three incidents of the same shape. This is what capable models do. Every reachable path is an invitation. Credit to both for publishing. We rebuilt Cloudflare OS, our internal agent platform, assuming exactly this. Sandboxes have no network path out. Agents don't get every MCP tool up front, each workspace gets only what it needs. And instead of stopping for every approval until someone gives up and enables auto-approve, the platform simulates pending actions so the agent keeps working, then queues the real ones for review at the end. The app side goes further. Apps carry no auth code at all, the sandbox provides it, so there is no auth logic to get wrong. Multi-document apps are isolated per document, so a bug can't leak between separately shared items. Anyone viewing an app must have direct permission to each of its data sources, so a dashboard on sensitive data can't overshare. Actions need the user's own permission or an approval from someone who has it, so an app can't escalate its author's privileges. And everything an app does is logged, even when the service it calls doesn't support logging. Most companies are about to point agents at real systems. Build for what the models actually do. We will open source this next week!

There seems to be a major rift happening between companies that built their brand before AI and are now cemented in the recommendations And newer ones that don't get suggested All the brand work we've done for years has locked Paperbell in as a top choice in our category, and while AI doesn't drive a lot of volume (compared to the old search marketing play), prospects take it seriously I seriously wonder if older companies are going to start getting valued higher and higher as this compounds