{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:IZSXLUCW23D4SBAMIGEURHGF6Z","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":"2c6ff920d3e24b70bd3dd9a3117cc6871f32db881d0fab59958694bbf5986df4","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.HO","submitted_at":"2026-07-07T15:15:05Z","title_canon_sha256":"51b15c976e007a05c99fa84ccfcaa0ce7eb1d6bc129998b8a69027f96c294ef6"},"schema_version":"1.0","source":{"id":"2607.06377","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.06377","created_at":"2026-07-08T01:19:23Z"},{"alias_kind":"arxiv_version","alias_value":"2607.06377v1","created_at":"2026-07-08T01:19:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.06377","created_at":"2026-07-08T01:19:23Z"},{"alias_kind":"pith_short_12","alias_value":"IZSXLUCW23D4","created_at":"2026-07-08T01:19:23Z"},{"alias_kind":"pith_short_16","alias_value":"IZSXLUCW23D4SBAM","created_at":"2026-07-08T01:19:23Z"},{"alias_kind":"pith_short_8","alias_value":"IZSXLUCW","created_at":"2026-07-08T01:19:23Z"}],"graph_snapshots":[{"event_id":"sha256:c8223422d369f01fa98a3cfe36329202d58e738d96ca007f5968e7aa8b4f83bd","target":"graph","created_at":"2026-07-08T01:19:23Z","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/2607.06377/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Two developments are unfolding at once: artificial intelligence systems have begun to produce genuine research-level mathematics, and the United States is weakening the pipeline that produces humans capable of understanding what such systems are doing. This essay argues that, taken together, these developments amount to a strategic error. Mathematical capacity, which is the trained ability to verify, interpret, and challenge mathematical reasoning, is not a byproduct of theorem production but a form of infrastructure, built over generations by institutions that cannot be reconstituted on deman","authors_text":"Jun-Yong Park","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.HO","submitted_at":"2026-07-07T15:15:05Z","title":"Automation Without Understanding"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.06377","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:94cc4de5eb6e15b0e7d5e35a19a6389c6ee48ed0bd646058f7eda30f5c193a89","target":"record","created_at":"2026-07-08T01:19:23Z","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":"2c6ff920d3e24b70bd3dd9a3117cc6871f32db881d0fab59958694bbf5986df4","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.HO","submitted_at":"2026-07-07T15:15:05Z","title_canon_sha256":"51b15c976e007a05c99fa84ccfcaa0ce7eb1d6bc129998b8a69027f96c294ef6"},"schema_version":"1.0","source":{"id":"2607.06377","kind":"arxiv","version":1}},"canonical_sha256":"466575d056d6c7c9040c4189489cc5f645f37913679ec2fc0933ca8b1f1405b7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"466575d056d6c7c9040c4189489cc5f645f37913679ec2fc0933ca8b1f1405b7","first_computed_at":"2026-07-08T01:19:23.712983Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-08T01:19:23.712983Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Jc+aLynP0FP0+HBV4Ka62crY484GczxR6+naB9YuaJiOtXvogGJOQSehM6DvTpbt6NN7QLV6+zsiAqiH6XSJAw==","signature_status":"signed_v1","signed_at":"2026-07-08T01:19:23.713422Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.06377","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:94cc4de5eb6e15b0e7d5e35a19a6389c6ee48ed0bd646058f7eda30f5c193a89","sha256:c8223422d369f01fa98a3cfe36329202d58e738d96ca007f5968e7aa8b4f83bd"],"state_sha256":"894a27086cf5a663810582f2f79524ed9dd4bfb2b66198678402fdbf7687af7b"}