{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:FRPWR5LPTZZGWG3PA3TZQ3MSFD","short_pith_number":"pith:FRPWR5LP","schema_version":"1.0","canonical_sha256":"2c5f68f56f9e726b1b6f06e7986d9228cbb43c4af51f7dba5b54091129fd7074","source":{"kind":"arxiv","id":"2506.17846","version":1},"attestation_state":"computed","paper":{"title":"Out of Control -- Why Alignment Needs Formal Control Theory (and an Alignment Control Stack)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Elija Perrier","submitted_at":"2025-06-21T22:45:19Z","abstract_excerpt":"This position paper argues that formal optimal control theory should be central to AI alignment research, offering a distinct perspective from prevailing AI safety and security approaches. While recent work in AI safety and mechanistic interpretability has advanced formal methods for alignment, they often fall short of the generalisation required of control frameworks for other technologies. There is also a lack of research into how to render different alignment/control protocols interoperable. We argue that by recasting alignment through principles of formal optimal control and framing alignm"},"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":"2506.17846","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2025-06-21T22:45:19Z","cross_cats_sorted":[],"title_canon_sha256":"3a05bd89b507ddb4ec01fa72d949fa297eb8061e689062dc7e265550f4cbeccb","abstract_canon_sha256":"9c02c437f5b59fbe9608fe3b45fd832a893643d45eba201a821dd80872ec2b9a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:25:24.223080Z","signature_b64":"cSvr6yd6NhrL+QEXsjQK8g0Y03w/yj6eSDHPWx4rWXJI2TRnTUASLtnY8FNzWeRB+oG/bcw3g1bfWfCaDFyDCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2c5f68f56f9e726b1b6f06e7986d9228cbb43c4af51f7dba5b54091129fd7074","last_reissued_at":"2026-07-05T11:25:24.222665Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:25:24.222665Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Out of Control -- Why Alignment Needs Formal Control Theory (and an Alignment Control Stack)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Elija Perrier","submitted_at":"2025-06-21T22:45:19Z","abstract_excerpt":"This position paper argues that formal optimal control theory should be central to AI alignment research, offering a distinct perspective from prevailing AI safety and security approaches. While recent work in AI safety and mechanistic interpretability has advanced formal methods for alignment, they often fall short of the generalisation required of control frameworks for other technologies. There is also a lack of research into how to render different alignment/control protocols interoperable. We argue that by recasting alignment through principles of formal optimal control and framing alignm"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.17846","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/2506.17846/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":"2506.17846","created_at":"2026-07-05T11:25:24.222722+00:00"},{"alias_kind":"arxiv_version","alias_value":"2506.17846v1","created_at":"2026-07-05T11:25:24.222722+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.17846","created_at":"2026-07-05T11:25:24.222722+00:00"},{"alias_kind":"pith_short_12","alias_value":"FRPWR5LPTZZG","created_at":"2026-07-05T11:25:24.222722+00:00"},{"alias_kind":"pith_short_16","alias_value":"FRPWR5LPTZZGWG3P","created_at":"2026-07-05T11:25:24.222722+00:00"},{"alias_kind":"pith_short_8","alias_value":"FRPWR5LP","created_at":"2026-07-05T11:25:24.222722+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2507.05587","citing_title":"Towards Measurement Theory for Artificial Intelligence","ref_index":33,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/FRPWR5LPTZZGWG3PA3TZQ3MSFD","json":"https://pith.science/pith/FRPWR5LPTZZGWG3PA3TZQ3MSFD.json","graph_json":"https://pith.science/api/pith-number/FRPWR5LPTZZGWG3PA3TZQ3MSFD/graph.json","events_json":"https://pith.science/api/pith-number/FRPWR5LPTZZGWG3PA3TZQ3MSFD/events.json","paper":"https://pith.science/paper/FRPWR5LP"},"agent_actions":{"view_html":"https://pith.science/pith/FRPWR5LPTZZGWG3PA3TZQ3MSFD","download_json":"https://pith.science/pith/FRPWR5LPTZZGWG3PA3TZQ3MSFD.json","view_paper":"https://pith.science/paper/FRPWR5LP","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2506.17846&json=true","fetch_graph":"https://pith.science/api/pith-number/FRPWR5LPTZZGWG3PA3TZQ3MSFD/graph.json","fetch_events":"https://pith.science/api/pith-number/FRPWR5LPTZZGWG3PA3TZQ3MSFD/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FRPWR5LPTZZGWG3PA3TZQ3MSFD/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FRPWR5LPTZZGWG3PA3TZQ3MSFD/action/storage_attestation","attest_author":"https://pith.science/pith/FRPWR5LPTZZGWG3PA3TZQ3MSFD/action/author_attestation","sign_citation":"https://pith.science/pith/FRPWR5LPTZZGWG3PA3TZQ3MSFD/action/citation_signature","submit_replication":"https://pith.science/pith/FRPWR5LPTZZGWG3PA3TZQ3MSFD/action/replication_record"}},"created_at":"2026-07-05T11:25:24.222722+00:00","updated_at":"2026-07-05T11:25:24.222722+00:00"}