All Topics

Technology

Art

NIST scientist uses Gödel's incompleteness theorems to prove AI systems cannot be made fully secure

Chad Boutin

8d ago· 5 min readenNews

Summary

A NIST senior scientist, Apostol Vassilev, has published a peer-reviewed paper in IEEE Security and Privacy using Gödel's incompleteness theorems to prove that AI systems cannot be made completely secure using conventional security models. The mathematical proof demonstrates that AI will always have vulnerabilities that adversaries can exploit, supporting the need for a continuous-monitor-and-update security model rather than attempting to achieve perfect, static security. This extends nearly century-old mathematical logic to modern AI systems.

Source

bskyNIST scientist uses Gödel's incompleteness theorems to prove AI systems cannot be made fully securenist.gov

Key quotes

· 3 pulled

Can we make artificial intelligence impervious to adversaries who want to twist the technology to nefarious ends?

Though AI is among the newest of technologies, the question's answer is nearly a century old.

Try as we might, we can never render AI completely unassailable using conventional security models.

Snippet from the RSS feed

The proof extends to AI the logic used by famed mathematician Kurt Gödel, whose incompleteness theorems have had a profound effect on math for nearly a century.

You might also wanna read

The Imperfect Nature of Mathematical Proof Verification Systems

The article discusses the inherent limitations and potential failures in mathematical proof verification systems, challenging the perception

lawrencecpaulson.github.io·4mo ago

Darwin Godel Machine: Open-Ended Evolution of Self-Improving Agents

arxiv.org·1y ago

Google DeepMind's Aletheia: An Autonomous AI System for Mathematical Research and Proof Generation

Google DeepMind researchers introduce Aletheia, an autonomous mathematics research agent that can generate, verify, and revise mathematical

arxiv.org·4mo ago

Examining the Limitations of Transformer Models and the Gap to Human-Level AI

The article presents a skeptical perspective on claims about imminent Artificial General Intelligence (AGI), arguing that current transforme

dlants.me·4mo ago

Why the Proof of Work Analogy Fails for AI Cybersecurity and Bug Detection

The article argues that the 'proof of work' analogy is flawed when applied to AI cybersecurity, particularly for finding bugs in code. The a

antirez.com·2mo ago

Researchers Warn of Poor Security Practices in AI Development

The article discusses the alarming lack of robust security practices in the development and deployment of artificial intelligence (AI), as h

scworld.com·10mo ago