{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:X6FFZMGWIQV3WM3E42M77HOMBO","short_pith_number":"pith:X6FFZMGW","canonical_record":{"source":{"id":"2408.15332","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-08-27T18:00:06Z","cross_cats_sorted":["cs.AI","math.CO","math.GR","math.GT"],"title_canon_sha256":"41d64381ec17a87316196eed70ca2bb223436db2daad2dceb7a9b82d037c6044","abstract_canon_sha256":"b6a1188c2c98e5f8576aa34765be5324afc6de679c2865afef23c9adaab369e2"},"schema_version":"1.0"},"canonical_sha256":"bf8a5cb0d6442bbb3364e699ff9dcc0b983d245aabc310fd8dcc8b2dffc23f82","source":{"kind":"arxiv","id":"2408.15332","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.15332","created_at":"2026-07-05T10:12:48Z"},{"alias_kind":"arxiv_version","alias_value":"2408.15332v2","created_at":"2026-07-05T10:12:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.15332","created_at":"2026-07-05T10:12:48Z"},{"alias_kind":"pith_short_12","alias_value":"X6FFZMGWIQV3","created_at":"2026-07-05T10:12:48Z"},{"alias_kind":"pith_short_16","alias_value":"X6FFZMGWIQV3WM3E","created_at":"2026-07-05T10:12:48Z"},{"alias_kind":"pith_short_8","alias_value":"X6FFZMGW","created_at":"2026-07-05T10:12:48Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:X6FFZMGWIQV3WM3E42M77HOMBO","target":"record","payload":{"canonical_record":{"source":{"id":"2408.15332","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-08-27T18:00:06Z","cross_cats_sorted":["cs.AI","math.CO","math.GR","math.GT"],"title_canon_sha256":"41d64381ec17a87316196eed70ca2bb223436db2daad2dceb7a9b82d037c6044","abstract_canon_sha256":"b6a1188c2c98e5f8576aa34765be5324afc6de679c2865afef23c9adaab369e2"},"schema_version":"1.0"},"canonical_sha256":"bf8a5cb0d6442bbb3364e699ff9dcc0b983d245aabc310fd8dcc8b2dffc23f82","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:12:48.646690Z","signature_b64":"ZPENYclp5xm7P4gdlYVdkw7/yJY/4E7hK7Y9K88i7fdyt3cVGF8SsvT8ZEPPsce8TxdAlaKFMQ87JABFAJ/dAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bf8a5cb0d6442bbb3364e699ff9dcc0b983d245aabc310fd8dcc8b2dffc23f82","last_reissued_at":"2026-07-05T10:12:48.646150Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:12:48.646150Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2408.15332","source_version":2,"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-05T10:12:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"l1v8VEdUnolmu3KRjuTrRAEy8A4yyU87/wZM8wsoEzuyGH2FGDPVT8lKrY9sJT5zwr2puAoBcEzx7bbWW6pNBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T16:49:35.245764Z"},"content_sha256":"3a7d4c85ce093b6abe393862e3eba9f54b8b8acbbdce1b15f20df09776bcf2b5","schema_version":"1.0","event_id":"sha256:3a7d4c85ce093b6abe393862e3eba9f54b8b8acbbdce1b15f20df09776bcf2b5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:X6FFZMGWIQV3WM3E42M77HOMBO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"What makes math problems hard for reinforcement learning: a case study","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","math.CO","math.GR","math.GT"],"primary_cat":"cs.LG","authors_text":"Ali Shehper, Angus Gruen, Anibal M. Medina-Mardones, Bart{\\l}omiej Lewandowski, Lucas Fagan, Piotr Kucharski, Sergei Gukov, Yang Qiu, Zhenghan Wang","submitted_at":"2024-08-27T18:00:06Z","abstract_excerpt":"Using a long-standing conjecture from combinatorial group theory, we explore, from multiple perspectives, the challenges of finding rare instances carrying disproportionately high rewards. Based on lessons learned in the context defined by the Andrews-Curtis conjecture, we propose algorithmic enhancements and a topological hardness measure with implications for a broad class of search problems. As part of our study, we also address several open mathematical questions. Notably, we demonstrate the length reducibility of all but two presentations in the Akbulut-Kirby series (1981), and resolve va"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.15332","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/2408.15332/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-05T10:12:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"M7Pg5CXECT7m9l7CiS0SKtZkPqdPLzD6FJ1S175p+tWz7abjhC2UqJDsOm6zaErSw9zGuEEahEiVrWMMbEUfCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T16:49:35.246281Z"},"content_sha256":"981c0be95276c3fd5380879232b8d03828549e4963b6b79a5b6243ffa6066fda","schema_version":"1.0","event_id":"sha256:981c0be95276c3fd5380879232b8d03828549e4963b6b79a5b6243ffa6066fda"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/X6FFZMGWIQV3WM3E42M77HOMBO/bundle.json","state_url":"https://pith.science/pith/X6FFZMGWIQV3WM3E42M77HOMBO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/X6FFZMGWIQV3WM3E42M77HOMBO/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-03T16:49:35Z","links":{"resolver":"https://pith.science/pith/X6FFZMGWIQV3WM3E42M77HOMBO","bundle":"https://pith.science/pith/X6FFZMGWIQV3WM3E42M77HOMBO/bundle.json","state":"https://pith.science/pith/X6FFZMGWIQV3WM3E42M77HOMBO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/X6FFZMGWIQV3WM3E42M77HOMBO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:X6FFZMGWIQV3WM3E42M77HOMBO","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":"b6a1188c2c98e5f8576aa34765be5324afc6de679c2865afef23c9adaab369e2","cross_cats_sorted":["cs.AI","math.CO","math.GR","math.GT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-08-27T18:00:06Z","title_canon_sha256":"41d64381ec17a87316196eed70ca2bb223436db2daad2dceb7a9b82d037c6044"},"schema_version":"1.0","source":{"id":"2408.15332","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.15332","created_at":"2026-07-05T10:12:48Z"},{"alias_kind":"arxiv_version","alias_value":"2408.15332v2","created_at":"2026-07-05T10:12:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.15332","created_at":"2026-07-05T10:12:48Z"},{"alias_kind":"pith_short_12","alias_value":"X6FFZMGWIQV3","created_at":"2026-07-05T10:12:48Z"},{"alias_kind":"pith_short_16","alias_value":"X6FFZMGWIQV3WM3E","created_at":"2026-07-05T10:12:48Z"},{"alias_kind":"pith_short_8","alias_value":"X6FFZMGW","created_at":"2026-07-05T10:12:48Z"}],"graph_snapshots":[{"event_id":"sha256:981c0be95276c3fd5380879232b8d03828549e4963b6b79a5b6243ffa6066fda","target":"graph","created_at":"2026-07-05T10:12:48Z","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/2408.15332/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Using a long-standing conjecture from combinatorial group theory, we explore, from multiple perspectives, the challenges of finding rare instances carrying disproportionately high rewards. Based on lessons learned in the context defined by the Andrews-Curtis conjecture, we propose algorithmic enhancements and a topological hardness measure with implications for a broad class of search problems. As part of our study, we also address several open mathematical questions. Notably, we demonstrate the length reducibility of all but two presentations in the Akbulut-Kirby series (1981), and resolve va","authors_text":"Ali Shehper, Angus Gruen, Anibal M. Medina-Mardones, Bart{\\l}omiej Lewandowski, Lucas Fagan, Piotr Kucharski, Sergei Gukov, Yang Qiu, Zhenghan Wang","cross_cats":["cs.AI","math.CO","math.GR","math.GT"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-08-27T18:00:06Z","title":"What makes math problems hard for reinforcement learning: a case study"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.15332","kind":"arxiv","version":2},"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:3a7d4c85ce093b6abe393862e3eba9f54b8b8acbbdce1b15f20df09776bcf2b5","target":"record","created_at":"2026-07-05T10:12:48Z","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":"b6a1188c2c98e5f8576aa34765be5324afc6de679c2865afef23c9adaab369e2","cross_cats_sorted":["cs.AI","math.CO","math.GR","math.GT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2024-08-27T18:00:06Z","title_canon_sha256":"41d64381ec17a87316196eed70ca2bb223436db2daad2dceb7a9b82d037c6044"},"schema_version":"1.0","source":{"id":"2408.15332","kind":"arxiv","version":2}},"canonical_sha256":"bf8a5cb0d6442bbb3364e699ff9dcc0b983d245aabc310fd8dcc8b2dffc23f82","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bf8a5cb0d6442bbb3364e699ff9dcc0b983d245aabc310fd8dcc8b2dffc23f82","first_computed_at":"2026-07-05T10:12:48.646150Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:12:48.646150Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ZPENYclp5xm7P4gdlYVdkw7/yJY/4E7hK7Y9K88i7fdyt3cVGF8SsvT8ZEPPsce8TxdAlaKFMQ87JABFAJ/dAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T10:12:48.646690Z","signed_message":"canonical_sha256_bytes"},"source_id":"2408.15332","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3a7d4c85ce093b6abe393862e3eba9f54b8b8acbbdce1b15f20df09776bcf2b5","sha256:981c0be95276c3fd5380879232b8d03828549e4963b6b79a5b6243ffa6066fda"],"state_sha256":"dc7e28450caf83e34c088d4d403d8a8b89a27b3af29bd7b488ca84c365a46af4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9HuPYOfWvNBLbeWt+F72Rd8MXC7CJTt4TwVMiKt5AFzQcG5urGslCDcqqql+PNZU26DY7jEjip8PzucVP/2pAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T16:49:35.249768Z","bundle_sha256":"5e3c85a9835de73a8da8219c658ab1aefc959af672b1a34274d5ac866473c610"}}