{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:JGIGBYECGU4MSQB27JLSHJ3TLG","short_pith_number":"pith:JGIGBYEC","canonical_record":{"source":{"id":"2308.10817","kind":"arxiv","version":7},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2023-07-27T17:33:43Z","cross_cats_sorted":[],"title_canon_sha256":"55f67374ff4a89d53243fa6dda918e6c8cdda472bb5e7ae713e3841baaba077c","abstract_canon_sha256":"c88f7957fe425ff966a7aee8316bd4fa7b881ddeea5672a9ef4fb19467fe6eeb"},"schema_version":"1.0"},"canonical_sha256":"499060e0823538c9403afa5723a77359b8dd4161214b7abf3f685b46c5ad1936","source":{"kind":"arxiv","id":"2308.10817","version":7},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2308.10817","created_at":"2026-07-05T09:44:05Z"},{"alias_kind":"arxiv_version","alias_value":"2308.10817v7","created_at":"2026-07-05T09:44:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.10817","created_at":"2026-07-05T09:44:05Z"},{"alias_kind":"pith_short_12","alias_value":"JGIGBYECGU4M","created_at":"2026-07-05T09:44:05Z"},{"alias_kind":"pith_short_16","alias_value":"JGIGBYECGU4MSQB2","created_at":"2026-07-05T09:44:05Z"},{"alias_kind":"pith_short_8","alias_value":"JGIGBYEC","created_at":"2026-07-05T09:44:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:JGIGBYECGU4MSQB27JLSHJ3TLG","target":"record","payload":{"canonical_record":{"source":{"id":"2308.10817","kind":"arxiv","version":7},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2023-07-27T17:33:43Z","cross_cats_sorted":[],"title_canon_sha256":"55f67374ff4a89d53243fa6dda918e6c8cdda472bb5e7ae713e3841baaba077c","abstract_canon_sha256":"c88f7957fe425ff966a7aee8316bd4fa7b881ddeea5672a9ef4fb19467fe6eeb"},"schema_version":"1.0"},"canonical_sha256":"499060e0823538c9403afa5723a77359b8dd4161214b7abf3f685b46c5ad1936","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:44:05.197388Z","signature_b64":"0ELJVYESQQjgDpq84G9FsTlmLEDtBihw2PbRt4604s5AQAnRTZKGmCRne56SzLIL2UGrht5xl/pDJO9oGp46Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"499060e0823538c9403afa5723a77359b8dd4161214b7abf3f685b46c5ad1936","last_reissued_at":"2026-07-05T09:44:05.196851Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:44:05.196851Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2308.10817","source_version":7,"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-05T09:44:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yT7Bhx1xlO4B3G3SYUzUhmXBsRniOFfsJSLrji9su71i5QxkO7wyGSNOU6pfkB0u4THACEG4Gv97noOG8tBgBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T16:37:21.721589Z"},"content_sha256":"d14e825680e9790d32eaeed760d3b9dfef830e8d36cc6dad7381ba12d9bd6250","schema_version":"1.0","event_id":"sha256:d14e825680e9790d32eaeed760d3b9dfef830e8d36cc6dad7381ba12d9bd6250"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:JGIGBYECGU4MSQB27JLSHJ3TLG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the impossibility of discovering a formula for primes using AI","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CC","authors_text":"Aidan Rocke, Alexander Kolpakov","submitted_at":"2023-07-27T17:33:43Z","abstract_excerpt":"The present work explores the theoretical limits of Machine Learning (ML) within the framework of Kolmogorov's theory of Algorithmic Probability, which clarifies the notion of entropy as Expected Kolmogorov Complexity and formalizes other fundamental concepts such as Occam's razor via Levin's Universal Distribution. As a fundamental application, we develop Maximum Entropy methods that allow us to derive the Erd\\H{o}s-Kac Law and Hardy-Ramanujan theorem in Probabilistic Number Theory, and establish the impossibility of discovering a formula for primes using Machine Learning via the Prime Coding"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.10817","kind":"arxiv","version":7},"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/2308.10817/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-05T09:44:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jOKueeMDltKdARdKzI8HzPoAFrWhHFeC/HS6D3rH3ReWBHu2h45HJZ4KrMHEimWAEYuYLiu88+XKXEfuKI11CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T16:37:21.723196Z"},"content_sha256":"55f3ed41e0aa13df46011285c656a088ad5fa2cf7644e440999229f3f74fb4d3","schema_version":"1.0","event_id":"sha256:55f3ed41e0aa13df46011285c656a088ad5fa2cf7644e440999229f3f74fb4d3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JGIGBYECGU4MSQB27JLSHJ3TLG/bundle.json","state_url":"https://pith.science/pith/JGIGBYECGU4MSQB27JLSHJ3TLG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JGIGBYECGU4MSQB27JLSHJ3TLG/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-07T16:37:21Z","links":{"resolver":"https://pith.science/pith/JGIGBYECGU4MSQB27JLSHJ3TLG","bundle":"https://pith.science/pith/JGIGBYECGU4MSQB27JLSHJ3TLG/bundle.json","state":"https://pith.science/pith/JGIGBYECGU4MSQB27JLSHJ3TLG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JGIGBYECGU4MSQB27JLSHJ3TLG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:JGIGBYECGU4MSQB27JLSHJ3TLG","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":"c88f7957fe425ff966a7aee8316bd4fa7b881ddeea5672a9ef4fb19467fe6eeb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2023-07-27T17:33:43Z","title_canon_sha256":"55f67374ff4a89d53243fa6dda918e6c8cdda472bb5e7ae713e3841baaba077c"},"schema_version":"1.0","source":{"id":"2308.10817","kind":"arxiv","version":7}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2308.10817","created_at":"2026-07-05T09:44:05Z"},{"alias_kind":"arxiv_version","alias_value":"2308.10817v7","created_at":"2026-07-05T09:44:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.10817","created_at":"2026-07-05T09:44:05Z"},{"alias_kind":"pith_short_12","alias_value":"JGIGBYECGU4M","created_at":"2026-07-05T09:44:05Z"},{"alias_kind":"pith_short_16","alias_value":"JGIGBYECGU4MSQB2","created_at":"2026-07-05T09:44:05Z"},{"alias_kind":"pith_short_8","alias_value":"JGIGBYEC","created_at":"2026-07-05T09:44:05Z"}],"graph_snapshots":[{"event_id":"sha256:55f3ed41e0aa13df46011285c656a088ad5fa2cf7644e440999229f3f74fb4d3","target":"graph","created_at":"2026-07-05T09:44:05Z","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/2308.10817/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The present work explores the theoretical limits of Machine Learning (ML) within the framework of Kolmogorov's theory of Algorithmic Probability, which clarifies the notion of entropy as Expected Kolmogorov Complexity and formalizes other fundamental concepts such as Occam's razor via Levin's Universal Distribution. As a fundamental application, we develop Maximum Entropy methods that allow us to derive the Erd\\H{o}s-Kac Law and Hardy-Ramanujan theorem in Probabilistic Number Theory, and establish the impossibility of discovering a formula for primes using Machine Learning via the Prime Coding","authors_text":"Aidan Rocke, Alexander Kolpakov","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2023-07-27T17:33:43Z","title":"On the impossibility of discovering a formula for primes using AI"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.10817","kind":"arxiv","version":7},"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:d14e825680e9790d32eaeed760d3b9dfef830e8d36cc6dad7381ba12d9bd6250","target":"record","created_at":"2026-07-05T09:44:05Z","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":"c88f7957fe425ff966a7aee8316bd4fa7b881ddeea5672a9ef4fb19467fe6eeb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2023-07-27T17:33:43Z","title_canon_sha256":"55f67374ff4a89d53243fa6dda918e6c8cdda472bb5e7ae713e3841baaba077c"},"schema_version":"1.0","source":{"id":"2308.10817","kind":"arxiv","version":7}},"canonical_sha256":"499060e0823538c9403afa5723a77359b8dd4161214b7abf3f685b46c5ad1936","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"499060e0823538c9403afa5723a77359b8dd4161214b7abf3f685b46c5ad1936","first_computed_at":"2026-07-05T09:44:05.196851Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:44:05.196851Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0ELJVYESQQjgDpq84G9FsTlmLEDtBihw2PbRt4604s5AQAnRTZKGmCRne56SzLIL2UGrht5xl/pDJO9oGp46Ag==","signature_status":"signed_v1","signed_at":"2026-07-05T09:44:05.197388Z","signed_message":"canonical_sha256_bytes"},"source_id":"2308.10817","source_kind":"arxiv","source_version":7}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d14e825680e9790d32eaeed760d3b9dfef830e8d36cc6dad7381ba12d9bd6250","sha256:55f3ed41e0aa13df46011285c656a088ad5fa2cf7644e440999229f3f74fb4d3"],"state_sha256":"cc9ee82d36c298f58ca9de9decd8c215a92bafb6812d39263a3153dc43af0f04"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"p0eYHexg+hi/rwY9dxCvrA3YdayoVyKKL/TBWuVhNd1IJQB8V/+6WuhBHMC41gwiVXjBpGb7gAGTid4JWIBwCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T16:37:21.732057Z","bundle_sha256":"6c1b2954f58c4678cac26159faa7b4a3facbffe17a68c2e7e8b60592ff8e24eb"}}