{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:22VX5EYWODUHHZ5L54VO7HM6ZI","short_pith_number":"pith:22VX5EYW","schema_version":"1.0","canonical_sha256":"d6ab7e931670e873e7abef2aef9d9eca087ea88ff59498deee7f1ca6b5922c2f","source":{"kind":"arxiv","id":"2304.04123","version":1},"attestation_state":"computed","paper":{"title":"Nuclear Arms Control Verification and Lessons for AI Treaties","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["physics.soc-ph"],"primary_cat":"cs.CY","authors_text":"Mauricio Baker","submitted_at":"2023-04-08T23:05:24Z","abstract_excerpt":"Security risks from AI have motivated calls for international agreements that guardrail the technology. However, even if states could agree on what rules to set on AI, the problem of verifying compliance might make these agreements infeasible. To help clarify the difficulty of verifying agreements on AI$\\unicode{x2013}$and identify actions that might reduce this difficulty$\\unicode{x2013}$this report examines the case study of verification in nuclear arms control. We review the implementation, track records, and politics of verification across three types of nuclear arms control agreements. Th"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2304.04123","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CY","submitted_at":"2023-04-08T23:05:24Z","cross_cats_sorted":["physics.soc-ph"],"title_canon_sha256":"4bff24ed001e7ba05f536db83fc201a250d9ddd2c13d9b61c12206395c75af8b","abstract_canon_sha256":"c3092c2cb29263e2a4d58802841b77589e6480b0359e216155925a0c16411ee7"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:59:11.624933Z","signature_b64":"lswttQr08ZlxkIGOyQ2FdzmYXImx1FPtruFotiaPaKn3C2zWLJNpBZzf8qHev66ZT9ZHkdfrHVKIq4Wue0CSAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d6ab7e931670e873e7abef2aef9d9eca087ea88ff59498deee7f1ca6b5922c2f","last_reissued_at":"2026-07-05T05:59:11.624439Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:59:11.624439Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Nuclear Arms Control Verification and Lessons for AI Treaties","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["physics.soc-ph"],"primary_cat":"cs.CY","authors_text":"Mauricio Baker","submitted_at":"2023-04-08T23:05:24Z","abstract_excerpt":"Security risks from AI have motivated calls for international agreements that guardrail the technology. However, even if states could agree on what rules to set on AI, the problem of verifying compliance might make these agreements infeasible. To help clarify the difficulty of verifying agreements on AI$\\unicode{x2013}$and identify actions that might reduce this difficulty$\\unicode{x2013}$this report examines the case study of verification in nuclear arms control. We review the implementation, track records, and politics of verification across three types of nuclear arms control agreements. Th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2304.04123","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2304.04123/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2304.04123","created_at":"2026-07-05T05:59:11.624502+00:00"},{"alias_kind":"arxiv_version","alias_value":"2304.04123v1","created_at":"2026-07-05T05:59:11.624502+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2304.04123","created_at":"2026-07-05T05:59:11.624502+00:00"},{"alias_kind":"pith_short_12","alias_value":"22VX5EYWODUH","created_at":"2026-07-05T05:59:11.624502+00:00"},{"alias_kind":"pith_short_16","alias_value":"22VX5EYWODUHHZ5L","created_at":"2026-07-05T05:59:11.624502+00:00"},{"alias_kind":"pith_short_8","alias_value":"22VX5EYW","created_at":"2026-07-05T05:59:11.624502+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2604.04712","citing_title":"Hardware-Level Governance of AI Compute: A Feasibility Taxonomy for Regulatory Compliance and Treaty Verification","ref_index":5,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/22VX5EYWODUHHZ5L54VO7HM6ZI","json":"https://pith.science/pith/22VX5EYWODUHHZ5L54VO7HM6ZI.json","graph_json":"https://pith.science/api/pith-number/22VX5EYWODUHHZ5L54VO7HM6ZI/graph.json","events_json":"https://pith.science/api/pith-number/22VX5EYWODUHHZ5L54VO7HM6ZI/events.json","paper":"https://pith.science/paper/22VX5EYW"},"agent_actions":{"view_html":"https://pith.science/pith/22VX5EYWODUHHZ5L54VO7HM6ZI","download_json":"https://pith.science/pith/22VX5EYWODUHHZ5L54VO7HM6ZI.json","view_paper":"https://pith.science/paper/22VX5EYW","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2304.04123&json=true","fetch_graph":"https://pith.science/api/pith-number/22VX5EYWODUHHZ5L54VO7HM6ZI/graph.json","fetch_events":"https://pith.science/api/pith-number/22VX5EYWODUHHZ5L54VO7HM6ZI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/22VX5EYWODUHHZ5L54VO7HM6ZI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/22VX5EYWODUHHZ5L54VO7HM6ZI/action/storage_attestation","attest_author":"https://pith.science/pith/22VX5EYWODUHHZ5L54VO7HM6ZI/action/author_attestation","sign_citation":"https://pith.science/pith/22VX5EYWODUHHZ5L54VO7HM6ZI/action/citation_signature","submit_replication":"https://pith.science/pith/22VX5EYWODUHHZ5L54VO7HM6ZI/action/replication_record"}},"created_at":"2026-07-05T05:59:11.624502+00:00","updated_at":"2026-07-05T05:59:11.624502+00:00"}