{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:4BMNKPNFTFGMITNEM4IKFTJS4Y","short_pith_number":"pith:4BMNKPNF","schema_version":"1.0","canonical_sha256":"e058d53da5994cc44da46710a2cd32e61f5bc23590f8d8cbb5dec49cdce1940e","source":{"kind":"arxiv","id":"2406.14219","version":2},"attestation_state":"computed","paper":{"title":"Proving Olympiad Algebraic Inequalities without Human Demonstrations","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Chenrui Wei, Mengzhou Sun, Wei Wang","submitted_at":"2024-06-20T11:37:53Z","abstract_excerpt":"Solving Olympiad-level mathematical problems represents a significant advancement in machine intelligence and automated reasoning. Current machine learning methods, however, struggle to solve Olympiad-level problems beyond Euclidean plane geometry due to a lack of large-scale, high-quality datasets. The challenge is even greater in algebraic systems, which involve infinite reasoning spaces within finite conditions. To address these issues, we propose AIPS, an Algebraic Inequality Proving System capable of autonomously generating complex inequality theorems and effectively solving Olympiad-leve"},"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":"2406.14219","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2024-06-20T11:37:53Z","cross_cats_sorted":[],"title_canon_sha256":"8065163e29502e7e33a23f43613046a8dff45020a22697ab7af8cbe5fe14087b","abstract_canon_sha256":"d38e82a27cd9524b7030123af603d6fcf17f230eca783382d5e5ea3f2251ca6b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:28:52.093619Z","signature_b64":"cvjm6kkdo4nNnCbqZjRobuvHdrv8Qk4SXOloJMAvCm6LCZGLCz+ZrFHAiuxXmxkV+ooqbjgXPk/ElXb2wgbfCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e058d53da5994cc44da46710a2cd32e61f5bc23590f8d8cbb5dec49cdce1940e","last_reissued_at":"2026-07-05T09:28:52.093128Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:28:52.093128Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Proving Olympiad Algebraic Inequalities without Human Demonstrations","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Chenrui Wei, Mengzhou Sun, Wei Wang","submitted_at":"2024-06-20T11:37:53Z","abstract_excerpt":"Solving Olympiad-level mathematical problems represents a significant advancement in machine intelligence and automated reasoning. Current machine learning methods, however, struggle to solve Olympiad-level problems beyond Euclidean plane geometry due to a lack of large-scale, high-quality datasets. The challenge is even greater in algebraic systems, which involve infinite reasoning spaces within finite conditions. To address these issues, we propose AIPS, an Algebraic Inequality Proving System capable of autonomously generating complex inequality theorems and effectively solving Olympiad-leve"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.14219","kind":"arxiv","version":2},"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/2406.14219/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":"2406.14219","created_at":"2026-07-05T09:28:52.093195+00:00"},{"alias_kind":"arxiv_version","alias_value":"2406.14219v2","created_at":"2026-07-05T09:28:52.093195+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.14219","created_at":"2026-07-05T09:28:52.093195+00:00"},{"alias_kind":"pith_short_12","alias_value":"4BMNKPNFTFGM","created_at":"2026-07-05T09:28:52.093195+00:00"},{"alias_kind":"pith_short_16","alias_value":"4BMNKPNFTFGMITNE","created_at":"2026-07-05T09:28:52.093195+00:00"},{"alias_kind":"pith_short_8","alias_value":"4BMNKPNF","created_at":"2026-07-05T09:28:52.093195+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2412.11936","citing_title":"A Survey of Mathematical Reasoning in the Era of Multimodal Large Language Model: Benchmark, Method & Challenges","ref_index":17,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/4BMNKPNFTFGMITNEM4IKFTJS4Y","json":"https://pith.science/pith/4BMNKPNFTFGMITNEM4IKFTJS4Y.json","graph_json":"https://pith.science/api/pith-number/4BMNKPNFTFGMITNEM4IKFTJS4Y/graph.json","events_json":"https://pith.science/api/pith-number/4BMNKPNFTFGMITNEM4IKFTJS4Y/events.json","paper":"https://pith.science/paper/4BMNKPNF"},"agent_actions":{"view_html":"https://pith.science/pith/4BMNKPNFTFGMITNEM4IKFTJS4Y","download_json":"https://pith.science/pith/4BMNKPNFTFGMITNEM4IKFTJS4Y.json","view_paper":"https://pith.science/paper/4BMNKPNF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2406.14219&json=true","fetch_graph":"https://pith.science/api/pith-number/4BMNKPNFTFGMITNEM4IKFTJS4Y/graph.json","fetch_events":"https://pith.science/api/pith-number/4BMNKPNFTFGMITNEM4IKFTJS4Y/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/4BMNKPNFTFGMITNEM4IKFTJS4Y/action/timestamp_anchor","attest_storage":"https://pith.science/pith/4BMNKPNFTFGMITNEM4IKFTJS4Y/action/storage_attestation","attest_author":"https://pith.science/pith/4BMNKPNFTFGMITNEM4IKFTJS4Y/action/author_attestation","sign_citation":"https://pith.science/pith/4BMNKPNFTFGMITNEM4IKFTJS4Y/action/citation_signature","submit_replication":"https://pith.science/pith/4BMNKPNFTFGMITNEM4IKFTJS4Y/action/replication_record"}},"created_at":"2026-07-05T09:28:52.093195+00:00","updated_at":"2026-07-05T09:28:52.093195+00:00"}