{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:WILE5ODX37VECCOBWKFSDGCPMZ","short_pith_number":"pith:WILE5ODX","canonical_record":{"source":{"id":"2512.10739","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CL","submitted_at":"2025-12-11T15:26:28Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"084434d50f92bf2b62d460ec10a7d16adc452e00b1434ef80b13beb2316199af","abstract_canon_sha256":"ed313a1d9ad37c980478b8498dbb474cf517bff22d925838e84b52673a01b5ac"},"schema_version":"1.0"},"canonical_sha256":"b2164eb877dfea4109c1b28b21984f667838b38d17ecf6a14afcc95e2633dfdc","source":{"kind":"arxiv","id":"2512.10739","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2512.10739","created_at":"2026-08-04T01:58:11Z"},{"alias_kind":"arxiv_version","alias_value":"2512.10739v3","created_at":"2026-08-04T01:58:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2512.10739","created_at":"2026-08-04T01:58:11Z"},{"alias_kind":"pith_short_12","alias_value":"WILE5ODX37VE","created_at":"2026-08-04T01:58:11Z"},{"alias_kind":"pith_short_16","alias_value":"WILE5ODX37VECCOB","created_at":"2026-08-04T01:58:11Z"},{"alias_kind":"pith_short_8","alias_value":"WILE5ODX","created_at":"2026-08-04T01:58:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:WILE5ODX37VECCOBWKFSDGCPMZ","target":"record","payload":{"canonical_record":{"source":{"id":"2512.10739","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CL","submitted_at":"2025-12-11T15:26:28Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"084434d50f92bf2b62d460ec10a7d16adc452e00b1434ef80b13beb2316199af","abstract_canon_sha256":"ed313a1d9ad37c980478b8498dbb474cf517bff22d925838e84b52673a01b5ac"},"schema_version":"1.0"},"canonical_sha256":"b2164eb877dfea4109c1b28b21984f667838b38d17ecf6a14afcc95e2633dfdc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-08-04T01:58:11.301472Z","signature_b64":"AC89ZqKVj6wPpdX6NxOKqj33Z1+kMwylYXzm5t89ZMVZxJqLOIGrdvHWgOJSx1Cs+juDNmBjpjHEHiKKINnNBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b2164eb877dfea4109c1b28b21984f667838b38d17ecf6a14afcc95e2633dfdc","last_reissued_at":"2026-08-04T01:58:11.299769Z","signature_status":"signed_v1","first_computed_at":"2026-08-04T01:58:11.299769Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2512.10739","source_version":3,"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-08-04T01:58:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KFRJqfnG4LuSgSOKzlIgO1vHlIXMRODujEJQrEgefxhpTEjluoCVYfUn7gct4wZHf2TK/wrMlexGqE7RjJFiCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T11:21:17.671520Z"},"content_sha256":"d8708a5e9c127941af1cf3c7615706dbdbeedc7459b4e9652da36975f043aa23","schema_version":"1.0","event_id":"sha256:d8708a5e9c127941af1cf3c7615706dbdbeedc7459b4e9652da36975f043aa23"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:WILE5ODX37VECCOBWKFSDGCPMZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CL","authors_text":"Chengqi Lyu, Chiyu Chen, Dahua Lin, Duanyang Zhang, Fan Zheng, Haiteng Zhao, Han Lyu, Huilun Zhang, Jianfei Gao, Junhao Shen, Kai Chen, Kuikun Liu, Lingkai Kong, Ningsheng Ma, Songyang Gao, Tianyou Ma, Wenwei Zhang, Yanhui Duan, Yuzhe Gu, Zhongrui Cai, Zijian Wu","submitted_at":"2025-12-11T15:26:28Z","abstract_excerpt":"Large Reasoning Models (LRMs) have expanded the mathematical reasoning frontier through Chain-of-Thought (CoT) techniques and Reinforcement Learning with Verifiable Rewards (RLVR), capable of solving AIME-level problems. However, the performance of LRMs is heavily dependent on the extended reasoning context length. For solving ultra-hard problems like those in the International Mathematical Olympiad (IMO), the required reasoning complexity surpasses the space that an LRM can explore in a single round. Previous works attempt to extend the reasoning context of LRMs but remain prompt-based and bu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2512.10739","kind":"arxiv","version":3},"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/2512.10739/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-08-04T01:58:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OVHhWPp8WWYS6vvk4HYFOKxcJ3RPsJ3aFAHdGENdk+JlQS5b1eXxby00PmD9rDE2IVCbdRkyow8OS2ID1tJ6AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T11:21:17.672070Z"},"content_sha256":"73ddebf46650015f6aeff29aa0bfeeeb5ff75fa0b10e6e0bfd505126f69c036f","schema_version":"1.0","event_id":"sha256:73ddebf46650015f6aeff29aa0bfeeeb5ff75fa0b10e6e0bfd505126f69c036f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WILE5ODX37VECCOBWKFSDGCPMZ/bundle.json","state_url":"https://pith.science/pith/WILE5ODX37VECCOBWKFSDGCPMZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WILE5ODX37VECCOBWKFSDGCPMZ/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-04T11:21:17Z","links":{"resolver":"https://pith.science/pith/WILE5ODX37VECCOBWKFSDGCPMZ","bundle":"https://pith.science/pith/WILE5ODX37VECCOBWKFSDGCPMZ/bundle.json","state":"https://pith.science/pith/WILE5ODX37VECCOBWKFSDGCPMZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WILE5ODX37VECCOBWKFSDGCPMZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:WILE5ODX37VECCOBWKFSDGCPMZ","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":"ed313a1d9ad37c980478b8498dbb474cf517bff22d925838e84b52673a01b5ac","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CL","submitted_at":"2025-12-11T15:26:28Z","title_canon_sha256":"084434d50f92bf2b62d460ec10a7d16adc452e00b1434ef80b13beb2316199af"},"schema_version":"1.0","source":{"id":"2512.10739","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2512.10739","created_at":"2026-08-04T01:58:11Z"},{"alias_kind":"arxiv_version","alias_value":"2512.10739v3","created_at":"2026-08-04T01:58:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2512.10739","created_at":"2026-08-04T01:58:11Z"},{"alias_kind":"pith_short_12","alias_value":"WILE5ODX37VE","created_at":"2026-08-04T01:58:11Z"},{"alias_kind":"pith_short_16","alias_value":"WILE5ODX37VECCOB","created_at":"2026-08-04T01:58:11Z"},{"alias_kind":"pith_short_8","alias_value":"WILE5ODX","created_at":"2026-08-04T01:58:11Z"}],"graph_snapshots":[{"event_id":"sha256:73ddebf46650015f6aeff29aa0bfeeeb5ff75fa0b10e6e0bfd505126f69c036f","target":"graph","created_at":"2026-08-04T01:58:11Z","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/2512.10739/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large Reasoning Models (LRMs) have expanded the mathematical reasoning frontier through Chain-of-Thought (CoT) techniques and Reinforcement Learning with Verifiable Rewards (RLVR), capable of solving AIME-level problems. However, the performance of LRMs is heavily dependent on the extended reasoning context length. For solving ultra-hard problems like those in the International Mathematical Olympiad (IMO), the required reasoning complexity surpasses the space that an LRM can explore in a single round. Previous works attempt to extend the reasoning context of LRMs but remain prompt-based and bu","authors_text":"Chengqi Lyu, Chiyu Chen, Dahua Lin, Duanyang Zhang, Fan Zheng, Haiteng Zhao, Han Lyu, Huilun Zhang, Jianfei Gao, Junhao Shen, Kai Chen, Kuikun Liu, Lingkai Kong, Ningsheng Ma, Songyang Gao, Tianyou Ma, Wenwei Zhang, Yanhui Duan, Yuzhe Gu, Zhongrui Cai, Zijian Wu","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CL","submitted_at":"2025-12-11T15:26:28Z","title":"Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2512.10739","kind":"arxiv","version":3},"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:d8708a5e9c127941af1cf3c7615706dbdbeedc7459b4e9652da36975f043aa23","target":"record","created_at":"2026-08-04T01:58:11Z","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":"ed313a1d9ad37c980478b8498dbb474cf517bff22d925838e84b52673a01b5ac","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CL","submitted_at":"2025-12-11T15:26:28Z","title_canon_sha256":"084434d50f92bf2b62d460ec10a7d16adc452e00b1434ef80b13beb2316199af"},"schema_version":"1.0","source":{"id":"2512.10739","kind":"arxiv","version":3}},"canonical_sha256":"b2164eb877dfea4109c1b28b21984f667838b38d17ecf6a14afcc95e2633dfdc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b2164eb877dfea4109c1b28b21984f667838b38d17ecf6a14afcc95e2633dfdc","first_computed_at":"2026-08-04T01:58:11.299769Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-08-04T01:58:11.299769Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"AC89ZqKVj6wPpdX6NxOKqj33Z1+kMwylYXzm5t89ZMVZxJqLOIGrdvHWgOJSx1Cs+juDNmBjpjHEHiKKINnNBw==","signature_status":"signed_v1","signed_at":"2026-08-04T01:58:11.301472Z","signed_message":"canonical_sha256_bytes"},"source_id":"2512.10739","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d8708a5e9c127941af1cf3c7615706dbdbeedc7459b4e9652da36975f043aa23","sha256:73ddebf46650015f6aeff29aa0bfeeeb5ff75fa0b10e6e0bfd505126f69c036f"],"state_sha256":"7efa1a16a4aff2c421f08320042d7306d6a3e3472a8f44bbab37807fbbd31c9b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jKUD9S12am4a15+Jv82y88nGBwPWeGkzAACOz6byIjcPGY4ezZFNzAEZAJ+7YqZtUwyLO+ehIFSiZ/BjWoT0Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T11:21:17.677547Z","bundle_sha256":"099ac3f3c1682a0a83c403b85aa06332a22f62fc04add6af8d62e22a5b88646d"}}