{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:Q3U6VFFWWKSL6WC72QAUYIWAX6","short_pith_number":"pith:Q3U6VFFW","canonical_record":{"source":{"id":"2509.05448","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CE","submitted_at":"2025-09-05T18:59:18Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"723b747c5dfe96386fc68e90186f9084f358fd58c3f8aa8fd461dc9982fe4e94","abstract_canon_sha256":"f4c1196c5169416fe320be9451b8c08ff03c3e597a13b2d7f9a6bd9125b9d551"},"schema_version":"1.0"},"canonical_sha256":"86e9ea94b6b2a4bf585fd4014c22c0bf81cc5713d53ca11daa4b4d65d14f5471","source":{"kind":"arxiv","id":"2509.05448","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.05448","created_at":"2026-07-05T12:05:47Z"},{"alias_kind":"arxiv_version","alias_value":"2509.05448v1","created_at":"2026-07-05T12:05:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.05448","created_at":"2026-07-05T12:05:47Z"},{"alias_kind":"pith_short_12","alias_value":"Q3U6VFFWWKSL","created_at":"2026-07-05T12:05:47Z"},{"alias_kind":"pith_short_16","alias_value":"Q3U6VFFWWKSL6WC7","created_at":"2026-07-05T12:05:47Z"},{"alias_kind":"pith_short_8","alias_value":"Q3U6VFFW","created_at":"2026-07-05T12:05:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:Q3U6VFFWWKSL6WC72QAUYIWAX6","target":"record","payload":{"canonical_record":{"source":{"id":"2509.05448","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CE","submitted_at":"2025-09-05T18:59:18Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"723b747c5dfe96386fc68e90186f9084f358fd58c3f8aa8fd461dc9982fe4e94","abstract_canon_sha256":"f4c1196c5169416fe320be9451b8c08ff03c3e597a13b2d7f9a6bd9125b9d551"},"schema_version":"1.0"},"canonical_sha256":"86e9ea94b6b2a4bf585fd4014c22c0bf81cc5713d53ca11daa4b4d65d14f5471","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:05:47.805593Z","signature_b64":"uvJQBMKrYovkrSXMKVKtFGY1BWpgH1sT8Zrear6Wym/RMIZH25275fp6tYJv0kiqHfjcuLBbp9Y9uB0v6QMkBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"86e9ea94b6b2a4bf585fd4014c22c0bf81cc5713d53ca11daa4b4d65d14f5471","last_reissued_at":"2026-07-05T12:05:47.805079Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:05:47.805079Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2509.05448","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-07-05T12:05:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6pTVtIBBJPB4xRYkcojIx/Cg9Rh1qcuaRpikHNSJHqDt0bSWpE+1MNYK9gluTMmLNWXmLYXPIwEWInJe6uwUDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T18:08:38.997116Z"},"content_sha256":"382ef53c086591549909f25f34a3445eb3acae0e05d4ea3e67d67b19c1569940","schema_version":"1.0","event_id":"sha256:382ef53c086591549909f25f34a3445eb3acae0e05d4ea3e67d67b19c1569940"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:Q3U6VFFWWKSL6WC72QAUYIWAX6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Newton to Einstein: Axiom-Based Discovery via Game Design","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CE","authors_text":"Benjamin Tod Jones, Chuang Gan, Michal Piotr Lipiec, Minghao Guo, Pingchuan Ma, Tsun-Hsuan Wang, Wojciech Matusik","submitted_at":"2025-09-05T18:59:18Z","abstract_excerpt":"This position paper argues that machine learning for scientific discovery should shift from inductive pattern recognition to axiom-based reasoning. We propose a game design framework in which scientific inquiry is recast as a rule-evolving system: agents operate within environments governed by axioms and modify them to explain outlier observations. Unlike conventional ML approaches that operate within fixed assumptions, our method enables the discovery of new theoretical structures through systematic rule adaptation. We demonstrate the feasibility of this approach through preliminary experimen"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.05448","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/2509.05448/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-05T12:05:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cnzreJc8s1cEAZVzoHPOJxeBr9oc8IseIpm64t3x/6BZ1ZG+FlbrDuPkYxGjdNOt+R+o7zkDKdkf0Rf9XewWCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T18:08:38.997621Z"},"content_sha256":"5a2aedd517d6666f9c104abfbf9266212e6ba1e71d89f2091eed4ec3053eeede","schema_version":"1.0","event_id":"sha256:5a2aedd517d6666f9c104abfbf9266212e6ba1e71d89f2091eed4ec3053eeede"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Q3U6VFFWWKSL6WC72QAUYIWAX6/bundle.json","state_url":"https://pith.science/pith/Q3U6VFFWWKSL6WC72QAUYIWAX6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Q3U6VFFWWKSL6WC72QAUYIWAX6/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-03T18:08:38Z","links":{"resolver":"https://pith.science/pith/Q3U6VFFWWKSL6WC72QAUYIWAX6","bundle":"https://pith.science/pith/Q3U6VFFWWKSL6WC72QAUYIWAX6/bundle.json","state":"https://pith.science/pith/Q3U6VFFWWKSL6WC72QAUYIWAX6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Q3U6VFFWWKSL6WC72QAUYIWAX6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:Q3U6VFFWWKSL6WC72QAUYIWAX6","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":"f4c1196c5169416fe320be9451b8c08ff03c3e597a13b2d7f9a6bd9125b9d551","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CE","submitted_at":"2025-09-05T18:59:18Z","title_canon_sha256":"723b747c5dfe96386fc68e90186f9084f358fd58c3f8aa8fd461dc9982fe4e94"},"schema_version":"1.0","source":{"id":"2509.05448","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.05448","created_at":"2026-07-05T12:05:47Z"},{"alias_kind":"arxiv_version","alias_value":"2509.05448v1","created_at":"2026-07-05T12:05:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.05448","created_at":"2026-07-05T12:05:47Z"},{"alias_kind":"pith_short_12","alias_value":"Q3U6VFFWWKSL","created_at":"2026-07-05T12:05:47Z"},{"alias_kind":"pith_short_16","alias_value":"Q3U6VFFWWKSL6WC7","created_at":"2026-07-05T12:05:47Z"},{"alias_kind":"pith_short_8","alias_value":"Q3U6VFFW","created_at":"2026-07-05T12:05:47Z"}],"graph_snapshots":[{"event_id":"sha256:5a2aedd517d6666f9c104abfbf9266212e6ba1e71d89f2091eed4ec3053eeede","target":"graph","created_at":"2026-07-05T12:05:47Z","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/2509.05448/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This position paper argues that machine learning for scientific discovery should shift from inductive pattern recognition to axiom-based reasoning. We propose a game design framework in which scientific inquiry is recast as a rule-evolving system: agents operate within environments governed by axioms and modify them to explain outlier observations. Unlike conventional ML approaches that operate within fixed assumptions, our method enables the discovery of new theoretical structures through systematic rule adaptation. We demonstrate the feasibility of this approach through preliminary experimen","authors_text":"Benjamin Tod Jones, Chuang Gan, Michal Piotr Lipiec, Minghao Guo, Pingchuan Ma, Tsun-Hsuan Wang, Wojciech Matusik","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CE","submitted_at":"2025-09-05T18:59:18Z","title":"Newton to Einstein: Axiom-Based Discovery via Game Design"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.05448","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:382ef53c086591549909f25f34a3445eb3acae0e05d4ea3e67d67b19c1569940","target":"record","created_at":"2026-07-05T12:05:47Z","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":"f4c1196c5169416fe320be9451b8c08ff03c3e597a13b2d7f9a6bd9125b9d551","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CE","submitted_at":"2025-09-05T18:59:18Z","title_canon_sha256":"723b747c5dfe96386fc68e90186f9084f358fd58c3f8aa8fd461dc9982fe4e94"},"schema_version":"1.0","source":{"id":"2509.05448","kind":"arxiv","version":1}},"canonical_sha256":"86e9ea94b6b2a4bf585fd4014c22c0bf81cc5713d53ca11daa4b4d65d14f5471","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"86e9ea94b6b2a4bf585fd4014c22c0bf81cc5713d53ca11daa4b4d65d14f5471","first_computed_at":"2026-07-05T12:05:47.805079Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:05:47.805079Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"uvJQBMKrYovkrSXMKVKtFGY1BWpgH1sT8Zrear6Wym/RMIZH25275fp6tYJv0kiqHfjcuLBbp9Y9uB0v6QMkBw==","signature_status":"signed_v1","signed_at":"2026-07-05T12:05:47.805593Z","signed_message":"canonical_sha256_bytes"},"source_id":"2509.05448","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:382ef53c086591549909f25f34a3445eb3acae0e05d4ea3e67d67b19c1569940","sha256:5a2aedd517d6666f9c104abfbf9266212e6ba1e71d89f2091eed4ec3053eeede"],"state_sha256":"ee47e11cc0008e0568502c1cfcac55bfa931475ccdba72faa5fb704fb86d6cd6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"grzrcJkIVLhi9igedryTTsqpPKJLeNt8Ci9bXFrcQsu1mGN+mUmlRhihmXMWXiPWkLEIbh9x1THn5xBlCtxhBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T18:08:39.001318Z","bundle_sha256":"9398c944ed1c7dc52f0dbc639cd3aaebb4228fb2e370fb57fe14f894bc5bfbc1"}}