Software

Productivity

AI can generate mathematical security proofs for open-source libraries, enhancing software verification and reducing vulnerabilities.

Disruptive • Unknown

Dallas-based investment firm Disruptive raised $10 billion to invest in AI, defense, and software, doubling its assets under management. The firm is pivoting from single-deal SPVs to a discretionary fund structure and plans to back 10 later-stage companies with $1 billion each.

Cybersecurity startup Cathedral used AI agents to breach Anthropic's internal systems through third-party software as part of a bug bounty program. Anthropic confirmed access to sales, HR, and IT data but disputes how deep the breach went, highlighting exposure through external software dependencies.

AI Safety • The Decoder