{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:2QWZA6PVLQZGSZU4RBAAZGHM7M","short_pith_number":"pith:2QWZA6PV","schema_version":"1.0","canonical_sha256":"d42d9079f55c3269669c88400c98ecfb2d4491058ee62fae88eccc4a8d57baa6","source":{"kind":"arxiv","id":"2112.11598","version":2},"attestation_state":"computed","paper":{"title":"What is the point of computers? A question for pure mathematicians","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.HO","authors_text":"Kevin Buzzard","submitted_at":"2021-12-22T00:43:38Z","abstract_excerpt":"We discuss the idea that computers might soon help mathematicians to prove theorems in areas where they have not previously been useful. Furthermore we argue that these same computer tools will also help us in the communication and teaching of mathematics."},"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":"2112.11598","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.HO","submitted_at":"2021-12-22T00:43:38Z","cross_cats_sorted":[],"title_canon_sha256":"e864438d1514c1c1f66446dbf07d76d97ff0e072cda99cfa34551bf5b62dae50","abstract_canon_sha256":"b6aab4847be6be5eeac902078599893773fdf2289a9b9bb8bd6cc277c9de0a2a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:15:12.853557Z","signature_b64":"Auv5yAHpcZgrletFL1sL+c3zYBzMeA4qqhVP5aCZbtaZi94MH72/dF1MGKC2t56WqyfLerTD7UZegg3/bacxCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d42d9079f55c3269669c88400c98ecfb2d4491058ee62fae88eccc4a8d57baa6","last_reissued_at":"2026-07-05T04:15:12.853064Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:15:12.853064Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"What is the point of computers? A question for pure mathematicians","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.HO","authors_text":"Kevin Buzzard","submitted_at":"2021-12-22T00:43:38Z","abstract_excerpt":"We discuss the idea that computers might soon help mathematicians to prove theorems in areas where they have not previously been useful. Furthermore we argue that these same computer tools will also help us in the communication and teaching of mathematics."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2112.11598","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/2112.11598/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":"2112.11598","created_at":"2026-07-05T04:15:12.853122+00:00"},{"alias_kind":"arxiv_version","alias_value":"2112.11598v2","created_at":"2026-07-05T04:15:12.853122+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2112.11598","created_at":"2026-07-05T04:15:12.853122+00:00"},{"alias_kind":"pith_short_12","alias_value":"2QWZA6PVLQZG","created_at":"2026-07-05T04:15:12.853122+00:00"},{"alias_kind":"pith_short_16","alias_value":"2QWZA6PVLQZGSZU4","created_at":"2026-07-05T04:15:12.853122+00:00"},{"alias_kind":"pith_short_8","alias_value":"2QWZA6PV","created_at":"2026-07-05T04:15:12.853122+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2607.06379","citing_title":"Axioms for physical reasoning: codifying the Seiberg--Witten solution in Lean","ref_index":9,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/2QWZA6PVLQZGSZU4RBAAZGHM7M","json":"https://pith.science/pith/2QWZA6PVLQZGSZU4RBAAZGHM7M.json","graph_json":"https://pith.science/api/pith-number/2QWZA6PVLQZGSZU4RBAAZGHM7M/graph.json","events_json":"https://pith.science/api/pith-number/2QWZA6PVLQZGSZU4RBAAZGHM7M/events.json","paper":"https://pith.science/paper/2QWZA6PV"},"agent_actions":{"view_html":"https://pith.science/pith/2QWZA6PVLQZGSZU4RBAAZGHM7M","download_json":"https://pith.science/pith/2QWZA6PVLQZGSZU4RBAAZGHM7M.json","view_paper":"https://pith.science/paper/2QWZA6PV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2112.11598&json=true","fetch_graph":"https://pith.science/api/pith-number/2QWZA6PVLQZGSZU4RBAAZGHM7M/graph.json","fetch_events":"https://pith.science/api/pith-number/2QWZA6PVLQZGSZU4RBAAZGHM7M/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/2QWZA6PVLQZGSZU4RBAAZGHM7M/action/timestamp_anchor","attest_storage":"https://pith.science/pith/2QWZA6PVLQZGSZU4RBAAZGHM7M/action/storage_attestation","attest_author":"https://pith.science/pith/2QWZA6PVLQZGSZU4RBAAZGHM7M/action/author_attestation","sign_citation":"https://pith.science/pith/2QWZA6PVLQZGSZU4RBAAZGHM7M/action/citation_signature","submit_replication":"https://pith.science/pith/2QWZA6PVLQZGSZU4RBAAZGHM7M/action/replication_record"}},"created_at":"2026-07-05T04:15:12.853122+00:00","updated_at":"2026-07-05T04:15:12.853122+00:00"}