Hallucination as a Computational Boundary: A Hierarchy of Inevitability and the Oracle Escape

Wang Xi, Quan Shi, Zenghui Ding, Jianqing Gao, Xianjun Yang
8/10/2025
cs.AI

No confident code implementation found for this paper.

Abstract

The illusion phenomenon of large language models (LLMs) is the core obstacle to their reliable deployment. This article formalizes the large language model as a probabilistic Turing machine by constructing a "computational necessity hierarchy", and for the first time proves the illusions are inevitable on diagonalization, incomputability, and information theory boundaries supported by the new "learner pump lemma". However, we propose two "escape routes": one is to model Retrieval Enhanced Generations (RAGs) as oracle machines, proving their absolute escape through "computational jumps", providing the first formal theory for the effectiveness of RAGs; The second is to formalize continuous learning as an "internalized oracle" mechanism and implement this path through a novel neural game theory framework. Finally, this article proposes a feasible new principle for artificial intelligence security - Computational Class Alignment (CCA), which requires strict matching between task complexity and the actual computing power of the system, providing theoretical support for the secure application of artificial intelligence.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

Cite this paper

@article{xi2025hallucination,
  title  = {Hallucination as a Computational Boundary: A Hierarchy of Inevitability and the Oracle Escape},
  author = {Wang Xi and Quan Shi and Zenghui Ding and Jianqing Gao and Xianjun Yang},
  year   = {2025},
  eprint = {2508.07334},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2508.07334v2}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2508.07334.svg)](https://codeofpaper.com/paper/2508.07334)

Discussion