{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:3M5XLK4DBTDBCBBCMFEQRPB7IF","short_pith_number":"pith:3M5XLK4D","schema_version":"1.0","canonical_sha256":"db3b75ab830cc6110422614908bc3f415c21129c8a94291b20c95f83f2e265dc","source":{"kind":"arxiv","id":"2506.20909","version":2},"attestation_state":"computed","paper":{"title":"Diophantine Equations over $\\mathbb Z$: Universal Bounds and Parallel Formalization","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.NT","authors_text":"Dierk Schleicher, Jonas Bayer, Malte Hassler, Marco David, Yuri Matiyasevich","submitted_at":"2025-06-26T00:30:24Z","abstract_excerpt":"This paper explores multiple closely related themes: bounding the complexity of Diophantine equations over the integers and developing mathematical proofs in parallel with formal theorem provers.\n  Hilbert's Tenth Problem (H10) asks about the decidability of Diophantine equations and has been answered negatively by Davis, Putnam, Robinson and Matiyasevich. It is natural to ask for which subclasses of Diophantine equations H10 remains undecidable. Such subclasses can be defined in terms of universal pairs: bounds on the number of variables $\\nu$ and degree $\\delta$ such that all Diophantine equ"},"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":"2506.20909","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2025-06-26T00:30:24Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"2c66e2fa409fa9ecb662a4e43c7cdfe91e3b3fabfc617d732a2c5bdbd88e9da1","abstract_canon_sha256":"9c9a98949f0a3e0dedda28654ebde44edf776258f29946404b2c9feab6ce9152"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:29:14.159302Z","signature_b64":"VYpSAnW7q9cRc2pfiNWvu3jf4vwlqM9urCR8Z/GKWuyhIfYZKHLtQj0Gp4vQHdzr7UvvuJMV1sVb1VI/4JcJDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"db3b75ab830cc6110422614908bc3f415c21129c8a94291b20c95f83f2e265dc","last_reissued_at":"2026-07-05T11:29:14.158786Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:29:14.158786Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Diophantine Equations over $\\mathbb Z$: Universal Bounds and Parallel Formalization","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.NT","authors_text":"Dierk Schleicher, Jonas Bayer, Malte Hassler, Marco David, Yuri Matiyasevich","submitted_at":"2025-06-26T00:30:24Z","abstract_excerpt":"This paper explores multiple closely related themes: bounding the complexity of Diophantine equations over the integers and developing mathematical proofs in parallel with formal theorem provers.\n  Hilbert's Tenth Problem (H10) asks about the decidability of Diophantine equations and has been answered negatively by Davis, Putnam, Robinson and Matiyasevich. It is natural to ask for which subclasses of Diophantine equations H10 remains undecidable. Such subclasses can be defined in terms of universal pairs: bounds on the number of variables $\\nu$ and degree $\\delta$ such that all Diophantine equ"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.20909","kind":"arxiv","version":2},"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/2506.20909/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":"2506.20909","created_at":"2026-07-05T11:29:14.158850+00:00"},{"alias_kind":"arxiv_version","alias_value":"2506.20909v2","created_at":"2026-07-05T11:29:14.158850+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.20909","created_at":"2026-07-05T11:29:14.158850+00:00"},{"alias_kind":"pith_short_12","alias_value":"3M5XLK4DBTDB","created_at":"2026-07-05T11:29:14.158850+00:00"},{"alias_kind":"pith_short_16","alias_value":"3M5XLK4DBTDBCBBC","created_at":"2026-07-05T11:29:14.158850+00:00"},{"alias_kind":"pith_short_8","alias_value":"3M5XLK4D","created_at":"2026-07-05T11:29:14.158850+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/3M5XLK4DBTDBCBBCMFEQRPB7IF","json":"https://pith.science/pith/3M5XLK4DBTDBCBBCMFEQRPB7IF.json","graph_json":"https://pith.science/api/pith-number/3M5XLK4DBTDBCBBCMFEQRPB7IF/graph.json","events_json":"https://pith.science/api/pith-number/3M5XLK4DBTDBCBBCMFEQRPB7IF/events.json","paper":"https://pith.science/paper/3M5XLK4D"},"agent_actions":{"view_html":"https://pith.science/pith/3M5XLK4DBTDBCBBCMFEQRPB7IF","download_json":"https://pith.science/pith/3M5XLK4DBTDBCBBCMFEQRPB7IF.json","view_paper":"https://pith.science/paper/3M5XLK4D","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2506.20909&json=true","fetch_graph":"https://pith.science/api/pith-number/3M5XLK4DBTDBCBBCMFEQRPB7IF/graph.json","fetch_events":"https://pith.science/api/pith-number/3M5XLK4DBTDBCBBCMFEQRPB7IF/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3M5XLK4DBTDBCBBCMFEQRPB7IF/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3M5XLK4DBTDBCBBCMFEQRPB7IF/action/storage_attestation","attest_author":"https://pith.science/pith/3M5XLK4DBTDBCBBCMFEQRPB7IF/action/author_attestation","sign_citation":"https://pith.science/pith/3M5XLK4DBTDBCBBCMFEQRPB7IF/action/citation_signature","submit_replication":"https://pith.science/pith/3M5XLK4DBTDBCBBCMFEQRPB7IF/action/replication_record"}},"created_at":"2026-07-05T11:29:14.158850+00:00","updated_at":"2026-07-05T11:29:14.158850+00:00"}