{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:OL7XNF2QFW5ZCJP32IIR7NI3B7","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":"cead7b9b6eb8ba76787ad9be8695245877b9adc59be24f7ea4c2bbcd5ffb9e2a","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2015-01-09T14:32:24Z","title_canon_sha256":"732235cfb695e5242e1bf85da49c2430b4d4fc15ad73345b02a9e2fb088d4ed5"},"schema_version":"1.0","source":{"id":"1501.02155","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1501.02155","created_at":"2026-05-18T02:29:44Z"},{"alias_kind":"arxiv_version","alias_value":"1501.02155v1","created_at":"2026-05-18T02:29:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1501.02155","created_at":"2026-05-18T02:29:44Z"},{"alias_kind":"pith_short_12","alias_value":"OL7XNF2QFW5Z","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_16","alias_value":"OL7XNF2QFW5ZCJP3","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_8","alias_value":"OL7XNF2Q","created_at":"2026-05-18T12:29:34Z"}],"graph_snapshots":[{"event_id":"sha256:893c5e12ec11f9992e60e62bb069d0fd73c52e2c776477df50fde16db18ee10a","target":"graph","created_at":"2026-05-18T02:29:44Z","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"},"paper":{"abstract_excerpt":"This article describes a formal proof of the Kepler conjecture on dense sphere packings in a combination of the HOL Light and Isabelle proof assistants. This paper constitutes the official published account of the now completed Flyspeck project.","authors_text":"Alexey Solovyev, An Hoai Thi Ta, Cezary Kaliszyk, Dat Tat Dang, Diep Thi Trieu, Gertrud Bauer, Jason Rute, John Harrison, Josef Urban, Joseph Pleso, Ky Khac Vu, Mark Adams, Roland Zumkeller, Sean McLaughlin, Steven Obua, Thang Tat Nguyen, Thomas Hales, Tobias Nipkow, Trung Nam Tran, Truong Le Hoang, Truong Quang Nguyen, Victor Magron","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2015-01-09T14:32:24Z","title":"A formal proof of the Kepler conjecture"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1501.02155","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:62ee3d315fdaa7c08f40736f6a178fd4ebb0cff05f1395cf2438a1458bbde929","target":"record","created_at":"2026-05-18T02:29:44Z","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":"cead7b9b6eb8ba76787ad9be8695245877b9adc59be24f7ea4c2bbcd5ffb9e2a","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.MG","submitted_at":"2015-01-09T14:32:24Z","title_canon_sha256":"732235cfb695e5242e1bf85da49c2430b4d4fc15ad73345b02a9e2fb088d4ed5"},"schema_version":"1.0","source":{"id":"1501.02155","kind":"arxiv","version":1}},"canonical_sha256":"72ff7697502dbb9125fbd2111fb51b0fe0b5e1f85b2126bbc0c9dd7de9cb397f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"72ff7697502dbb9125fbd2111fb51b0fe0b5e1f85b2126bbc0c9dd7de9cb397f","first_computed_at":"2026-05-18T02:29:44.745530Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:29:44.745530Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ToDKXNzMpl0QQCJVtiQNfuvWsKe8992jhVnN3IHYEM99vKkQrdFPTWw0yxsLa2EDJxznBHKr8w8Al0sJxrMDAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:29:44.745945Z","signed_message":"canonical_sha256_bytes"},"source_id":"1501.02155","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:62ee3d315fdaa7c08f40736f6a178fd4ebb0cff05f1395cf2438a1458bbde929","sha256:893c5e12ec11f9992e60e62bb069d0fd73c52e2c776477df50fde16db18ee10a"],"state_sha256":"97350fffed945e0d4b12ec6af705d751efa7977a3f3437d759da302a4b4321da"}