Algorithmic Unverifiability of Safety for Fixed and Recursively Self-Improving Systems.

arXiv:2606.28639v4 Announce Type: replace-cross Abstract: Existing impossibility results for AI verification concern a fixed system. Self-modifying systems (agents that rewrite their own code, recursive self-improvement loops) raise a different question: can a