{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:HSLAWDZMFYCYT7JOTD5YGRSRUQ","short_pith_number":"pith:HSLAWDZM","canonical_record":{"source":{"id":"1902.07798","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2019-02-20T22:23:33Z","cross_cats_sorted":[],"title_canon_sha256":"2e766743f2296ecc3124b46826da6ee716fb720ac611ded6aa3d73987347b967","abstract_canon_sha256":"64fcb4d344d56153f994b99bfbe7549dc45731d812171b2ce0489aac1a9f97c0"},"schema_version":"1.0"},"canonical_sha256":"3c960b0f2c2e0589fd2e98fb834651a43c6c51bd5a7582a0c26af0fa3544c028","source":{"kind":"arxiv","id":"1902.07798","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.07798","created_at":"2026-05-17T23:53:03Z"},{"alias_kind":"arxiv_version","alias_value":"1902.07798v1","created_at":"2026-05-17T23:53:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.07798","created_at":"2026-05-17T23:53:03Z"},{"alias_kind":"pith_short_12","alias_value":"HSLAWDZMFYCY","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_16","alias_value":"HSLAWDZMFYCYT7JO","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_8","alias_value":"HSLAWDZM","created_at":"2026-05-18T12:33:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:HSLAWDZMFYCYT7JOTD5YGRSRUQ","target":"record","payload":{"canonical_record":{"source":{"id":"1902.07798","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2019-02-20T22:23:33Z","cross_cats_sorted":[],"title_canon_sha256":"2e766743f2296ecc3124b46826da6ee716fb720ac611ded6aa3d73987347b967","abstract_canon_sha256":"64fcb4d344d56153f994b99bfbe7549dc45731d812171b2ce0489aac1a9f97c0"},"schema_version":"1.0"},"canonical_sha256":"3c960b0f2c2e0589fd2e98fb834651a43c6c51bd5a7582a0c26af0fa3544c028","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:53:03.854035Z","signature_b64":"WfMKXvHjyITfhc8BFqaltF1O32iLZ7YJ9T8IZs+E99aRjWi/HkdS8Aw/0PsLF6JyKLRVJnqtPXIVK53gJEYwDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3c960b0f2c2e0589fd2e98fb834651a43c6c51bd5a7582a0c26af0fa3544c028","last_reissued_at":"2026-05-17T23:53:03.853452Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:53:03.853452Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1902.07798","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:53:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"guvG++Nf4gxTqQBgromPMYIB79BM32DXqEzvqPuv4gRvbteTA23NnqwpZpBlEiPzZ/U8AIkSeN0hghTGzMKCAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T07:26:43.555904Z"},"content_sha256":"916c43b3086b63073b97d467a1ad26d7011163e589a9289c31bba765e4f58a26","schema_version":"1.0","event_id":"sha256:916c43b3086b63073b97d467a1ad26d7011163e589a9289c31bba765e4f58a26"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:HSLAWDZMFYCYT7JOTD5YGRSRUQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Class field theory, Diophantine analysis and the asymptotic Fermat's Last Theorem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.NT","authors_text":"Alain Kraus, Nuno Freitas, Samir Siksek","submitted_at":"2019-02-20T22:23:33Z","abstract_excerpt":"Recent results of Freitas, Kraus, Sengun and Siksek, give sufficient criteria for the asymptotic Fermat's Last Theorem to hold over a specific number field. Those works in turn build on many deep theorems in arithmetic geometry. In this paper we combine the aforementioned results with techniques from class field theory, the theory of p-groups and p-extensions, Diophantine approximation and linear forms in logarithms, to establish the asymptotic Fermat's Last Theorem for many infinite families of number fields, and for thousands of number fields of small degree. For example, we prove the effect"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.07798","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":""},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:53:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"40tSks4vZqNhKmYhf7S8IlburqMnKeknwZi7+KLOTypEcom5SgroAUpMISMwqWQ1kWwIHRSnklTuSWiojFm9CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T07:26:43.556258Z"},"content_sha256":"11f91993119908c5ae820b1741edd30bd89219b5bda32bf5bcd83a2cbcf010cf","schema_version":"1.0","event_id":"sha256:11f91993119908c5ae820b1741edd30bd89219b5bda32bf5bcd83a2cbcf010cf"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HSLAWDZMFYCYT7JOTD5YGRSRUQ/bundle.json","state_url":"https://pith.science/pith/HSLAWDZMFYCYT7JOTD5YGRSRUQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HSLAWDZMFYCYT7JOTD5YGRSRUQ/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-20T07:26:43Z","links":{"resolver":"https://pith.science/pith/HSLAWDZMFYCYT7JOTD5YGRSRUQ","bundle":"https://pith.science/pith/HSLAWDZMFYCYT7JOTD5YGRSRUQ/bundle.json","state":"https://pith.science/pith/HSLAWDZMFYCYT7JOTD5YGRSRUQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HSLAWDZMFYCYT7JOTD5YGRSRUQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:HSLAWDZMFYCYT7JOTD5YGRSRUQ","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"64fcb4d344d56153f994b99bfbe7549dc45731d812171b2ce0489aac1a9f97c0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2019-02-20T22:23:33Z","title_canon_sha256":"2e766743f2296ecc3124b46826da6ee716fb720ac611ded6aa3d73987347b967"},"schema_version":"1.0","source":{"id":"1902.07798","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.07798","created_at":"2026-05-17T23:53:03Z"},{"alias_kind":"arxiv_version","alias_value":"1902.07798v1","created_at":"2026-05-17T23:53:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.07798","created_at":"2026-05-17T23:53:03Z"},{"alias_kind":"pith_short_12","alias_value":"HSLAWDZMFYCY","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_16","alias_value":"HSLAWDZMFYCYT7JO","created_at":"2026-05-18T12:33:18Z"},{"alias_kind":"pith_short_8","alias_value":"HSLAWDZM","created_at":"2026-05-18T12:33:18Z"}],"graph_snapshots":[{"event_id":"sha256:11f91993119908c5ae820b1741edd30bd89219b5bda32bf5bcd83a2cbcf010cf","target":"graph","created_at":"2026-05-17T23:53:03Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Recent results of Freitas, Kraus, Sengun and Siksek, give sufficient criteria for the asymptotic Fermat's Last Theorem to hold over a specific number field. Those works in turn build on many deep theorems in arithmetic geometry. In this paper we combine the aforementioned results with techniques from class field theory, the theory of p-groups and p-extensions, Diophantine approximation and linear forms in logarithms, to establish the asymptotic Fermat's Last Theorem for many infinite families of number fields, and for thousands of number fields of small degree. For example, we prove the effect","authors_text":"Alain Kraus, Nuno Freitas, Samir Siksek","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2019-02-20T22:23:33Z","title":"Class field theory, Diophantine analysis and the asymptotic Fermat's Last Theorem"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.07798","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:916c43b3086b63073b97d467a1ad26d7011163e589a9289c31bba765e4f58a26","target":"record","created_at":"2026-05-17T23:53:03Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"64fcb4d344d56153f994b99bfbe7549dc45731d812171b2ce0489aac1a9f97c0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2019-02-20T22:23:33Z","title_canon_sha256":"2e766743f2296ecc3124b46826da6ee716fb720ac611ded6aa3d73987347b967"},"schema_version":"1.0","source":{"id":"1902.07798","kind":"arxiv","version":1}},"canonical_sha256":"3c960b0f2c2e0589fd2e98fb834651a43c6c51bd5a7582a0c26af0fa3544c028","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3c960b0f2c2e0589fd2e98fb834651a43c6c51bd5a7582a0c26af0fa3544c028","first_computed_at":"2026-05-17T23:53:03.853452Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:53:03.853452Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"WfMKXvHjyITfhc8BFqaltF1O32iLZ7YJ9T8IZs+E99aRjWi/HkdS8Aw/0PsLF6JyKLRVJnqtPXIVK53gJEYwDQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:53:03.854035Z","signed_message":"canonical_sha256_bytes"},"source_id":"1902.07798","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:916c43b3086b63073b97d467a1ad26d7011163e589a9289c31bba765e4f58a26","sha256:11f91993119908c5ae820b1741edd30bd89219b5bda32bf5bcd83a2cbcf010cf"],"state_sha256":"e242d43eccd0d3d6c6d838baa68674b3d652d2ad863eb8d4582e9d513a24dd37"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"21n7CIy6ZKeDrOTZ+ZSpOTdZ4ZtrhL65QYP48zDMSJsbUtG9+qYLd/N0vAupqsoYhs5nP02xC543HxWB62IfDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-20T07:26:43.558153Z","bundle_sha256":"fe5ffc278a3cc376f78e5725e3014b0de51bfae2d2a2675ac548f7d66652faf6"}}