{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:A3TEI4SJKXSJK7ZJM5KN7ZEBVP","short_pith_number":"pith:A3TEI4SJ","schema_version":"1.0","canonical_sha256":"06e644724955e4957f296754dfe481abcae35080dc0ef195c8f85dedcbb8cc04","source":{"kind":"arxiv","id":"2412.10673","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2412.10673","created_at":"2026-07-05T09:49:19.491013+00:00"},{"alias_kind":"arxiv_version","alias_value":"2412.10673v1","created_at":"2026-07-05T09:49:19.491013+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.10673","created_at":"2026-07-05T09:49:19.491013+00:00"},{"alias_kind":"pith_short_12","alias_value":"A3TEI4SJKXSJ","created_at":"2026-07-05T09:49:19.491013+00:00"},{"alias_kind":"pith_short_16","alias_value":"A3TEI4SJKXSJK7ZJ","created_at":"2026-07-05T09:49:19.491013+00:00"},{"alias_kind":"pith_short_8","alias_value":"A3TEI4SJ","created_at":"2026-07-05T09:49:19.491013+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":2,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2601.13209","citing_title":"AI for Mathematics: Progress, Challenges, and Prospects","ref_index":169,"is_internal_anchor":false},{"citing_arxiv_id":"2502.17419","citing_title":"From System 1 to System 2: A Survey of Reasoning Large Language Models","ref_index":153,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/A3TEI4SJKXSJK7ZJM5KN7ZEBVP","json":"https://pith.science/pith/A3TEI4SJKXSJK7ZJM5KN7ZEBVP.json","graph_json":"https://pith.science/api/pith-number/A3TEI4SJKXSJK7ZJM5KN7ZEBVP/graph.json","events_json":"https://pith.science/api/pith-number/A3TEI4SJKXSJK7ZJM5KN7ZEBVP/events.json","paper":"https://pith.science/paper/A3TEI4SJ"},"agent_actions":{"view_html":"https://pith.science/pith/A3TEI4SJKXSJK7ZJM5KN7ZEBVP","download_json":"https://pith.science/pith/A3TEI4SJKXSJK7ZJM5KN7ZEBVP.json","view_paper":"https://pith.science/paper/A3TEI4SJ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2412.10673&json=true","fetch_graph":"https://pith.science/api/pith-number/A3TEI4SJKXSJK7ZJM5KN7ZEBVP/graph.json","fetch_events":"https://pith.science/api/pith-number/A3TEI4SJKXSJK7ZJM5KN7ZEBVP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/A3TEI4SJKXSJK7ZJM5KN7ZEBVP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/A3TEI4SJKXSJK7ZJM5KN7ZEBVP/action/storage_attestation","attest_author":"https://pith.science/pith/A3TEI4SJKXSJK7ZJM5KN7ZEBVP/action/author_attestation","sign_citation":"https://pith.science/pith/A3TEI4SJKXSJK7ZJM5KN7ZEBVP/action/citation_signature","submit_replication":"https://pith.science/pith/A3TEI4SJKXSJK7ZJM5KN7ZEBVP/action/replication_record"}},"created_at":"2026-07-05T09:49:19.491013+00:00","updated_at":"2026-07-05T09:49:19.491013+00:00"}