{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:37YM4OHVFFRYSIFTYS4MPV2DUV","short_pith_number":"pith:37YM4OHV","canonical_record":{"source":{"id":"1612.05766","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2016-12-17T13:51:17Z","cross_cats_sorted":[],"title_canon_sha256":"0b65ee27ee77975631c916369827de278533d4249463b33987eb662e957732b1","abstract_canon_sha256":"c7bcb326cc08cb84ebebd5c794f3d425b3cdd959acade3a9c14e937035dd64cb"},"schema_version":"1.0"},"canonical_sha256":"dff0ce38f529638920b3c4b8c7d743a559c1c7c6b2931b60d70d43b35a55aa6e","source":{"kind":"arxiv","id":"1612.05766","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.05766","created_at":"2026-05-18T00:54:46Z"},{"alias_kind":"arxiv_version","alias_value":"1612.05766v1","created_at":"2026-05-18T00:54:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.05766","created_at":"2026-05-18T00:54:46Z"},{"alias_kind":"pith_short_12","alias_value":"37YM4OHVFFRY","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_16","alias_value":"37YM4OHVFFRYSIFT","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_8","alias_value":"37YM4OHV","created_at":"2026-05-18T12:29:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:37YM4OHVFFRYSIFTYS4MPV2DUV","target":"record","payload":{"canonical_record":{"source":{"id":"1612.05766","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2016-12-17T13:51:17Z","cross_cats_sorted":[],"title_canon_sha256":"0b65ee27ee77975631c916369827de278533d4249463b33987eb662e957732b1","abstract_canon_sha256":"c7bcb326cc08cb84ebebd5c794f3d425b3cdd959acade3a9c14e937035dd64cb"},"schema_version":"1.0"},"canonical_sha256":"dff0ce38f529638920b3c4b8c7d743a559c1c7c6b2931b60d70d43b35a55aa6e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:54:46.767024Z","signature_b64":"xzpLwEj/5BPX0ZFYkK7fxyTgkrcBI3XR9Oava+nISbtzmLaLn1NsQOFQF3mDDDVob6evATefHJxeNVimg52VDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dff0ce38f529638920b3c4b8c7d743a559c1c7c6b2931b60d70d43b35a55aa6e","last_reissued_at":"2026-05-18T00:54:46.766605Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:54:46.766605Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1612.05766","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-05-18T00:54:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xHv20UUwWrev+mIUxtjOQVbUySd9MR5/bo2IBwnQ6O3AVcmN8gGyyHpDBYIt1JmgFizeI6XDFvXPXiHyS6TUAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T21:49:25.812754Z"},"content_sha256":"379d68811e39483fa7e4b6e51095b0bb7226d1523bb291421538e6cc53e454a1","schema_version":"1.0","event_id":"sha256:379d68811e39483fa7e4b6e51095b0bb7226d1523bb291421538e6cc53e454a1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:37YM4OHVFFRYSIFTYS4MPV2DUV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Fast Matrix Multiplication and Symbolic Computation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SC","authors_text":"Jean-Guillaume Dumas (CASYS), Victor Pan","submitted_at":"2016-12-17T13:51:17Z","abstract_excerpt":"The complexity of matrix multiplication (hereafter MM) has been intensively studied since 1969, when Strassen surprisingly decreased the exponent 3 in the cubic cost of the straightforward classical MM to log 2 (7) $\\approx$ 2.8074. Applications to some fundamental problems of Linear Algebra and Computer Science have been immediately recognized, but the researchers in Computer Algebra keep discovering more and more applications even today, with no sign of slowdown. We survey the unfinished history of decreasing the exponent towards its information lower bound 2, recall some important technique"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.05766","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":""},"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-05-18T00:54:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3pPZ46rKNdtz4Z1OI7pJpY785/p7guyUctyGzzMtaQ+blUTe9BKuRdsOL6PVPXUCwtn6oixjQ9C47S4pw9WKAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T21:49:25.813163Z"},"content_sha256":"64c91b83ac67ef98343ba5ac4cb76e7babd323a62b2b5a52b39b63326f419c6c","schema_version":"1.0","event_id":"sha256:64c91b83ac67ef98343ba5ac4cb76e7babd323a62b2b5a52b39b63326f419c6c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/37YM4OHVFFRYSIFTYS4MPV2DUV/bundle.json","state_url":"https://pith.science/pith/37YM4OHVFFRYSIFTYS4MPV2DUV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/37YM4OHVFFRYSIFTYS4MPV2DUV/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-06-02T21:49:25Z","links":{"resolver":"https://pith.science/pith/37YM4OHVFFRYSIFTYS4MPV2DUV","bundle":"https://pith.science/pith/37YM4OHVFFRYSIFTYS4MPV2DUV/bundle.json","state":"https://pith.science/pith/37YM4OHVFFRYSIFTYS4MPV2DUV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/37YM4OHVFFRYSIFTYS4MPV2DUV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:37YM4OHVFFRYSIFTYS4MPV2DUV","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":"c7bcb326cc08cb84ebebd5c794f3d425b3cdd959acade3a9c14e937035dd64cb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2016-12-17T13:51:17Z","title_canon_sha256":"0b65ee27ee77975631c916369827de278533d4249463b33987eb662e957732b1"},"schema_version":"1.0","source":{"id":"1612.05766","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.05766","created_at":"2026-05-18T00:54:46Z"},{"alias_kind":"arxiv_version","alias_value":"1612.05766v1","created_at":"2026-05-18T00:54:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.05766","created_at":"2026-05-18T00:54:46Z"},{"alias_kind":"pith_short_12","alias_value":"37YM4OHVFFRY","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_16","alias_value":"37YM4OHVFFRYSIFT","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_8","alias_value":"37YM4OHV","created_at":"2026-05-18T12:29:55Z"}],"graph_snapshots":[{"event_id":"sha256:64c91b83ac67ef98343ba5ac4cb76e7babd323a62b2b5a52b39b63326f419c6c","target":"graph","created_at":"2026-05-18T00:54:46Z","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":"The complexity of matrix multiplication (hereafter MM) has been intensively studied since 1969, when Strassen surprisingly decreased the exponent 3 in the cubic cost of the straightforward classical MM to log 2 (7) $\\approx$ 2.8074. Applications to some fundamental problems of Linear Algebra and Computer Science have been immediately recognized, but the researchers in Computer Algebra keep discovering more and more applications even today, with no sign of slowdown. We survey the unfinished history of decreasing the exponent towards its information lower bound 2, recall some important technique","authors_text":"Jean-Guillaume Dumas (CASYS), Victor Pan","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2016-12-17T13:51:17Z","title":"Fast Matrix Multiplication and Symbolic Computation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.05766","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:379d68811e39483fa7e4b6e51095b0bb7226d1523bb291421538e6cc53e454a1","target":"record","created_at":"2026-05-18T00:54:46Z","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":"c7bcb326cc08cb84ebebd5c794f3d425b3cdd959acade3a9c14e937035dd64cb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2016-12-17T13:51:17Z","title_canon_sha256":"0b65ee27ee77975631c916369827de278533d4249463b33987eb662e957732b1"},"schema_version":"1.0","source":{"id":"1612.05766","kind":"arxiv","version":1}},"canonical_sha256":"dff0ce38f529638920b3c4b8c7d743a559c1c7c6b2931b60d70d43b35a55aa6e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dff0ce38f529638920b3c4b8c7d743a559c1c7c6b2931b60d70d43b35a55aa6e","first_computed_at":"2026-05-18T00:54:46.766605Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:54:46.766605Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xzpLwEj/5BPX0ZFYkK7fxyTgkrcBI3XR9Oava+nISbtzmLaLn1NsQOFQF3mDDDVob6evATefHJxeNVimg52VDA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:54:46.767024Z","signed_message":"canonical_sha256_bytes"},"source_id":"1612.05766","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:379d68811e39483fa7e4b6e51095b0bb7226d1523bb291421538e6cc53e454a1","sha256:64c91b83ac67ef98343ba5ac4cb76e7babd323a62b2b5a52b39b63326f419c6c"],"state_sha256":"ca14eca5f9c581dbd6e21ecd0ec89a0a1f9620528eae3b999e56700b1edb02bc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FukrQnp3A+Yebb366wUw0Vbh6OtAnycb3yJ4lflhhbA8x0s5aPkQLtcx0OAozbaaBhMTHmXWHld7uhXECfxiBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T21:49:25.815068Z","bundle_sha256":"b66b8518043b5ef82e222f8b1c8087cf6ab2efe58867129fe4be0fa86265a598"}}