# Post urges using AI compute for privacy and formal verification tools

> Original title: AI is superpowering surveillance.

- Source: X search: AI launch posts (introducing, just launched)
- Published: 2026-11-10T18:08:10.000Z
- Bad Influence: https://badinfluence.news/items/xyzsce9g2lolvod81nruj9si3
- Original: https://x.com/naomibrockwell/status/2120216962185990278

## Summary

The post argues that AI is superpowering surveillance and that defenders must use the same compute to build privacy tools and protect systems. It calls formal verification a strong use of privacy-preserving work to improve security, and links to a DeepMind blog post introducing AlphaProof Code.

## Post

AI is superpowering surveillance.
We won't win if we don't use the same powerful compute to build privacy tools and protect our systems.

Formal verification is a GREAT use of privacy to improve security and privacy. 🛡️
https://deepmind.google/blog/introducing-alphaproof-code/