{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:ODZU6JB2KK3M3I3NCCUAN6222K","short_pith_number":"pith:ODZU6JB2","canonical_record":{"source":{"id":"2207.04779","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.HO","submitted_at":"2022-07-08T14:42:33Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"bc2898da3865316c7a6d2dbade1d0a1ba98edb048808841fde119c8f6eaf3340","abstract_canon_sha256":"a7fd4de6b91da1f22acef680c63726b81c124b6d99250d3c1718a5a12bfd664f"},"schema_version":"1.0"},"canonical_sha256":"70f34f243a52b6cda36d10a806fb5ad29cead7b6f939df091da2e962dc5d6743","source":{"kind":"arxiv","id":"2207.04779","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2207.04779","created_at":"2026-07-05T07:51:08Z"},{"alias_kind":"arxiv_version","alias_value":"2207.04779v1","created_at":"2026-07-05T07:51:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2207.04779","created_at":"2026-07-05T07:51:08Z"},{"alias_kind":"pith_short_12","alias_value":"ODZU6JB2KK3M","created_at":"2026-07-05T07:51:08Z"},{"alias_kind":"pith_short_16","alias_value":"ODZU6JB2KK3M3I3N","created_at":"2026-07-05T07:51:08Z"},{"alias_kind":"pith_short_8","alias_value":"ODZU6JB2","created_at":"2026-07-05T07:51:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:ODZU6JB2KK3M3I3NCCUAN6222K","target":"record","payload":{"canonical_record":{"source":{"id":"2207.04779","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.HO","submitted_at":"2022-07-08T14:42:33Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"bc2898da3865316c7a6d2dbade1d0a1ba98edb048808841fde119c8f6eaf3340","abstract_canon_sha256":"a7fd4de6b91da1f22acef680c63726b81c124b6d99250d3c1718a5a12bfd664f"},"schema_version":"1.0"},"canonical_sha256":"70f34f243a52b6cda36d10a806fb5ad29cead7b6f939df091da2e962dc5d6743","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:51:08.635661Z","signature_b64":"vRPfgApGBCwEUFT8YE2uppS7QSBhYOmS9276b9bBDKN4y+VPEbnlOHUU1Wcn5AhouzlC6h93WFJ7oYZsjrQCBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"70f34f243a52b6cda36d10a806fb5ad29cead7b6f939df091da2e962dc5d6743","last_reissued_at":"2026-07-05T07:51:08.635198Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:51:08.635198Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2207.04779","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T07:51:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dGRjAVtFJWsyF9hWEU3sNOvs0K6qSbxSSMPtBPhUeEt4ONuSCRuANdykgMkSAwc6V9ux5xAIqjB/1bcSXSgaAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T19:25:13.356938Z"},"content_sha256":"9a58d69bfa3e44ca2bfe072d9cde56357c72987646e97a0ddaf01eb61852f327","schema_version":"1.0","event_id":"sha256:9a58d69bfa3e44ca2bfe072d9cde56357c72987646e97a0ddaf01eb61852f327"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:ODZU6JB2KK3M3I3NCCUAN6222K","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Mathematical Proof Between Generations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.HO","authors_text":"Benedikt Stock, Christoph Benzm\\\"uller, Dierk Schleicher, Efim Zelmanov, Jonas Bayer, Kevin Buzzard, Lawrence Paulson, Leslie Lamport, Marco David, Yuri Matiyasevich","submitted_at":"2022-07-08T14:42:33Z","abstract_excerpt":"A proof is one of the most important concepts of mathematics. However, there is a striking difference between how a proof is defined in theory and how it is used in practice. This puts the unique status of mathematics as exact science into peril. Now may be the time to reconcile theory and practice, i.e. precision and intuition, through the advent of computer proof assistants. For the most time this has been a topic for experts in specialized communities. However, mathematical proofs have become increasingly sophisticated, stretching the boundaries of what is humanly comprehensible, so that le"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2207.04779","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/2207.04779/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T07:51:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1D6pgkuCu0fs2ZIwoikYfXphC0x60VOrDGhO5QwEpyGItMbZSlv5aYHqyGlWSaJ8jgAFZcaNqXbT6e84B9TwBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T19:25:13.357442Z"},"content_sha256":"04ca5fc02d963cd910c8ad04c7c88156a433b9a20d6bcc97e579c9576344da55","schema_version":"1.0","event_id":"sha256:04ca5fc02d963cd910c8ad04c7c88156a433b9a20d6bcc97e579c9576344da55"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ODZU6JB2KK3M3I3NCCUAN6222K/bundle.json","state_url":"https://pith.science/pith/ODZU6JB2KK3M3I3NCCUAN6222K/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ODZU6JB2KK3M3I3NCCUAN6222K/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-03T19:25:13Z","links":{"resolver":"https://pith.science/pith/ODZU6JB2KK3M3I3NCCUAN6222K","bundle":"https://pith.science/pith/ODZU6JB2KK3M3I3NCCUAN6222K/bundle.json","state":"https://pith.science/pith/ODZU6JB2KK3M3I3NCCUAN6222K/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ODZU6JB2KK3M3I3NCCUAN6222K/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:ODZU6JB2KK3M3I3NCCUAN6222K","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":"a7fd4de6b91da1f22acef680c63726b81c124b6d99250d3c1718a5a12bfd664f","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.HO","submitted_at":"2022-07-08T14:42:33Z","title_canon_sha256":"bc2898da3865316c7a6d2dbade1d0a1ba98edb048808841fde119c8f6eaf3340"},"schema_version":"1.0","source":{"id":"2207.04779","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2207.04779","created_at":"2026-07-05T07:51:08Z"},{"alias_kind":"arxiv_version","alias_value":"2207.04779v1","created_at":"2026-07-05T07:51:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2207.04779","created_at":"2026-07-05T07:51:08Z"},{"alias_kind":"pith_short_12","alias_value":"ODZU6JB2KK3M","created_at":"2026-07-05T07:51:08Z"},{"alias_kind":"pith_short_16","alias_value":"ODZU6JB2KK3M3I3N","created_at":"2026-07-05T07:51:08Z"},{"alias_kind":"pith_short_8","alias_value":"ODZU6JB2","created_at":"2026-07-05T07:51:08Z"}],"graph_snapshots":[{"event_id":"sha256:04ca5fc02d963cd910c8ad04c7c88156a433b9a20d6bcc97e579c9576344da55","target":"graph","created_at":"2026-07-05T07:51:08Z","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":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2207.04779/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"A proof is one of the most important concepts of mathematics. However, there is a striking difference between how a proof is defined in theory and how it is used in practice. This puts the unique status of mathematics as exact science into peril. Now may be the time to reconcile theory and practice, i.e. precision and intuition, through the advent of computer proof assistants. For the most time this has been a topic for experts in specialized communities. However, mathematical proofs have become increasingly sophisticated, stretching the boundaries of what is humanly comprehensible, so that le","authors_text":"Benedikt Stock, Christoph Benzm\\\"uller, Dierk Schleicher, Efim Zelmanov, Jonas Bayer, Kevin Buzzard, Lawrence Paulson, Leslie Lamport, Marco David, Yuri Matiyasevich","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.HO","submitted_at":"2022-07-08T14:42:33Z","title":"Mathematical Proof Between Generations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2207.04779","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:9a58d69bfa3e44ca2bfe072d9cde56357c72987646e97a0ddaf01eb61852f327","target":"record","created_at":"2026-07-05T07:51:08Z","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":"a7fd4de6b91da1f22acef680c63726b81c124b6d99250d3c1718a5a12bfd664f","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.HO","submitted_at":"2022-07-08T14:42:33Z","title_canon_sha256":"bc2898da3865316c7a6d2dbade1d0a1ba98edb048808841fde119c8f6eaf3340"},"schema_version":"1.0","source":{"id":"2207.04779","kind":"arxiv","version":1}},"canonical_sha256":"70f34f243a52b6cda36d10a806fb5ad29cead7b6f939df091da2e962dc5d6743","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"70f34f243a52b6cda36d10a806fb5ad29cead7b6f939df091da2e962dc5d6743","first_computed_at":"2026-07-05T07:51:08.635198Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:51:08.635198Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vRPfgApGBCwEUFT8YE2uppS7QSBhYOmS9276b9bBDKN4y+VPEbnlOHUU1Wcn5AhouzlC6h93WFJ7oYZsjrQCBg==","signature_status":"signed_v1","signed_at":"2026-07-05T07:51:08.635661Z","signed_message":"canonical_sha256_bytes"},"source_id":"2207.04779","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9a58d69bfa3e44ca2bfe072d9cde56357c72987646e97a0ddaf01eb61852f327","sha256:04ca5fc02d963cd910c8ad04c7c88156a433b9a20d6bcc97e579c9576344da55"],"state_sha256":"93b227da6a7ffe920ca2c03a3b73f5df7341ecd3865e45b838b9fa2e7e374641"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"apEtEHQUP0xrwgT6g/ahi32kwIPOoAWAszt1Gcn0VLN4QESVg1msPUIYmdh9mQaG9JqDGaF8iigrnZwnenGnCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T19:25:13.361690Z","bundle_sha256":"e0c4487055bd869ee7a6ba76f63bf256a91c1a5eab44cb7efee6e4919a7c214c"}}