src_b06996690e944145a1
- Source-provided label
- Not reported
- Evidence class
- mentioned in report
- Confidence
- Not reported
- Observed
- Sep 09, 2026 11:00 UTC
- Retrieved
- Oct 08, 2026 03:53 UTC
A “proof” of Fermat’s Last Theorem that fits the margin
Fermat famously claimed to have a “truly marvelous proof” of his Last Theorem, but he never wrote it down, insisting the margin of his page was too narrow to contain it. A few centuries later, Anthropic announced a complete formalization of Fermat’s Last Theorem using 13 million lines of Lean code (clearly not what Fermat intended). Luckily, we found a wonderfully cursed Lean bug, shown below, tha
Reference details
- Source category
- Research & news
- Report title
A “proof” of Fermat’s Last Theorem that fits the margin- First reported
- Sep 09, 2026 11:00 UTC
- Last reported
- Sep 09, 2026 11:00 UTC
- Catalog updated
- Oct 08, 2026 03:53 UTC
- Record ID
a640f584af723388f6cf121ac5fa0c64897497f7aa32556db1afe8067898f5a3
Published indicators
Network indicators are visibly defanged. This page does not make them clickable or send them to another service.
No validated file hashes or network indicators are stored for this record.
Source observations
This record contains metadata and attribution only. It does not host, download, unpack, render, or execute malware samples.
Feed collection status
Sources represented on this page. Publication and observation dates describe the content; successful batch dates describe local collection. A recent batch does not certify complete coverage or current provider availability.
1 sources: 0 stale, 0 needing attention, 0 paused, 1 unverified.
Review source update dates and status
- src_b06996690e944145a1Collection status unverifiedLast successful batch: Unverified
Stale means older than twice the recorded collection interval, with a minimum of one hour; without an interval, the threshold is 24 hours. Cached content remains available while a feed is stale, paused, or unverified.