{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:YRRB52D4XAFVLDKTLZQA7VKYQ4","short_pith_number":"pith:YRRB52D4","canonical_record":{"source":{"id":"2310.18021","kind":"arxiv","version":6},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-10-27T09:55:12Z","cross_cats_sorted":[],"title_canon_sha256":"02474cd79ee98b2bdf06483b64854c736ec28bf0ed6426f811ba6eff2077cd46","abstract_canon_sha256":"5fc70991e8914a017622bf10d739a4fc0d0a1a9ecbf0f3ff8fc13e2c3b53783a"},"schema_version":"1.0"},"canonical_sha256":"c4621ee87cb80b558d535e600fd5588733a233f84957c0776edbe0a32f788e2e","source":{"kind":"arxiv","id":"2310.18021","version":6},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2310.18021","created_at":"2026-07-05T07:45:30Z"},{"alias_kind":"arxiv_version","alias_value":"2310.18021v6","created_at":"2026-07-05T07:45:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2310.18021","created_at":"2026-07-05T07:45:30Z"},{"alias_kind":"pith_short_12","alias_value":"YRRB52D4XAFV","created_at":"2026-07-05T07:45:30Z"},{"alias_kind":"pith_short_16","alias_value":"YRRB52D4XAFVLDKT","created_at":"2026-07-05T07:45:30Z"},{"alias_kind":"pith_short_8","alias_value":"YRRB52D4","created_at":"2026-07-05T07:45:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:YRRB52D4XAFVLDKTLZQA7VKYQ4","target":"record","payload":{"canonical_record":{"source":{"id":"2310.18021","kind":"arxiv","version":6},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-10-27T09:55:12Z","cross_cats_sorted":[],"title_canon_sha256":"02474cd79ee98b2bdf06483b64854c736ec28bf0ed6426f811ba6eff2077cd46","abstract_canon_sha256":"5fc70991e8914a017622bf10d739a4fc0d0a1a9ecbf0f3ff8fc13e2c3b53783a"},"schema_version":"1.0"},"canonical_sha256":"c4621ee87cb80b558d535e600fd5588733a233f84957c0776edbe0a32f788e2e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:45:30.534590Z","signature_b64":"Tzuh+0i5WNcna1XYHmqY4uhJHXWLcP1WUFQ9+jtU2QbRZc91K23NW1Es7zFoD/pH3YLI5Xh88kFjHGE8chIVDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c4621ee87cb80b558d535e600fd5588733a233f84957c0776edbe0a32f788e2e","last_reissued_at":"2026-07-05T07:45:30.534023Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:45:30.534023Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2310.18021","source_version":6,"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:45:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oTrqiVq1lZVrqniFRXl8AteSz8DZw9jT2H1j1+02y/MFoRQ/598Axo4mXVn9JoRsTErHGoq3imLY+Rajgq2jBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-31T17:23:03.591056Z"},"content_sha256":"73316a61b5794be6ac9afcc92271eb9815b2f7986f44ced0fd64cff9ca8b5a9d","schema_version":"1.0","event_id":"sha256:73316a61b5794be6ac9afcc92271eb9815b2f7986f44ced0fd64cff9ca8b5a9d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:YRRB52D4XAFVLDKTLZQA7VKYQ4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Cheng Qin, Chenyang Mao, Dengfeng Yue, Fangzhen Zhu, Jia Zou, Na Zhu, Qike Huang, Runan Wang, Shaorong Xie, Tuo Leng, Xiangfeng Luo, Xiaokai Zhang, Xiaoxiao Jin, Yang Li, Yanjun Guo, Yifan Wang, Yiming He, Yiwen Huang, Zhenbing Zeng, Zhe Zhu","submitted_at":"2023-10-27T09:55:12Z","abstract_excerpt":"This is the first paper in a series of work we have accomplished over the past three years. In this paper, we have constructed a consistent formal plane geometry system. This will serve as a crucial bridge between IMO-level plane geometry challenges and readable AI automated reasoning. Within this formal framework, we have been able to seamlessly integrate modern AI models with our formal system. AI is now capable of providing deductive reasoning solutions to IMO-level plane geometry problems, just like handling other natural languages, and these proofs are readable, traceable, and verifiable."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2310.18021","kind":"arxiv","version":6},"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/2310.18021/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:45:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SR07gcT2lDO4gcHhXA+I88RyVPB8u131xfskbRXVvY+Yjh04DQkKibPZXMLnfml5b6071ZAZbul0DBiHHpzBAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-31T17:23:03.591562Z"},"content_sha256":"903280d46c7635485985f336087bff93c6777bbcb2a4e2625e1a2a25cbde318e","schema_version":"1.0","event_id":"sha256:903280d46c7635485985f336087bff93c6777bbcb2a4e2625e1a2a25cbde318e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YRRB52D4XAFVLDKTLZQA7VKYQ4/bundle.json","state_url":"https://pith.science/pith/YRRB52D4XAFVLDKTLZQA7VKYQ4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YRRB52D4XAFVLDKTLZQA7VKYQ4/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-31T17:23:03Z","links":{"resolver":"https://pith.science/pith/YRRB52D4XAFVLDKTLZQA7VKYQ4","bundle":"https://pith.science/pith/YRRB52D4XAFVLDKTLZQA7VKYQ4/bundle.json","state":"https://pith.science/pith/YRRB52D4XAFVLDKTLZQA7VKYQ4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YRRB52D4XAFVLDKTLZQA7VKYQ4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:YRRB52D4XAFVLDKTLZQA7VKYQ4","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":"5fc70991e8914a017622bf10d739a4fc0d0a1a9ecbf0f3ff8fc13e2c3b53783a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-10-27T09:55:12Z","title_canon_sha256":"02474cd79ee98b2bdf06483b64854c736ec28bf0ed6426f811ba6eff2077cd46"},"schema_version":"1.0","source":{"id":"2310.18021","kind":"arxiv","version":6}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2310.18021","created_at":"2026-07-05T07:45:30Z"},{"alias_kind":"arxiv_version","alias_value":"2310.18021v6","created_at":"2026-07-05T07:45:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2310.18021","created_at":"2026-07-05T07:45:30Z"},{"alias_kind":"pith_short_12","alias_value":"YRRB52D4XAFV","created_at":"2026-07-05T07:45:30Z"},{"alias_kind":"pith_short_16","alias_value":"YRRB52D4XAFVLDKT","created_at":"2026-07-05T07:45:30Z"},{"alias_kind":"pith_short_8","alias_value":"YRRB52D4","created_at":"2026-07-05T07:45:30Z"}],"graph_snapshots":[{"event_id":"sha256:903280d46c7635485985f336087bff93c6777bbcb2a4e2625e1a2a25cbde318e","target":"graph","created_at":"2026-07-05T07:45:30Z","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/2310.18021/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This is the first paper in a series of work we have accomplished over the past three years. In this paper, we have constructed a consistent formal plane geometry system. This will serve as a crucial bridge between IMO-level plane geometry challenges and readable AI automated reasoning. Within this formal framework, we have been able to seamlessly integrate modern AI models with our formal system. AI is now capable of providing deductive reasoning solutions to IMO-level plane geometry problems, just like handling other natural languages, and these proofs are readable, traceable, and verifiable.","authors_text":"Cheng Qin, Chenyang Mao, Dengfeng Yue, Fangzhen Zhu, Jia Zou, Na Zhu, Qike Huang, Runan Wang, Shaorong Xie, Tuo Leng, Xiangfeng Luo, Xiaokai Zhang, Xiaoxiao Jin, Yang Li, Yanjun Guo, Yifan Wang, Yiming He, Yiwen Huang, Zhenbing Zeng, Zhe Zhu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-10-27T09:55:12Z","title":"FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2310.18021","kind":"arxiv","version":6},"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:73316a61b5794be6ac9afcc92271eb9815b2f7986f44ced0fd64cff9ca8b5a9d","target":"record","created_at":"2026-07-05T07:45:30Z","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":"5fc70991e8914a017622bf10d739a4fc0d0a1a9ecbf0f3ff8fc13e2c3b53783a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2023-10-27T09:55:12Z","title_canon_sha256":"02474cd79ee98b2bdf06483b64854c736ec28bf0ed6426f811ba6eff2077cd46"},"schema_version":"1.0","source":{"id":"2310.18021","kind":"arxiv","version":6}},"canonical_sha256":"c4621ee87cb80b558d535e600fd5588733a233f84957c0776edbe0a32f788e2e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c4621ee87cb80b558d535e600fd5588733a233f84957c0776edbe0a32f788e2e","first_computed_at":"2026-07-05T07:45:30.534023Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:45:30.534023Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Tzuh+0i5WNcna1XYHmqY4uhJHXWLcP1WUFQ9+jtU2QbRZc91K23NW1Es7zFoD/pH3YLI5Xh88kFjHGE8chIVDg==","signature_status":"signed_v1","signed_at":"2026-07-05T07:45:30.534590Z","signed_message":"canonical_sha256_bytes"},"source_id":"2310.18021","source_kind":"arxiv","source_version":6}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:73316a61b5794be6ac9afcc92271eb9815b2f7986f44ced0fd64cff9ca8b5a9d","sha256:903280d46c7635485985f336087bff93c6777bbcb2a4e2625e1a2a25cbde318e"],"state_sha256":"7a01c43c8faf1fe63af6492372510140294e4f04a9f3d03fa4062b8833cb3477"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bf/UxEX8p+tFZLsrC5Y6TA5dOSc9JblBkFE5yeauNPUPWs8F2GtKQFCpsW7TcnaNOwPE8MsTeAtCZSPE+kYqDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-31T17:23:03.596382Z","bundle_sha256":"a648d7d70b8a5a6704e881542485771c0e3c7f31badf480a4bb1138c366a0eef"}}