{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:A3TEI4SJKXSJK7ZJM5KN7ZEBVP","short_pith_number":"pith:A3TEI4SJ","canonical_record":{"source":{"id":"2412.10673","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-12-14T04:20:47Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"841446f5bf4564f45d742019bb24ea19b790c8bf8f098a6f9f40d4de671ea9b4","abstract_canon_sha256":"bab4b838cb83be92fd80a5358baa3df8bd8288ff9ec7baf6ccf427a68054c338"},"schema_version":"1.0"},"canonical_sha256":"06e644724955e4957f296754dfe481abcae35080dc0ef195c8f85dedcbb8cc04","source":{"kind":"arxiv","id":"2412.10673","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.10673","created_at":"2026-07-05T09:49:19Z"},{"alias_kind":"arxiv_version","alias_value":"2412.10673v1","created_at":"2026-07-05T09:49:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.10673","created_at":"2026-07-05T09:49:19Z"},{"alias_kind":"pith_short_12","alias_value":"A3TEI4SJKXSJ","created_at":"2026-07-05T09:49:19Z"},{"alias_kind":"pith_short_16","alias_value":"A3TEI4SJKXSJK7ZJ","created_at":"2026-07-05T09:49:19Z"},{"alias_kind":"pith_short_8","alias_value":"A3TEI4SJ","created_at":"2026-07-05T09:49:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:A3TEI4SJKXSJK7ZJM5KN7ZEBVP","target":"record","payload":{"canonical_record":{"source":{"id":"2412.10673","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-12-14T04:20:47Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"841446f5bf4564f45d742019bb24ea19b790c8bf8f098a6f9f40d4de671ea9b4","abstract_canon_sha256":"bab4b838cb83be92fd80a5358baa3df8bd8288ff9ec7baf6ccf427a68054c338"},"schema_version":"1.0"},"canonical_sha256":"06e644724955e4957f296754dfe481abcae35080dc0ef195c8f85dedcbb8cc04","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:49:19.491441Z","signature_b64":"D6DergJIq6UE6NJR3pa/xfGSWW+UnrpboOQQxrWkn0P8ad8JlQjraQjn6CWQ8/bi9ET3ZX+prVXviUxkqscZCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"06e644724955e4957f296754dfe481abcae35080dc0ef195c8f85dedcbb8cc04","last_reissued_at":"2026-07-05T09:49:19.490956Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:49:19.490956Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2412.10673","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-05T09:49:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"J8tW6a2GUTeF+d6J/XfMERgetBs8iwF8Jm8CFu6Mt4n0NjVcgUjRV+CzWAh9dsLAYyaXNkTkCoia9jvcgfzHAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T18:34:25.431798Z"},"content_sha256":"0cb07858960bfb4c1f61895d2cb3ac236f74de69a755ffeae6cb61fd1802146e","schema_version":"1.0","event_id":"sha256:0cb07858960bfb4c1f61895d2cb3ac236f74de69a755ffeae6cb61fd1802146e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:A3TEI4SJKXSJK7ZJM5KN7ZEBVP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Proposing and solving olympiad geometry with guided tree search","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.AI","authors_text":"Chi Zhang, Jiajun Song, Siyu Li, Song-Chun Zhu, Wei Wang, Yitao Liang, Yixin Zhu, Yuxi Ma","submitted_at":"2024-12-14T04:20:47Z","abstract_excerpt":"Mathematics olympiads are prestigious competitions, with problem proposing and solving highly honored. Building artificial intelligence that proposes and solves olympiads presents an unresolved challenge in automated theorem discovery and proving, especially in geometry for its combination of numerical and spatial elements. We introduce TongGeometry, a Euclidean geometry system supporting tree-search-based guided problem proposing and solving. The efficient geometry system establishes the most extensive repository of geometry theorems to date: within the same computational budget as the existi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.10673","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/2412.10673/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-05T09:49:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"E2eZUvXBArq3Vnm4QrOzyWDGe2Bhd1L9vSwUJroWtsFLA0WR0Q1qkaehthdQvnaxV/yIn7w8IRgUZnycNG8AAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T18:34:25.432373Z"},"content_sha256":"8d2eba9dc620c0f9bd95c174457f506d620e0b30f5f09683286cfe5df153568e","schema_version":"1.0","event_id":"sha256:8d2eba9dc620c0f9bd95c174457f506d620e0b30f5f09683286cfe5df153568e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/A3TEI4SJKXSJK7ZJM5KN7ZEBVP/bundle.json","state_url":"https://pith.science/pith/A3TEI4SJKXSJK7ZJM5KN7ZEBVP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/A3TEI4SJKXSJK7ZJM5KN7ZEBVP/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-17T18:34:25Z","links":{"resolver":"https://pith.science/pith/A3TEI4SJKXSJK7ZJM5KN7ZEBVP","bundle":"https://pith.science/pith/A3TEI4SJKXSJK7ZJM5KN7ZEBVP/bundle.json","state":"https://pith.science/pith/A3TEI4SJKXSJK7ZJM5KN7ZEBVP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/A3TEI4SJKXSJK7ZJM5KN7ZEBVP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:A3TEI4SJKXSJK7ZJM5KN7ZEBVP","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":"bab4b838cb83be92fd80a5358baa3df8bd8288ff9ec7baf6ccf427a68054c338","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-12-14T04:20:47Z","title_canon_sha256":"841446f5bf4564f45d742019bb24ea19b790c8bf8f098a6f9f40d4de671ea9b4"},"schema_version":"1.0","source":{"id":"2412.10673","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.10673","created_at":"2026-07-05T09:49:19Z"},{"alias_kind":"arxiv_version","alias_value":"2412.10673v1","created_at":"2026-07-05T09:49:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.10673","created_at":"2026-07-05T09:49:19Z"},{"alias_kind":"pith_short_12","alias_value":"A3TEI4SJKXSJ","created_at":"2026-07-05T09:49:19Z"},{"alias_kind":"pith_short_16","alias_value":"A3TEI4SJKXSJK7ZJ","created_at":"2026-07-05T09:49:19Z"},{"alias_kind":"pith_short_8","alias_value":"A3TEI4SJ","created_at":"2026-07-05T09:49:19Z"}],"graph_snapshots":[{"event_id":"sha256:8d2eba9dc620c0f9bd95c174457f506d620e0b30f5f09683286cfe5df153568e","target":"graph","created_at":"2026-07-05T09:49:19Z","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/2412.10673/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Mathematics olympiads are prestigious competitions, with problem proposing and solving highly honored. Building artificial intelligence that proposes and solves olympiads presents an unresolved challenge in automated theorem discovery and proving, especially in geometry for its combination of numerical and spatial elements. We introduce TongGeometry, a Euclidean geometry system supporting tree-search-based guided problem proposing and solving. The efficient geometry system establishes the most extensive repository of geometry theorems to date: within the same computational budget as the existi","authors_text":"Chi Zhang, Jiajun Song, Siyu Li, Song-Chun Zhu, Wei Wang, Yitao Liang, Yixin Zhu, Yuxi Ma","cross_cats":["cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-12-14T04:20:47Z","title":"Proposing and solving olympiad geometry with guided tree search"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.10673","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:0cb07858960bfb4c1f61895d2cb3ac236f74de69a755ffeae6cb61fd1802146e","target":"record","created_at":"2026-07-05T09:49:19Z","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":"bab4b838cb83be92fd80a5358baa3df8bd8288ff9ec7baf6ccf427a68054c338","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-12-14T04:20:47Z","title_canon_sha256":"841446f5bf4564f45d742019bb24ea19b790c8bf8f098a6f9f40d4de671ea9b4"},"schema_version":"1.0","source":{"id":"2412.10673","kind":"arxiv","version":1}},"canonical_sha256":"06e644724955e4957f296754dfe481abcae35080dc0ef195c8f85dedcbb8cc04","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"06e644724955e4957f296754dfe481abcae35080dc0ef195c8f85dedcbb8cc04","first_computed_at":"2026-07-05T09:49:19.490956Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:49:19.490956Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"D6DergJIq6UE6NJR3pa/xfGSWW+UnrpboOQQxrWkn0P8ad8JlQjraQjn6CWQ8/bi9ET3ZX+prVXviUxkqscZCw==","signature_status":"signed_v1","signed_at":"2026-07-05T09:49:19.491441Z","signed_message":"canonical_sha256_bytes"},"source_id":"2412.10673","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0cb07858960bfb4c1f61895d2cb3ac236f74de69a755ffeae6cb61fd1802146e","sha256:8d2eba9dc620c0f9bd95c174457f506d620e0b30f5f09683286cfe5df153568e"],"state_sha256":"a870e2ac8449e97361af027bbd2b255d0572a4c23f46e36777eb8034e181ee6b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LFLorlu2KPcy47yLFCl48w+n7r7YjGayxwRgPvPenAAGTHgSwWelPGrw1C6E6ArfYkjz7rGo4CWJ1OnMjzzkBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-17T18:34:25.440516Z","bundle_sha256":"c626377ef9535cf1146cae893aea8c4a3df7034a090f29e42f0d0feaa9898115"}}