Prewire · case file · public copy of the record
FILE P391 PREWIRE receipts archive the live wire
CATCH #1191 DETECTED SEP 4, 2026 19:15 UTC
THE CATCHscore 7/10
EXHIBIT 1191 · URGENT
Sep 4, 2026 19:15 UTC hacker news https://news.ycombinator.com/item?id=49568506
An Anthropic research paper on formalizing Fermat's Last Theorem is gaining rapid traction on Hacker News, indicating significant interest in their mathematical formalization work.

READY TO POST:

anthropic has a new paper on formalizing fermat's last theorem that's blowing up on hn. looks like they're making moves in rigorous mathematical proofs.

interesting to see anthropic research on formalizing fermat's last theorem hitting big on hacker news. they seem to be pushing into heavy-duty math formalization.

EVIDENCE — the receipts
HN story climbing fast:
title: Formalizing Fermat's Last Theorem
points: 75 in 0.5h = 139 pts/hr
link: https://www.anthropic.com/research/formalizing-fermats-last-theorem
discussion: https://news.ycombinator.com/item?id=49568506

caught by the 20-minute sweep · the live wire · all receipts

THE WIRE RECEIPTS ACCESS @VEDOLOS TERMS PRIVACY break the story before it breaks