{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:WLYWF7HC2LGDOVUWBURW3QZBHL","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":"70c45837c6a6e1dc1655454e0bd66d4df6111827e280a93bcbdcf86e3130380e","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-12-10T21:44:10Z","title_canon_sha256":"ec29d7f1938e3743fd1632f692552b22de93be8d079dfdefc89d28d049b26deb"},"schema_version":"1.0","source":{"id":"2512.10100","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2512.10100","created_at":"2026-05-20T00:01:37Z"},{"alias_kind":"arxiv_version","alias_value":"2512.10100v2","created_at":"2026-05-20T00:01:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2512.10100","created_at":"2026-05-20T00:01:37Z"},{"alias_kind":"pith_short_12","alias_value":"WLYWF7HC2LGD","created_at":"2026-05-20T00:01:37Z"},{"alias_kind":"pith_short_16","alias_value":"WLYWF7HC2LGDOVUW","created_at":"2026-05-20T00:01:37Z"},{"alias_kind":"pith_short_8","alias_value":"WLYWF7HC","created_at":"2026-05-20T00:01:37Z"}],"graph_snapshots":[{"event_id":"sha256:f3bf1ecd56a8b58c7d587e4a8f2e57d7ae8d0d79465a690de3f147b16aaea389","target":"graph","created_at":"2026-05-20T00:01:37Z","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":"This manuscript establishes information-theoretic limitations for robustness of AI security and alignment by extending Gödel's incompleteness theorem to AI."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"That AI systems can be modeled as formal axiomatic systems in a manner that allows direct application of Gödel's incompleteness results to their security and alignment properties."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"AI security and alignment cannot achieve full robustness because any sufficiently powerful AI inherits incompleteness-style limitations from formal systems."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Extending Gödel's incompleteness theorem establishes fundamental information-theoretic limits on the robustness of AI security and alignment."}],"snapshot_sha256":"3b39fe5293449b28143e6e23a70c05c54a0cdf903e028ecc7b4d0a17acf865ec"},"formal_canon":{"evidence_count":2,"snapshot_sha256":"f7f88bad61dce93bf41c51606f512bb7d73ffd198f79916c1760ae773b545954"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2512.10100/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This manuscript establishes information-theoretic limitations for robustness of AI security and alignment by extending G\\\"odel's incompleteness theorem to AI. Knowing these limitations and preparing for the challenges they bring is critically important for the responsible adoption of the AI technology. Practical approaches to dealing with these challenges are provided as well. Broader implications for cognitive reasoning limitations of AI systems are also proven.","authors_text":"Apostol Vassilev","cross_cats":[],"headline":"Extending Gödel's incompleteness theorem establishes fundamental information-theoretic limits on the robustness of AI security and alignment.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-12-10T21:44:10Z","title":"Robust AI Security and Alignment: A Sisyphean Endeavor?"},"references":{"count":12,"internal_anchors":2,"resolved_work":12,"sample":[{"cited_arxiv_id":"","doi":"10.1145/321832.321839","is_internal_anchor":false,"ref_index":1,"title":"doi: 10.1145/321832.321839","work_id":"2519e96b-7e42-4896-a8e9-e56823505e38","year":2022},{"cited_arxiv_id":"","doi":"10.48550/arxiv.2210.14707","is_internal_anchor":false,"ref_index":2,"title":"doi: 10.48550/ARXIV.2210.14707. D. Glukhov, I. Shumailov, Y. Gal, N. Papernot, and V. Papyan. LLM censorship: A machine learning challenge or a computer security problem?,","work_id":"74eb20f7-8b84-4e8d-a88f-e9efa1a3ce32","year":null},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"URLhttps://arxiv.org/abs/2307.10719. S. Goldwasser, M. P. Kim, V. Vaikuntanathan, and O. Zamir. Planting undetectable backdoors in machine learning models.https://arxiv.org/abs/2204.06974,","work_id":"dcdb54eb-a786-4bbc-bc77-3183945d2d28","year":null},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"ArtPrompt: ASCII Art-based Jailbreak Attacks against Aligned LLMs","work_id":"ed0bc108-8922-448f-a2b4-2fe0bd882cda","year":null},{"cited_arxiv_id":"2509.04664","doi":"","is_internal_anchor":true,"ref_index":5,"title":"Why Language Models Hallucinate","work_id":"6bfb3eed-1270-492c-8fbe-a5671f3f779c","year":null}],"snapshot_sha256":"296f7161558b9da1f4397c436f51b6ad4c5b7afb50ecdc4023c59a6038dff51a"},"source":{"id":"2512.10100","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-16T22:55:23.266863Z","id":"92a2d1e5-b47e-4141-8abf-6078ac7d381d","model_set":{"reader":"grok-4.3"},"one_line_summary":"AI security and alignment cannot achieve full robustness because any sufficiently powerful AI inherits incompleteness-style limitations from formal systems.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Extending Gödel's incompleteness theorem establishes fundamental information-theoretic limits on the robustness of AI security and alignment.","strongest_claim":"This manuscript establishes information-theoretic limitations for robustness of AI security and alignment by extending Gödel's incompleteness theorem to AI.","weakest_assumption":"That AI systems can be modeled as formal axiomatic systems in a manner that allows direct application of Gödel's incompleteness results to their security and alignment properties."}},"verdict_id":"92a2d1e5-b47e-4141-8abf-6078ac7d381d"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:5efd1dd78a6f12c23fad204af88700e3f0cd78768922810c5e947b00e0224a36","target":"record","created_at":"2026-05-20T00:01:37Z","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":"70c45837c6a6e1dc1655454e0bd66d4df6111827e280a93bcbdcf86e3130380e","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-12-10T21:44:10Z","title_canon_sha256":"ec29d7f1938e3743fd1632f692552b22de93be8d079dfdefc89d28d049b26deb"},"schema_version":"1.0","source":{"id":"2512.10100","kind":"arxiv","version":2}},"canonical_sha256":"b2f162fce2d2cc3756960d236dc3213ae65fbd30a087e068b8be2fa127f8868c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b2f162fce2d2cc3756960d236dc3213ae65fbd30a087e068b8be2fa127f8868c","first_computed_at":"2026-05-20T00:01:37.655089Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T00:01:37.655089Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jkh+AuUBZqqf8lmuHcHtbuAs7jXfHG4u7XOaqf4MKRLdKSD4/+TrDXe1oWM1iemLgI2k0fh4sqExqdPn3+qtDw==","signature_status":"signed_v1","signed_at":"2026-05-20T00:01:37.655981Z","signed_message":"canonical_sha256_bytes"},"source_id":"2512.10100","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5efd1dd78a6f12c23fad204af88700e3f0cd78768922810c5e947b00e0224a36","sha256:f3bf1ecd56a8b58c7d587e4a8f2e57d7ae8d0d79465a690de3f147b16aaea389"],"state_sha256":"133c37b1d3828a632dfe52cfb66f74dbd8b62bd7c787166b79f1120259046c56"}