{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:PA3MCOFJRIH3GPJFL5NYGDNS46","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"248c375cbb4fd5f2746f4d1b73399ec0426c9050dc6345ed0f1bc46fbd9b1bf4","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-01-22T10:26:14Z","title_canon_sha256":"0a5982e2771b534222c546140a26a6e14601bed245b6e35d3b5a1fcd4f37b4cc"},"schema_version":"1.0","source":{"id":"2401.11817","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.11817","created_at":"2026-05-17T23:38:50Z"},{"alias_kind":"arxiv_version","alias_value":"2401.11817v2","created_at":"2026-05-17T23:38:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.11817","created_at":"2026-05-17T23:38:50Z"},{"alias_kind":"pith_short_12","alias_value":"PA3MCOFJRIH3","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"PA3MCOFJRIH3GPJF","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"PA3MCOFJ","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:16f52d42e6ba7de2218b07023bbf19a9939ca7591bee24c2127a2bc796dc946a","target":"graph","created_at":"2026-05-17T23:38:50Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"we show that LLMs cannot learn all the computable functions and will therefore inevitably hallucinate if used as general problem solvers"},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The formal computable world is representative enough of the real world that the impossibility result carries over directly to practical LLMs."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Hallucinations are inevitable in LLMs because they cannot learn all computable functions according to learning theory."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"LLMs cannot learn all computable functions and will therefore inevitably hallucinate when used as general problem solvers."}],"snapshot_sha256":"106efa8013cf6b7b68909c71c131edd857bfa80a47e3f3757a9c449b3609016f"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Hallucination has been widely recognized to be a significant drawback for large language models (LLMs). There have been many works that attempt to reduce the extent of hallucination. These efforts have mostly been empirical so far, which cannot answer the fundamental question whether it can be completely eliminated. In this paper, we formalize the problem and show that it is impossible to eliminate hallucination in LLMs. Specifically, we define a formal world where hallucination is defined as inconsistencies between a computable LLM and a computable ground truth function. By employing results ","authors_text":"Mohan Kankanhalli, Sanjay Jain, Ziwei Xu","cross_cats":["cs.AI","cs.LG"],"headline":"LLMs cannot learn all computable functions and will therefore inevitably hallucinate when used as general problem solvers.","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-01-22T10:26:14Z","title":"Hallucination is Inevitable: An Innate Limitation of Large Language Models"},"references":{"count":89,"internal_anchors":10,"resolved_work":89,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"Characterizing Attribution and Fluency Tradeoffs for Retrieval-Augmented Large Language Models","work_id":"3b32e10b-3701-437c-a4c0-7fbb105ee433","year":2023},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"Computational Complexity - A Modern Approach","work_id":"888d817a-da41-4ec9-85a9-5d89879d4a1c","year":2009},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"On the prediction of General Recursive Functions","work_id":"1aeaaba0-fc61-4e22-b67d-fda9563709e9","year":1972},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"Learning families of algebraic structures from informant","work_id":"9e90b2a5-4c25-429d-9d93-12491b8caa33","year":2020},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"Airline held liable for its chatbot giving passenger bad advice -- what this means for travellers, February 2024","work_id":"fa7b7ba5-db49-49a5-b623-9109f6c71101","year":2024}],"snapshot_sha256":"f80b2183ac7614a45ffbae74f7dc9fc629125114e82d2487c487cabdf250b89f"},"source":{"id":"2401.11817","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-15T20:34:45.866926Z","id":"02ce53cb-c065-4361-b697-200316f95816","model_set":{"reader":"grok-4.3"},"one_line_summary":"Hallucinations are inevitable in LLMs because they cannot learn all computable functions according to learning theory.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"LLMs cannot learn all computable functions and will therefore inevitably hallucinate when used as general problem solvers.","strongest_claim":"we show that LLMs cannot learn all the computable functions and will therefore inevitably hallucinate if used as general problem solvers","weakest_assumption":"The formal computable world is representative enough of the real world that the impossibility result carries over directly to practical LLMs."}},"verdict_id":"02ce53cb-c065-4361-b697-200316f95816"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:bb43d7123e64071c724cdf38fb19e8a44f5be339033f2e1e052eb01498e5bfe3","target":"record","created_at":"2026-05-17T23:38:50Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"248c375cbb4fd5f2746f4d1b73399ec0426c9050dc6345ed0f1bc46fbd9b1bf4","cross_cats_sorted":["cs.AI","cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2024-01-22T10:26:14Z","title_canon_sha256":"0a5982e2771b534222c546140a26a6e14601bed245b6e35d3b5a1fcd4f37b4cc"},"schema_version":"1.0","source":{"id":"2401.11817","kind":"arxiv","version":2}},"canonical_sha256":"7836c138a98a0fb33d255f5b830db2e78729ce4a796224c35216fc6cb736bb6e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7836c138a98a0fb33d255f5b830db2e78729ce4a796224c35216fc6cb736bb6e","first_computed_at":"2026-05-17T23:38:50.232845Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:38:50.232845Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SJBJdktNL2/o1z+lZpdYBK+dZhteKP/trAKUrKlcwRlKyvyP54DmH3eBXE5eAqGNQF0K0I19armgFlVon0wNAQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:38:50.233404Z","signed_message":"canonical_sha256_bytes"},"source_id":"2401.11817","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bb43d7123e64071c724cdf38fb19e8a44f5be339033f2e1e052eb01498e5bfe3","sha256:16f52d42e6ba7de2218b07023bbf19a9939ca7591bee24c2127a2bc796dc946a"],"state_sha256":"ee638ea959af761baa953d6aec504aceff5855a08bbcbe2972cecb7db585879c"}