Post urges using AI compute for privacy and formal verification tools

A social media post on X argues that AI is strengthening surveillance and that defenders should use the same compute to build privacy tools and protect systems.

The post calls formal verification a strong example of privacy-preserving work that improves security, and links to a DeepMind blog post introducing AlphaProof Code. The report records the post's argument only; it does not establish any outcome or adoption of these tools.