Research & Papers

New AI framework reframes hallucination as unsupported canonicalization

Hai Hai Fu's 29-page paper classifies AI non-determinism into epistemic and structural types

Deep Dive

A new formal paper by Hai Hai Fu, posted on arXiv (2608.07476) on April 27, 2026, presents a unified framework for “determinization” in structure theories—mathematical systems defined as triples T = (Σ, A, I) of signature, axioms, and inference policy. The work distinguishes three levels of canonicalization: closure stabilization (per-seed convergence), global completion (seed-independent convergence), and full determinization (a unique admissible interpretation). It also classifies non-determinism into epistemic plurality (Type E) and structural plurality (Type S), with a refined Type S-strong subclass defined by the absence of common upper bounds.

The paper proposes two canonicalization mechanisms: operator-based completion and selector-based construction. It proves that pure inference-based completion reduces to a saturated closure operator under positive, non-retractive rules with an additional soundness condition. For Type E theories, closure stabilization is established, but full determinization depends on a global confluence property that remains open. For Type S-strong theories, determinization is achieved via canonical selection. The author further shows that multi-level canonicalization forms a structurally non-commutative system via staged operators, and provides a conditional classification theorem reducing intrinsic mechanisms to closure or selection. Notably, the framework is applied to LLM-assisted reasoning, where hallucination is interpreted as unsupported canonicalization—a perspective that could inform future robustness techniques for AI systems.

Key Points
  • Defines structure theories as triples of signature, axioms, and inference policy with three canonicalization levels
  • Classifies non-determinism into Type E (epistemic) and Type S (structural), including a Type S-strong subclass
  • Applies the framework to LLM reasoning, framing hallucination as unsupported canonicalization

Why It Matters

Provides a formal vocabulary for AI non-determinism, potentially guiding more reliable LLM reasoning and hallucination mitigation strategies.

📬 Get the top 10 AI stories daily