Robust AI Security and Alignment: A Sisyphean Endeavor?
Not on the map. Why?
Abstract (arXiv)
This manuscript establishes information-theoretic limitations for robustness of AI security and alignment by extending G"odel's incompleteness theorem to AI. Knowing these limitations and preparing for the challenges they bring is critically important for the responsible adoption of the AI technology. Practical approaches to dealing with these challenges are provided as well. Broader implications for cognitive reasoning limitations of AI systems are also proven.
Key facts. Cited by 3 papers in the map (data through 7 Oct 2026). Builds on 9 of its 25 references that are in the map. First posted on arXiv 10 Dec 2025.
Builds on
9 of 25 references.
References · 9
- 2024Great, Now Write an Article About That: The Crescendo Multi-Turn LLM Jailbreak Attackcited by 364
- 2024ArtPrompt: ASCII Art-based Jailbreak Attacks against Aligned LLMscited by 197
- 2023Fundamental Limitations of Alignment in Large Language Modelscited by 152
- 2022Is Out-of-Distribution Detection Learnable?cited by 109
- 2023Watermarks in the Sand: Impossibility of Strong Watermarking for Generative Modelscited by 77
- 2022Planting Undetectable Backdoors in Machine Learning Modelscited by 55
- 2023LLM Censorship: A Machine Learning Challenge or a Computer Security Problem?cited by 47
- 2025Security Challenges in AI Agent Deployment: Insights from a Large Scale Public Competitioncited by 22
- 2025On the Fundamental Impossibility of Hallucination Control in Large Language Modelscited by 6
Built on by
Citing papers per year: 2025: 1; 2026: 2.
3 papers.
- 2026Incompleteness of AI Safety Verification via Kolmogorov Complexitycited by 2
- 2025Dual Computational Horizons: Incompleteness and Unpredictability in Intelligent Systemscited by 0
- 2026If Agents Were Angels, No Governance Would Be Necessary: Out-of-Band Policy Enforcement at a Trusted Tool Boundarycited by 0
- 2026If Agents Were Angels, No Governance Would Be Necessary: Out-of-Band Policy Enforcement at a Trusted Tool Boundary27 Aug 2026
- 2026Incompleteness of AI Safety Verification via Kolmogorov Complexity6 Apr 2026
- 2025Dual Computational Horizons: Incompleteness and Unpredictability in Intelligent Systems18 Dec 2025