{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:JGIGBYECGU4MSQB27JLSHJ3TLG","short_pith_number":"pith:JGIGBYEC","schema_version":"1.0","canonical_sha256":"499060e0823538c9403afa5723a77359b8dd4161214b7abf3f685b46c5ad1936","source":{"kind":"arxiv","id":"2308.10817","version":7},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2308.10817","created_at":"2026-07-05T09:44:05.196908+00:00"},{"alias_kind":"arxiv_version","alias_value":"2308.10817v7","created_at":"2026-07-05T09:44:05.196908+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.10817","created_at":"2026-07-05T09:44:05.196908+00:00"},{"alias_kind":"pith_short_12","alias_value":"JGIGBYECGU4M","created_at":"2026-07-05T09:44:05.196908+00:00"},{"alias_kind":"pith_short_16","alias_value":"JGIGBYECGU4MSQB2","created_at":"2026-07-05T09:44:05.196908+00:00"},{"alias_kind":"pith_short_8","alias_value":"JGIGBYEC","created_at":"2026-07-05T09:44:05.196908+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2604.02383","citing_title":"Neural Prime Sieves: Density-Driven Generalization and Empirical Evidence for Hardy-Littlewood Asymptotics","ref_index":1,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/JGIGBYECGU4MSQB27JLSHJ3TLG","json":"https://pith.science/pith/JGIGBYECGU4MSQB27JLSHJ3TLG.json","graph_json":"https://pith.science/api/pith-number/JGIGBYECGU4MSQB27JLSHJ3TLG/graph.json","events_json":"https://pith.science/api/pith-number/JGIGBYECGU4MSQB27JLSHJ3TLG/events.json","paper":"https://pith.science/paper/JGIGBYEC"},"agent_actions":{"view_html":"https://pith.science/pith/JGIGBYECGU4MSQB27JLSHJ3TLG","download_json":"https://pith.science/pith/JGIGBYECGU4MSQB27JLSHJ3TLG.json","view_paper":"https://pith.science/paper/JGIGBYEC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2308.10817&json=true","fetch_graph":"https://pith.science/api/pith-number/JGIGBYECGU4MSQB27JLSHJ3TLG/graph.json","fetch_events":"https://pith.science/api/pith-number/JGIGBYECGU4MSQB27JLSHJ3TLG/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JGIGBYECGU4MSQB27JLSHJ3TLG/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JGIGBYECGU4MSQB27JLSHJ3TLG/action/storage_attestation","attest_author":"https://pith.science/pith/JGIGBYECGU4MSQB27JLSHJ3TLG/action/author_attestation","sign_citation":"https://pith.science/pith/JGIGBYECGU4MSQB27JLSHJ3TLG/action/citation_signature","submit_replication":"https://pith.science/pith/JGIGBYECGU4MSQB27JLSHJ3TLG/action/replication_record"}},"created_at":"2026-07-05T09:44:05.196908+00:00","updated_at":"2026-07-05T09:44:05.196908+00:00"}