{"schemaVersion":1,"target":{"type":"reading","id":"73c7486698014f2519be424de35036eb0e62799f805811dc3bf454be2f839294","revision":"8bfd2c63-dd26-d2ab-c2f9-334719a262e7","revisionKind":"publication-id","title":"Anthropic reports Claude produced a computer-checked proof of Fermat’s Last Theorem","url":"https://escapemeridian.com/readings/anthropic-reports-claude-produced-a-computer-checked-proof-of-73c74866"},"source":{"type":"source","id":"https://www.anthropic.com/research/formalizing-fermats-last-theorem","revision":"cad4314b74c030e1bc0f85dc9da9c758da69ed3a1579bd494f1e6640af1c6150","revisionKind":"sha256-source-text","title":"Formalizing Fermat's Last Theorem","url":"https://www.anthropic.com/research/formalizing-fermats-last-theorem"},"status":"available","items":[],"next":null,"scope":"Explicit citations in public readings and public file attachments to this reading. Shared topics are not citations. Other artifact types need an explicit reference adapter."}