formalizing fermats last theorem
Published 2026-09-10T19:05:29Z•e94fc2f0f03f56919cc939f7144edb3c0e89f5cdc2a59702ac4a99ca77e8cddd
Source metadata
- Publication date
- 2026-09-10T19:05:29Z
- Source identifier
- https://www.anthropic.com/research/formalizing-fermats-last-theorem
- Public record ID
- record:sha256:e94fc2f0f03f56919cc939f7144edb3c0e89f5cdc2a59702ac4a99ca77e8cddd
The title is derived from the canonical URL because the source did not provide a title.
This is source-provided metadata, not an enriched summary or an impact assessment. Follow the canonical source link for the published material.
Evidence and limitations
- Source ID
- anthropic_research
- Record identifier
- e94fc2f0f03f56919cc939f7144edb3c0e89f5cdc2a59702ac4a99ca77e8cddd
- Record type
- Source metadata
This record may overlap with other records. Source metadata can be incomplete or change. Validate consequential decisions against the linked source and your own environment.