{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:BJ5GUP4FKMHGLKQK6Q4WYGN2KO","short_pith_number":"pith:BJ5GUP4F","schema_version":"1.0","canonical_sha256":"0a7a6a3f85530e65aa0af4396c19ba538f34428bf265e215a9aa2d0968aa6368","source":{"kind":"arxiv","id":"2412.10876","version":2},"attestation_state":"computed","paper":{"title":"Machine Proofs for Adams Differentials and Extension Problems among CW Spectra","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.GN"],"primary_cat":"math.AT","authors_text":"Guozhen Wang, Weinan Lin, Zhouli Xu","submitted_at":"2024-12-14T16:05:30Z","abstract_excerpt":"In this document, we describe the process of obtaining numerous Adams differentials and extensions using computational methods, as well as how to interpret the dataset uploaded to Zenodo. Detailed proofs of the machine-generated results are also provided. The dataset includes information on 49 CW spectra, 180 maps, and 61 cofiber sequences. Leveraging these results, and with the addition of some ad hoc arguments derived through human insight, we successfully resolved the Last Kervaire Invariant Problem in dimension 126."},"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":"2412.10876","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AT","submitted_at":"2024-12-14T16:05:30Z","cross_cats_sorted":["math.GN"],"title_canon_sha256":"598427d3bc3c797c69839e831c27768717cbc4cb8ba3746d6796997d6e07c9a1","abstract_canon_sha256":"e762ed589221cd9b3c91205d0f3af5b8a146081f2ad30c9c31c15055dd1fc2b5"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:18:11.632301Z","signature_b64":"m2aZ7lAFygnv1uCjzBNp2H7EenEzfCTy7NRlCM/ikuCHiAIaUSfsoF9XbcwmiTXGC1UaV8Ho075TXkqlfqGbBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0a7a6a3f85530e65aa0af4396c19ba538f34428bf265e215a9aa2d0968aa6368","last_reissued_at":"2026-07-05T10:18:11.631644Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:18:11.631644Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Machine Proofs for Adams Differentials and Extension Problems among CW Spectra","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.GN"],"primary_cat":"math.AT","authors_text":"Guozhen Wang, Weinan Lin, Zhouli Xu","submitted_at":"2024-12-14T16:05:30Z","abstract_excerpt":"In this document, we describe the process of obtaining numerous Adams differentials and extensions using computational methods, as well as how to interpret the dataset uploaded to Zenodo. Detailed proofs of the machine-generated results are also provided. The dataset includes information on 49 CW spectra, 180 maps, and 61 cofiber sequences. Leveraging these results, and with the addition of some ad hoc arguments derived through human insight, we successfully resolved the Last Kervaire Invariant Problem in dimension 126."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.10876","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/2412.10876/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":"2412.10876","created_at":"2026-07-05T10:18:11.631787+00:00"},{"alias_kind":"arxiv_version","alias_value":"2412.10876v2","created_at":"2026-07-05T10:18:11.631787+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.10876","created_at":"2026-07-05T10:18:11.631787+00:00"},{"alias_kind":"pith_short_12","alias_value":"BJ5GUP4FKMHG","created_at":"2026-07-05T10:18:11.631787+00:00"},{"alias_kind":"pith_short_16","alias_value":"BJ5GUP4FKMHGLKQK","created_at":"2026-07-05T10:18:11.631787+00:00"},{"alias_kind":"pith_short_8","alias_value":"BJ5GUP4F","created_at":"2026-07-05T10:18:11.631787+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2605.26334","citing_title":"A Hurewicz Theorem for $RO(C_2)$-graded Equivariant Homology Governed by Vector Fields on Spheres","ref_index":8,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/BJ5GUP4FKMHGLKQK6Q4WYGN2KO","json":"https://pith.science/pith/BJ5GUP4FKMHGLKQK6Q4WYGN2KO.json","graph_json":"https://pith.science/api/pith-number/BJ5GUP4FKMHGLKQK6Q4WYGN2KO/graph.json","events_json":"https://pith.science/api/pith-number/BJ5GUP4FKMHGLKQK6Q4WYGN2KO/events.json","paper":"https://pith.science/paper/BJ5GUP4F"},"agent_actions":{"view_html":"https://pith.science/pith/BJ5GUP4FKMHGLKQK6Q4WYGN2KO","download_json":"https://pith.science/pith/BJ5GUP4FKMHGLKQK6Q4WYGN2KO.json","view_paper":"https://pith.science/paper/BJ5GUP4F","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2412.10876&json=true","fetch_graph":"https://pith.science/api/pith-number/BJ5GUP4FKMHGLKQK6Q4WYGN2KO/graph.json","fetch_events":"https://pith.science/api/pith-number/BJ5GUP4FKMHGLKQK6Q4WYGN2KO/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/BJ5GUP4FKMHGLKQK6Q4WYGN2KO/action/timestamp_anchor","attest_storage":"https://pith.science/pith/BJ5GUP4FKMHGLKQK6Q4WYGN2KO/action/storage_attestation","attest_author":"https://pith.science/pith/BJ5GUP4FKMHGLKQK6Q4WYGN2KO/action/author_attestation","sign_citation":"https://pith.science/pith/BJ5GUP4FKMHGLKQK6Q4WYGN2KO/action/citation_signature","submit_replication":"https://pith.science/pith/BJ5GUP4FKMHGLKQK6Q4WYGN2KO/action/replication_record"}},"created_at":"2026-07-05T10:18:11.631787+00:00","updated_at":"2026-07-05T10:18:11.631787+00:00"}