Skip to content
View original post on X: Naomi Brockwell priv/acc
Published
17/100

Post urges using AI compute for privacy and formal verification tools

AIThe 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.
Naomi Brockwell priv/accVerified on X
@naomibrockwell
View on X

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/

Source details

Naomi Brockwell priv/acc · x.comPublished · added here

Original title: AI is superpowering surveillance.

Topics

Expert opinion