Formal Proof: LLM Hallucinations Are Structural, Not Statistical (Coq Verified)philpapers.org2 pointsICBTheory7 months ago