In case people are curious this proof indicates that AI has strictly worse prognosis for cybersecurity than deterministic programming.
Mallory Moore
"A new proof shows that a fixed set of guardrails placed on AI is not universally robust against adaptive adversarial prompts"
www.nist.gov/news-events/...
Adolfo Neto
« You can’t escape Gödel in math, and in AI, you […] can’t patch an [LLM] and then expect to be OK forever. You have to [constantly] search for weaknesses […] The goal is [to] make it financially prohibitive for attackers to […] break your AI system. [T]hat’s the cost of even partial security […] »
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.
