{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:QCDQNEZPUVYHTFOUGJTLV77ZPM","short_pith_number":"pith:QCDQNEZP","schema_version":"1.0","canonical_sha256":"808706932fa5707995d43266bafff97b32c822a59f6c797428fbdd3b3432c88d","source":{"kind":"arxiv","id":"2607.07162","version":1},"attestation_state":"computed","paper":{"title":"The Technological Turn in Mathematics","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"math.HO","authors_text":"Fenner Tanswell, Silvia De Toffoli","submitted_at":"2026-07-08T08:53:15Z","abstract_excerpt":"Quickly evolving technologies, such as Interactive Theorem Provers (ITPs), Automated Theorem Provers (ATPs), and Large Language Models (LLMs), all falling under the general heading 'AI for mathematics,' are transforming mathematical practice in profound ways. This chapter explores the implications of these innovations, focusing on their impact on how mathematical knowledge is created and shared. It also discusses how they are reshaping the social dimension of mathematics, altering collaboration dynamics, trust relationships, and the collective production of knowledge. For instance, tools like "},"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":"2607.07162","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"math.HO","submitted_at":"2026-07-08T08:53:15Z","cross_cats_sorted":[],"title_canon_sha256":"fe17f7fc2c873af1650ca0c8e7128d08eed087d39969926dd5f443391927a2e0","abstract_canon_sha256":"0602509b6ded6268a52e44f6f986a08f086d5fc92161fd80d147f50e750b00b7"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-09T01:20:16.013492Z","signature_b64":"LV7HCYQsvfSesMyUkj3mB+rHCP4E0e8DD4WgPaS1r1XvSEk73HG8oGHGk9L/ISU0vCpq1KHSWjBVeaP1WUdeCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"808706932fa5707995d43266bafff97b32c822a59f6c797428fbdd3b3432c88d","last_reissued_at":"2026-07-09T01:20:16.013077Z","signature_status":"signed_v1","first_computed_at":"2026-07-09T01:20:16.013077Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The Technological Turn in Mathematics","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"math.HO","authors_text":"Fenner Tanswell, Silvia De Toffoli","submitted_at":"2026-07-08T08:53:15Z","abstract_excerpt":"Quickly evolving technologies, such as Interactive Theorem Provers (ITPs), Automated Theorem Provers (ATPs), and Large Language Models (LLMs), all falling under the general heading 'AI for mathematics,' are transforming mathematical practice in profound ways. This chapter explores the implications of these innovations, focusing on their impact on how mathematical knowledge is created and shared. It also discusses how they are reshaping the social dimension of mathematics, altering collaboration dynamics, trust relationships, and the collective production of knowledge. For instance, tools like "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.07162","kind":"arxiv","version":1},"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/2607.07162/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":"2607.07162","created_at":"2026-07-09T01:20:16.013141+00:00"},{"alias_kind":"arxiv_version","alias_value":"2607.07162v1","created_at":"2026-07-09T01:20:16.013141+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.07162","created_at":"2026-07-09T01:20:16.013141+00:00"},{"alias_kind":"pith_short_12","alias_value":"QCDQNEZPUVYH","created_at":"2026-07-09T01:20:16.013141+00:00"},{"alias_kind":"pith_short_16","alias_value":"QCDQNEZPUVYHTFOU","created_at":"2026-07-09T01:20:16.013141+00:00"},{"alias_kind":"pith_short_8","alias_value":"QCDQNEZP","created_at":"2026-07-09T01:20:16.013141+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/QCDQNEZPUVYHTFOUGJTLV77ZPM","json":"https://pith.science/pith/QCDQNEZPUVYHTFOUGJTLV77ZPM.json","graph_json":"https://pith.science/api/pith-number/QCDQNEZPUVYHTFOUGJTLV77ZPM/graph.json","events_json":"https://pith.science/api/pith-number/QCDQNEZPUVYHTFOUGJTLV77ZPM/events.json","paper":"https://pith.science/paper/QCDQNEZP"},"agent_actions":{"view_html":"https://pith.science/pith/QCDQNEZPUVYHTFOUGJTLV77ZPM","download_json":"https://pith.science/pith/QCDQNEZPUVYHTFOUGJTLV77ZPM.json","view_paper":"https://pith.science/paper/QCDQNEZP","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2607.07162&json=true","fetch_graph":"https://pith.science/api/pith-number/QCDQNEZPUVYHTFOUGJTLV77ZPM/graph.json","fetch_events":"https://pith.science/api/pith-number/QCDQNEZPUVYHTFOUGJTLV77ZPM/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/QCDQNEZPUVYHTFOUGJTLV77ZPM/action/timestamp_anchor","attest_storage":"https://pith.science/pith/QCDQNEZPUVYHTFOUGJTLV77ZPM/action/storage_attestation","attest_author":"https://pith.science/pith/QCDQNEZPUVYHTFOUGJTLV77ZPM/action/author_attestation","sign_citation":"https://pith.science/pith/QCDQNEZPUVYHTFOUGJTLV77ZPM/action/citation_signature","submit_replication":"https://pith.science/pith/QCDQNEZPUVYHTFOUGJTLV77ZPM/action/replication_record"}},"created_at":"2026-07-09T01:20:16.013141+00:00","updated_at":"2026-07-09T01:20:16.013141+00:00"}