{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:YX5EWQMSEBZERDN3LNQ7KJ6OYO","short_pith_number":"pith:YX5EWQMS","canonical_record":{"source":{"id":"2606.13473","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LG","submitted_at":"2026-06-11T15:27:06Z","cross_cats_sorted":["cs.AI","cs.CL"],"title_canon_sha256":"ca66e4a9346efa24d036ab822f9fcfe3f04d5f796aa122cb4e1e43756d7ca0ae","abstract_canon_sha256":"c78a3f53bea1bd0149944720a5b77f9b729b6751379f7efc715d48f75e4ca2aa"},"schema_version":"1.0"},"canonical_sha256":"c5fa4b41922072488dbb5b61f527cec38dea60595102ec68075d3206dc3034d6","source":{"kind":"arxiv","id":"2606.13473","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.13473","created_at":"2026-06-12T01:10:04Z"},{"alias_kind":"arxiv_version","alias_value":"2606.13473v1","created_at":"2026-06-12T01:10:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.13473","created_at":"2026-06-12T01:10:04Z"},{"alias_kind":"pith_short_12","alias_value":"YX5EWQMSEBZE","created_at":"2026-06-12T01:10:04Z"},{"alias_kind":"pith_short_16","alias_value":"YX5EWQMSEBZERDN3","created_at":"2026-06-12T01:10:04Z"},{"alias_kind":"pith_short_8","alias_value":"YX5EWQMS","created_at":"2026-06-12T01:10:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:YX5EWQMSEBZERDN3LNQ7KJ6OYO","target":"record","payload":{"canonical_record":{"source":{"id":"2606.13473","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LG","submitted_at":"2026-06-11T15:27:06Z","cross_cats_sorted":["cs.AI","cs.CL"],"title_canon_sha256":"ca66e4a9346efa24d036ab822f9fcfe3f04d5f796aa122cb4e1e43756d7ca0ae","abstract_canon_sha256":"c78a3f53bea1bd0149944720a5b77f9b729b6751379f7efc715d48f75e4ca2aa"},"schema_version":"1.0"},"canonical_sha256":"c5fa4b41922072488dbb5b61f527cec38dea60595102ec68075d3206dc3034d6","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-12T01:10:04.531966Z","signature_b64":"ZWIVudod3fRLXa4/QM0fNt4TgqV4QNEZp0NVwPgtVDvn1eCPe8kEnKIF5gThl2hTDl9cLZ63E9yevd7CgJcdDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c5fa4b41922072488dbb5b61f527cec38dea60595102ec68075d3206dc3034d6","last_reissued_at":"2026-06-12T01:10:04.531090Z","signature_status":"signed_v1","first_computed_at":"2026-06-12T01:10:04.531090Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.13473","source_version":1,"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-06-12T01:10:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MWPrmInylAh7Zrp/8/9+J+MFg89+2vC+RsuJ3idBRLJuy6ZpHr/TlNVA4Ab84f9q+OE1o7F+p6U60xuxkInuDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T15:39:32.788674Z"},"content_sha256":"bd20781605b2f7f17a1f39324facaac42efe83f6fa1b415c6f88db54150d07fe","schema_version":"1.0","event_id":"sha256:bd20781605b2f7f17a1f39324facaac42efe83f6fa1b415c6f88db54150d07fe"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:YX5EWQMSEBZERDN3LNQ7KJ6OYO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.AI","cs.CL"],"primary_cat":"cs.LG","authors_text":"Binyang Jiang, Chenyu Du, Fei Yu, Han Ding, Jiacheng Chen, Jiayuan Song, Jingyang Li, Jin Zhu, Lin Li, Pengyu Zhao, Qin Wang, Shunkai Zhang, Tiancheng Qin, Tianle Li, Weiyu Cheng, Xinyu Zhang, Yanmohan Wang, Yu Cheng, Yunan Huang, Zehan Li, Zhengmao Zhu, Zhi Zhang, Zijian Song","submitted_at":"2026-06-11T15:27:06Z","abstract_excerpt":"We present MaxProof, a population-level test-time scaling framework for competition-level mathematical proof in the MiniMax-M3 series. M3 first trains three proof-oriented capabilities -- proof generation, proof verification, and critique-conditioned proof repair -- using a defense-in-depth generative verifier engineered for low false-positive rate. These capabilities are merged into a single released M3 model. At test time, MaxProof treats the model as a generator, verifier, refiner, and ranker, searches over a population of candidate proofs, and returns one final proof through tournament sel"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.13473","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/2606.13473/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-06-12T01:10:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9w7O5/EF70CrK0LbAgLwcWtOxYUN+0cuB4sKdDY2bYmUH7b8bZW56BhXmX6Btegivg6KOOfrtyWcDwQs9mNlCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T15:39:32.789547Z"},"content_sha256":"10630c82f12f7f370d2fd94022e5633d245ad796850ca8e4045786e91a82ee19","schema_version":"1.0","event_id":"sha256:10630c82f12f7f370d2fd94022e5633d245ad796850ca8e4045786e91a82ee19"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YX5EWQMSEBZERDN3LNQ7KJ6OYO/bundle.json","state_url":"https://pith.science/pith/YX5EWQMSEBZERDN3LNQ7KJ6OYO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YX5EWQMSEBZERDN3LNQ7KJ6OYO/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-05T15:39:32Z","links":{"resolver":"https://pith.science/pith/YX5EWQMSEBZERDN3LNQ7KJ6OYO","bundle":"https://pith.science/pith/YX5EWQMSEBZERDN3LNQ7KJ6OYO/bundle.json","state":"https://pith.science/pith/YX5EWQMSEBZERDN3LNQ7KJ6OYO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YX5EWQMSEBZERDN3LNQ7KJ6OYO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:YX5EWQMSEBZERDN3LNQ7KJ6OYO","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":"c78a3f53bea1bd0149944720a5b77f9b729b6751379f7efc715d48f75e4ca2aa","cross_cats_sorted":["cs.AI","cs.CL"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LG","submitted_at":"2026-06-11T15:27:06Z","title_canon_sha256":"ca66e4a9346efa24d036ab822f9fcfe3f04d5f796aa122cb4e1e43756d7ca0ae"},"schema_version":"1.0","source":{"id":"2606.13473","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.13473","created_at":"2026-06-12T01:10:04Z"},{"alias_kind":"arxiv_version","alias_value":"2606.13473v1","created_at":"2026-06-12T01:10:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.13473","created_at":"2026-06-12T01:10:04Z"},{"alias_kind":"pith_short_12","alias_value":"YX5EWQMSEBZE","created_at":"2026-06-12T01:10:04Z"},{"alias_kind":"pith_short_16","alias_value":"YX5EWQMSEBZERDN3","created_at":"2026-06-12T01:10:04Z"},{"alias_kind":"pith_short_8","alias_value":"YX5EWQMS","created_at":"2026-06-12T01:10:04Z"}],"graph_snapshots":[{"event_id":"sha256:10630c82f12f7f370d2fd94022e5633d245ad796850ca8e4045786e91a82ee19","target":"graph","created_at":"2026-06-12T01:10:04Z","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/2606.13473/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present MaxProof, a population-level test-time scaling framework for competition-level mathematical proof in the MiniMax-M3 series. M3 first trains three proof-oriented capabilities -- proof generation, proof verification, and critique-conditioned proof repair -- using a defense-in-depth generative verifier engineered for low false-positive rate. These capabilities are merged into a single released M3 model. At test time, MaxProof treats the model as a generator, verifier, refiner, and ranker, searches over a population of candidate proofs, and returns one final proof through tournament sel","authors_text":"Binyang Jiang, Chenyu Du, Fei Yu, Han Ding, Jiacheng Chen, Jiayuan Song, Jingyang Li, Jin Zhu, Lin Li, Pengyu Zhao, Qin Wang, Shunkai Zhang, Tiancheng Qin, Tianle Li, Weiyu Cheng, Xinyu Zhang, Yanmohan Wang, Yu Cheng, Yunan Huang, Zehan Li, Zhengmao Zhu, Zhi Zhang, Zijian Song","cross_cats":["cs.AI","cs.CL"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LG","submitted_at":"2026-06-11T15:27:06Z","title":"MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.13473","kind":"arxiv","version":1},"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:bd20781605b2f7f17a1f39324facaac42efe83f6fa1b415c6f88db54150d07fe","target":"record","created_at":"2026-06-12T01:10:04Z","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":"c78a3f53bea1bd0149944720a5b77f9b729b6751379f7efc715d48f75e4ca2aa","cross_cats_sorted":["cs.AI","cs.CL"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LG","submitted_at":"2026-06-11T15:27:06Z","title_canon_sha256":"ca66e4a9346efa24d036ab822f9fcfe3f04d5f796aa122cb4e1e43756d7ca0ae"},"schema_version":"1.0","source":{"id":"2606.13473","kind":"arxiv","version":1}},"canonical_sha256":"c5fa4b41922072488dbb5b61f527cec38dea60595102ec68075d3206dc3034d6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c5fa4b41922072488dbb5b61f527cec38dea60595102ec68075d3206dc3034d6","first_computed_at":"2026-06-12T01:10:04.531090Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-12T01:10:04.531090Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ZWIVudod3fRLXa4/QM0fNt4TgqV4QNEZp0NVwPgtVDvn1eCPe8kEnKIF5gThl2hTDl9cLZ63E9yevd7CgJcdDg==","signature_status":"signed_v1","signed_at":"2026-06-12T01:10:04.531966Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.13473","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bd20781605b2f7f17a1f39324facaac42efe83f6fa1b415c6f88db54150d07fe","sha256:10630c82f12f7f370d2fd94022e5633d245ad796850ca8e4045786e91a82ee19"],"state_sha256":"f8ceb5b8062c661afb6937693c708a0c9e59b870d2f7ddcc104837f65bcdb578"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1/Y8drIcc3rdSJqyRyWtp3gyvWylJO5WIuO0brtSiJYR80B1iA+zuCXiOWyZzeUu/M0eG5gqKn7lPWQz1aiOBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T15:39:32.797338Z","bundle_sha256":"021407e8da2417ee313b24d1bdadcb6784a1c1f3f98d64678d24709f320c4404"}}