{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:KMR7MGOR6TX2RQJS5CJHOJ67O4","short_pith_number":"pith:KMR7MGOR","canonical_record":{"source":{"id":"2304.03039","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.DM","submitted_at":"2023-04-06T12:54:38Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"b33cffc826599788d61cc6d31b1d41937692bc4d49fa959604ebfdbe3c01bda5","abstract_canon_sha256":"7ab298d2b1d593dcd2776d35e8d826196d4b5086fff9f749b1ae5ff49a7ea94e"},"schema_version":"1.0"},"canonical_sha256":"5323f619d1f4efa8c132e8927727df773ff28ca2385612d9235d1e1d65fb03b8","source":{"kind":"arxiv","id":"2304.03039","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2304.03039","created_at":"2026-07-05T06:02:09Z"},{"alias_kind":"arxiv_version","alias_value":"2304.03039v3","created_at":"2026-07-05T06:02:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2304.03039","created_at":"2026-07-05T06:02:09Z"},{"alias_kind":"pith_short_12","alias_value":"KMR7MGOR6TX2","created_at":"2026-07-05T06:02:09Z"},{"alias_kind":"pith_short_16","alias_value":"KMR7MGOR6TX2RQJS","created_at":"2026-07-05T06:02:09Z"},{"alias_kind":"pith_short_8","alias_value":"KMR7MGOR","created_at":"2026-07-05T06:02:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:KMR7MGOR6TX2RQJS5CJHOJ67O4","target":"record","payload":{"canonical_record":{"source":{"id":"2304.03039","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.DM","submitted_at":"2023-04-06T12:54:38Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"b33cffc826599788d61cc6d31b1d41937692bc4d49fa959604ebfdbe3c01bda5","abstract_canon_sha256":"7ab298d2b1d593dcd2776d35e8d826196d4b5086fff9f749b1ae5ff49a7ea94e"},"schema_version":"1.0"},"canonical_sha256":"5323f619d1f4efa8c132e8927727df773ff28ca2385612d9235d1e1d65fb03b8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:02:09.488137Z","signature_b64":"Ub3eaeOYNik1nqOYS5qeHtCV4f1B+aBWMRJ4PzqT+NfFKcIa9duYFeBDVOgCfWXGE3PjVFWqYm8RtaDx2ogkDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5323f619d1f4efa8c132e8927727df773ff28ca2385612d9235d1e1d65fb03b8","last_reissued_at":"2026-07-05T06:02:09.487738Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:02:09.487738Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2304.03039","source_version":3,"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-05T06:02:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Yc3hc6MbHcPc8kkoCtleOCXlrAuD0OA/R1ZCrAJAoNTFqRVmtFAwwH+mTBmZF+MjqASjU3qq1Ys2BVEmMKY/Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T17:47:29.363765Z"},"content_sha256":"70a12f76c4d76927ef67793e290bb36294a2f78bb16f754c25516d6628e0dcb3","schema_version":"1.0","event_id":"sha256:70a12f76c4d76927ef67793e290bb36294a2f78bb16f754c25516d6628e0dcb3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:KMR7MGOR6TX2RQJS5CJHOJ67O4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A computation of D(9) using FPGA Supercomputing","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"cs.DM","authors_text":"Christian Plessl, Heinrich Riebler, Jens Goemaere, Lennart Van Hirtum, Michael Lass, Patrick De Causmaecker, Tobias Kenter","submitted_at":"2023-04-06T12:54:38Z","abstract_excerpt":"This preprint makes the claim of having computed the $9^{th}$ Dedekind Number. This was done by building an efficient FPGA Accelerator for the core operation of the process, and parallelizing it on the Noctua 2 Supercluster at Paderborn University. The resulting value is 286386577668298411128469151667598498812366. This value can be verified in two steps. We have made the data file containing the 490M results available, each of which can be verified separately on CPU, and the whole file sums to our proposed value."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2304.03039","kind":"arxiv","version":3},"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.03039/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-05T06:02:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Q2eLlEvfWDtuiMzpUaI/7SXG+I+c2mbfK+ipgaoVSoOoKRfjUYZHbv9TE6PHyO3rmUXwH8DlW/NbiWz43jE5Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T17:47:29.364140Z"},"content_sha256":"2e404315c33892f97995e122a48ce1205d9a4605a39cdae2299fc8c3c1319067","schema_version":"1.0","event_id":"sha256:2e404315c33892f97995e122a48ce1205d9a4605a39cdae2299fc8c3c1319067"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KMR7MGOR6TX2RQJS5CJHOJ67O4/bundle.json","state_url":"https://pith.science/pith/KMR7MGOR6TX2RQJS5CJHOJ67O4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KMR7MGOR6TX2RQJS5CJHOJ67O4/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-07-06T17:47:29Z","links":{"resolver":"https://pith.science/pith/KMR7MGOR6TX2RQJS5CJHOJ67O4","bundle":"https://pith.science/pith/KMR7MGOR6TX2RQJS5CJHOJ67O4/bundle.json","state":"https://pith.science/pith/KMR7MGOR6TX2RQJS5CJHOJ67O4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KMR7MGOR6TX2RQJS5CJHOJ67O4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:KMR7MGOR6TX2RQJS5CJHOJ67O4","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":"7ab298d2b1d593dcd2776d35e8d826196d4b5086fff9f749b1ae5ff49a7ea94e","cross_cats_sorted":["math.CO"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.DM","submitted_at":"2023-04-06T12:54:38Z","title_canon_sha256":"b33cffc826599788d61cc6d31b1d41937692bc4d49fa959604ebfdbe3c01bda5"},"schema_version":"1.0","source":{"id":"2304.03039","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2304.03039","created_at":"2026-07-05T06:02:09Z"},{"alias_kind":"arxiv_version","alias_value":"2304.03039v3","created_at":"2026-07-05T06:02:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2304.03039","created_at":"2026-07-05T06:02:09Z"},{"alias_kind":"pith_short_12","alias_value":"KMR7MGOR6TX2","created_at":"2026-07-05T06:02:09Z"},{"alias_kind":"pith_short_16","alias_value":"KMR7MGOR6TX2RQJS","created_at":"2026-07-05T06:02:09Z"},{"alias_kind":"pith_short_8","alias_value":"KMR7MGOR","created_at":"2026-07-05T06:02:09Z"}],"graph_snapshots":[{"event_id":"sha256:2e404315c33892f97995e122a48ce1205d9a4605a39cdae2299fc8c3c1319067","target":"graph","created_at":"2026-07-05T06:02:09Z","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/2304.03039/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This preprint makes the claim of having computed the $9^{th}$ Dedekind Number. This was done by building an efficient FPGA Accelerator for the core operation of the process, and parallelizing it on the Noctua 2 Supercluster at Paderborn University. The resulting value is 286386577668298411128469151667598498812366. This value can be verified in two steps. We have made the data file containing the 490M results available, each of which can be verified separately on CPU, and the whole file sums to our proposed value.","authors_text":"Christian Plessl, Heinrich Riebler, Jens Goemaere, Lennart Van Hirtum, Michael Lass, Patrick De Causmaecker, Tobias Kenter","cross_cats":["math.CO"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.DM","submitted_at":"2023-04-06T12:54:38Z","title":"A computation of D(9) using FPGA Supercomputing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2304.03039","kind":"arxiv","version":3},"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:70a12f76c4d76927ef67793e290bb36294a2f78bb16f754c25516d6628e0dcb3","target":"record","created_at":"2026-07-05T06:02:09Z","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":"7ab298d2b1d593dcd2776d35e8d826196d4b5086fff9f749b1ae5ff49a7ea94e","cross_cats_sorted":["math.CO"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.DM","submitted_at":"2023-04-06T12:54:38Z","title_canon_sha256":"b33cffc826599788d61cc6d31b1d41937692bc4d49fa959604ebfdbe3c01bda5"},"schema_version":"1.0","source":{"id":"2304.03039","kind":"arxiv","version":3}},"canonical_sha256":"5323f619d1f4efa8c132e8927727df773ff28ca2385612d9235d1e1d65fb03b8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5323f619d1f4efa8c132e8927727df773ff28ca2385612d9235d1e1d65fb03b8","first_computed_at":"2026-07-05T06:02:09.487738Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:02:09.487738Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ub3eaeOYNik1nqOYS5qeHtCV4f1B+aBWMRJ4PzqT+NfFKcIa9duYFeBDVOgCfWXGE3PjVFWqYm8RtaDx2ogkDg==","signature_status":"signed_v1","signed_at":"2026-07-05T06:02:09.488137Z","signed_message":"canonical_sha256_bytes"},"source_id":"2304.03039","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:70a12f76c4d76927ef67793e290bb36294a2f78bb16f754c25516d6628e0dcb3","sha256:2e404315c33892f97995e122a48ce1205d9a4605a39cdae2299fc8c3c1319067"],"state_sha256":"91a84522e3ada5c706ffeb4eecd12d3f0ce65532ae31e76dadc36663c55e1d43"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fcL+l6JR8IxVr/ITbCUquFyuk0EG+sH3Wu2zDUJrQ2au0yAShjNC/kl6shOeoEBOmLYHY1D6NjwQVO2Jr5zVDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T17:47:29.366084Z","bundle_sha256":"8da46e3238d9a6293fd75ca085c17509538935d689166d13a4194f3fecec2f02"}}