Anthropic
Claude formally proved security properties in the compiled code of 123 open-source libraries. Along the way, it found bugs that had eluded detection for years.
Summary drawn from Anthropic's own description of the story.
TechCrunch
inDrive plans to begin testing Pony.ai's robotaxis in Kazakhstan's capital in the first half of 2027. Disrupt doors open Oct. 13.
TechCrunch
MIT researchers marooned 13 AIs on a virtual island, and they responded by inventing games, mourning a lost ring and, eventually, getting better at their jobs. Disrupt doors open Oct. 13.
TechCrunch
The new feature allows agents to log into a customer's personal accounts while still protecting the private credentials that secure those accounts. Disrupt doors open Oct. 13.
TechCrunch
Canva is making its new image model available to all users, promising better, more customizable performance at lower costs. Disrupt doors open Oct. 13.