{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:XC5KXZ4EI5EVNQHPJVIMNF4Q5P","short_pith_number":"pith:XC5KXZ4E","canonical_record":{"source":{"id":"2606.23666","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"stat.OT","submitted_at":"2026-06-22T17:51:19Z","cross_cats_sorted":["stat.ME"],"title_canon_sha256":"d5ad9267a1694db8f9e980589ed021322df6e067da9a6f7321c2fdcfc244614d","abstract_canon_sha256":"b7ac5503f53630d59c11be5b769450d444f0a3dac6e4185ec1ce38185ef39feb"},"schema_version":"1.0"},"canonical_sha256":"b8baabe784474956c0ef4d50c69790ebc0b61f4035341694e37f7e3940d42de3","source":{"kind":"arxiv","id":"2606.23666","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.23666","created_at":"2026-06-23T03:14:34Z"},{"alias_kind":"arxiv_version","alias_value":"2606.23666v1","created_at":"2026-06-23T03:14:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.23666","created_at":"2026-06-23T03:14:34Z"},{"alias_kind":"pith_short_12","alias_value":"XC5KXZ4EI5EV","created_at":"2026-06-23T03:14:34Z"},{"alias_kind":"pith_short_16","alias_value":"XC5KXZ4EI5EVNQHP","created_at":"2026-06-23T03:14:34Z"},{"alias_kind":"pith_short_8","alias_value":"XC5KXZ4E","created_at":"2026-06-23T03:14:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:XC5KXZ4EI5EVNQHPJVIMNF4Q5P","target":"record","payload":{"canonical_record":{"source":{"id":"2606.23666","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"stat.OT","submitted_at":"2026-06-22T17:51:19Z","cross_cats_sorted":["stat.ME"],"title_canon_sha256":"d5ad9267a1694db8f9e980589ed021322df6e067da9a6f7321c2fdcfc244614d","abstract_canon_sha256":"b7ac5503f53630d59c11be5b769450d444f0a3dac6e4185ec1ce38185ef39feb"},"schema_version":"1.0"},"canonical_sha256":"b8baabe784474956c0ef4d50c69790ebc0b61f4035341694e37f7e3940d42de3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-23T03:14:34.103104Z","signature_b64":"abnkEcAUDASbAYcELNjhG5v8AZQv4R+TS8UgsYDRMMQTcIVY9Yf4h7yMC5/e+j+A5VPHJydLSKbvggpZHDlOCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b8baabe784474956c0ef4d50c69790ebc0b61f4035341694e37f7e3940d42de3","last_reissued_at":"2026-06-23T03:14:34.102659Z","signature_status":"signed_v1","first_computed_at":"2026-06-23T03:14:34.102659Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.23666","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-23T03:14:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xvxEDCLUOaATo93ZmCEkCQ36C/EYhJUXIK1bhE2r3WB98jD/Psn58Dj0OdkYNLJR/o4L8kgKFd/wmDPO6GAYCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T20:59:13.434032Z"},"content_sha256":"e846cc693bf3a0d5fcf354ea010145d81a978079e68efaeb6918ab80a08ce029","schema_version":"1.0","event_id":"sha256:e846cc693bf3a0d5fcf354ea010145d81a978079e68efaeb6918ab80a08ce029"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:XC5KXZ4EI5EVNQHPJVIMNF4Q5P","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Statistical Proof as a Window into Human-AI Collaboration: Practical Insights and a Community Agenda","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["stat.ME"],"primary_cat":"stat.OT","authors_text":"Bingxin Zhao, Buxin Su, Chong Wu, Fei Xue, Huayu Tang, Mateo Matijasevick, Xiaojing Sun","submitted_at":"2026-06-22T17:51:19Z","abstract_excerpt":"Large language models (LLMs) are increasingly woven into expert cognitive work in daily research, yet we know little about how human expertise should adapt when an AI system can execute substantial technical reasoning on its own. Here we use statistical proof development, a demanding and structured form of expert reasoning, as a window into this broader question. Drawing on day-to-day proof problems, we find that current general-purpose LLMs occupy a useful but limited role: they can execute technical components given a precisely formulated problem and targeted guidance, but become unreliable "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.23666","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.23666/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-23T03:14:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oU9wvJcmOWzWSsCe500REESdX80WSo9qayz+l5ROsGL4qWkUqhqvwjLUj/o6Q/f0KmVPfxkOhp/6OrrYcJ9WAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T20:59:13.434413Z"},"content_sha256":"93cd9facc1dc0b32c04efe084eba6ebd592fee3282a3935b2bccd5a95c4254ec","schema_version":"1.0","event_id":"sha256:93cd9facc1dc0b32c04efe084eba6ebd592fee3282a3935b2bccd5a95c4254ec"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XC5KXZ4EI5EVNQHPJVIMNF4Q5P/bundle.json","state_url":"https://pith.science/pith/XC5KXZ4EI5EVNQHPJVIMNF4Q5P/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XC5KXZ4EI5EVNQHPJVIMNF4Q5P/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-06-29T20:59:13Z","links":{"resolver":"https://pith.science/pith/XC5KXZ4EI5EVNQHPJVIMNF4Q5P","bundle":"https://pith.science/pith/XC5KXZ4EI5EVNQHPJVIMNF4Q5P/bundle.json","state":"https://pith.science/pith/XC5KXZ4EI5EVNQHPJVIMNF4Q5P/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XC5KXZ4EI5EVNQHPJVIMNF4Q5P/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:XC5KXZ4EI5EVNQHPJVIMNF4Q5P","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":"b7ac5503f53630d59c11be5b769450d444f0a3dac6e4185ec1ce38185ef39feb","cross_cats_sorted":["stat.ME"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"stat.OT","submitted_at":"2026-06-22T17:51:19Z","title_canon_sha256":"d5ad9267a1694db8f9e980589ed021322df6e067da9a6f7321c2fdcfc244614d"},"schema_version":"1.0","source":{"id":"2606.23666","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.23666","created_at":"2026-06-23T03:14:34Z"},{"alias_kind":"arxiv_version","alias_value":"2606.23666v1","created_at":"2026-06-23T03:14:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.23666","created_at":"2026-06-23T03:14:34Z"},{"alias_kind":"pith_short_12","alias_value":"XC5KXZ4EI5EV","created_at":"2026-06-23T03:14:34Z"},{"alias_kind":"pith_short_16","alias_value":"XC5KXZ4EI5EVNQHP","created_at":"2026-06-23T03:14:34Z"},{"alias_kind":"pith_short_8","alias_value":"XC5KXZ4E","created_at":"2026-06-23T03:14:34Z"}],"graph_snapshots":[{"event_id":"sha256:93cd9facc1dc0b32c04efe084eba6ebd592fee3282a3935b2bccd5a95c4254ec","target":"graph","created_at":"2026-06-23T03:14:34Z","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.23666/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large language models (LLMs) are increasingly woven into expert cognitive work in daily research, yet we know little about how human expertise should adapt when an AI system can execute substantial technical reasoning on its own. Here we use statistical proof development, a demanding and structured form of expert reasoning, as a window into this broader question. Drawing on day-to-day proof problems, we find that current general-purpose LLMs occupy a useful but limited role: they can execute technical components given a precisely formulated problem and targeted guidance, but become unreliable ","authors_text":"Bingxin Zhao, Buxin Su, Chong Wu, Fei Xue, Huayu Tang, Mateo Matijasevick, Xiaojing Sun","cross_cats":["stat.ME"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"stat.OT","submitted_at":"2026-06-22T17:51:19Z","title":"Statistical Proof as a Window into Human-AI Collaboration: Practical Insights and a Community Agenda"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.23666","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:e846cc693bf3a0d5fcf354ea010145d81a978079e68efaeb6918ab80a08ce029","target":"record","created_at":"2026-06-23T03:14:34Z","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":"b7ac5503f53630d59c11be5b769450d444f0a3dac6e4185ec1ce38185ef39feb","cross_cats_sorted":["stat.ME"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"stat.OT","submitted_at":"2026-06-22T17:51:19Z","title_canon_sha256":"d5ad9267a1694db8f9e980589ed021322df6e067da9a6f7321c2fdcfc244614d"},"schema_version":"1.0","source":{"id":"2606.23666","kind":"arxiv","version":1}},"canonical_sha256":"b8baabe784474956c0ef4d50c69790ebc0b61f4035341694e37f7e3940d42de3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b8baabe784474956c0ef4d50c69790ebc0b61f4035341694e37f7e3940d42de3","first_computed_at":"2026-06-23T03:14:34.102659Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-23T03:14:34.102659Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"abnkEcAUDASbAYcELNjhG5v8AZQv4R+TS8UgsYDRMMQTcIVY9Yf4h7yMC5/e+j+A5VPHJydLSKbvggpZHDlOCw==","signature_status":"signed_v1","signed_at":"2026-06-23T03:14:34.103104Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.23666","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e846cc693bf3a0d5fcf354ea010145d81a978079e68efaeb6918ab80a08ce029","sha256:93cd9facc1dc0b32c04efe084eba6ebd592fee3282a3935b2bccd5a95c4254ec"],"state_sha256":"b5bfef94d103d0d0531b5a7988b4e616063f6c411e030b97178e4bf0d23a1566"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NW/+f88lCFQjX+5L4+/aDMF+rrqVvs7edmQfRLxGk5dnLoPFDqcZBkiXDwE1r1bQ+bbjc3QPSUk9Z6kRpP3MBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-29T20:59:13.436286Z","bundle_sha256":"cbec0690aebf85aeac38ea3344a4adab24e01911d1cdffd5c4ab78901eda0ecb"}}