Formalizing Fermat's Last Theorem
A post on anthropic.com, published 10 September 2026, is cited by 31 distinct blogs to date (corpus.blog, measured 15 October 2026).
A record is what was published and who pointed at it. The text of the post is not shown here: read it at the source, or at its Wayback capture.
31blogs citing
| Period | Blogs | Links |
|---|---|---|
| All time | 31 | 37 |
| Last 90 days | 30 | 36 |
| Last 30 days | 9 | 11 |
| Last 7 days | 2 | 2 |
| First cited | 31 Aug 2026 |
|---|---|
| Latest citation | 11 Oct 2026 |
| Words blogs link it with | 5 |
| Linked with its own title | 2 of 31 blogs |
| External links | 25 |
| Length | 2,353 |
0 this week (still settling) · peak 11
Show as table
| Week of | Value |
|---|---|
| 31 Aug 2026 | 11 |
| 7 Sept 2026 | 10 |
| 14 Sept 2026 | 4 |
| 21 Sept 2026 | 1 |
| 28 Sept 2026 | 2 (still settling) |
| 5 Oct 2026 | 2 (still settling) |
| 12 Oct 2026 | 0 (still settling) |
Each blog counts once, in the week of its first citation. 1 blog has no dated post that cites this page: counted in the tally, not here. A blog added to the index recently can bring old first citations in at once.
Who cited it
BetaCited by 31 blogs across 2 subjects: technology 21, science 6, unclassified 4.
It crossed over: blogs in at least two subjects each make up 15% or more of its classified citers.
- Technology21
- Science6
- Unclassified4
Words blogs link it with
The words blogs link this page with, by how many different blogs use them.
- anthropic3 blogs
- announced2 blogs
- formalization of fermat’s last theorem2 blogs
- formalizing fermat's last theorem2 blogs
- formalizing fermat’s last theorem2 blogs
Cited by 31 blogs in 37 posts
One row per blog, the most recently citing first. Each shows the blog's newest citing post; open a row for the others.
linked as “Formalizing Fermat’s Last Theorem”
Read at raymyers.org (opens in a new tab)linked as “complete machine-checked proof of Fermat’s Last Theorem”
Read at sunelehmann.com (opens in a new tab)linked as “formalized Fermat's Last Theorem”
Read at stephendiehl.com (opens in a new tab)1 other post
linked as “announced”
Read at stephendiehl.com (opens in a new tab)linked as “Claude formalising Fermat’s Last Theorem in Lean”
Read at proofsandprompts.com (opens in a new tab)1 other post
linked as “Lean formalisation”
Read at proofsandprompts.com (opens in a new tab)linked as “Wiles’ proof of Fermat’s Last Theorem”
Read at aperiodical.com (opens in a new tab)linked as “URL”
Read at antomon.github.io (opens in a new tab)3 other posts
linked as “Official website”
Read at antomon.github.io (opens in a new tab)linked as “Official website”
Read at antomon.github.io (opens in a new tab)linked as “announced”
Read at politicalcalculations.blogspot.com (opens in a new tab)linked as “Claude had produced a complete Lean formalisation of Fermat's Last Theorem”
Read at fabriziomontesi.com (opens in a new tab)linked as “A Lean-verified proof of Fermat’s Last Theorem”
Read at scottaaronson.blog (opens in a new tab)linked as “to formalize the proof of Fermat’s Last Theorem”
Read at oreilly.com (opens in a new tab)linked as “produced”
Read at transformernews.ai (opens in a new tab)linked as “formalization of Fermat’s Last Theorem”
Read at mattbaker.blog (opens in a new tab)linked as “fully formalized Fermat's Last Theorem in Lean”
Read at blog.computationalcomplexity.org (opens in a new tab)linked as “Anthropic”
Read at mathscholar.org (opens in a new tab)linked as “formalization of Fermat’s Last Theorem using 13 million lines”
Read at blog.trailofbits.com (opens in a new tab)linked as “formalization of Fermat’s Last Theorem”
Read at mseri.me (opens in a new tab)linked as “formally verified”
Read at blog.zerosharp.com (opens in a new tab)linked as “formalized”
Read at a3nm.net (opens in a new tab)linked as “Formalizing Fermat’s Last Theorem”
Read at korbonits.com (opens in a new tab)linked as “Anthropic, “Formalizing Fermat’s Last Theorem””
Read at srijanshukla.com (opens in a new tab)linked as “formalize Fermat's Last Theorem”
Read at artagnon.com (opens in a new tab)Links from this post
Elsewhere on anthropic.com (7)
Similar posts
Looking for more like this? Find posts and blogs like it
Something wrong here? Report a problem