Anthropic 'formalizes' Fermat's Last Theorem like never before using Claude — but it still took 11 days to write out
You will receive a confirmation email shortly."},"failureMessage":"There was a problem. Follow TechRadar on Google News and add us as a preferred source to get our expert news, reviews, and opinion in your feeds. Efosa Udinmwen Freelance Journalist Efosa has been writing about technology for over 7 years, initially driven by curiosity but now fueled by a strong passion for the field.
- ▪You will receive a confirmation email shortly."},"failureMessage":"There was a problem.
- ▪Follow TechRadar on Google News and add us as a preferred source to get our expert news, reviews, and opinion in your feeds.
- ▪Efosa Udinmwen Freelance Journalist Efosa has been writing about technology for over 7 years, initially driven by curiosity but now fueled by a strong passion for the field.
TechRadar publishes from United Kingdom and files mainly under tech. We currently carry 2,097 of its stories.
Story provenance
Source · retrieval · rights · ranking — open for full record
inspect →
Story provenance
Attribution is not the same as permission. This drawer separates discovery metadata, excerpts, WeSearch-generated summaries, reuse status, and whether the publisher receives the visit. Nothing here claims a legal grant the publisher has not made.
Record
| Original publisher | TechRadar |
| Canonical URL | https://www.techradar.com/pro/anthropic-formalizes-fermats-last-theorem-like-never-before-using-claude-but-it-still-took-11-days-to-write-out |
| Publication time | Sun, 13 Sep 2026 15:15:00 +0000 |
| Retrieval time | 2026-09-13T15:21:50.458Z |
| Last seen | 2026-09-13T15:21:50.458Z |
| Headline source | Publisher (no WeSearch rewrite) |
| Excerpt source | publisher body |
| Excerpt method | First ~120 words (~800 chars) of extracted publisher body, fair-use limited. |
| Summary | WeSearch · cerebras-chat (WeSearch summarizer) |
| Summary source text | contentText |
| Citation coverage | Summary is a WeSearch-generated derivative; primary citation is the original publisher URL. |
| Cluster | z8v2PXrc0vkd · 1 stories |
| Cluster logic | Grouped by semantic title/content similarity across sources within a rolling window. Same-publisher template collisions are excluded from coverage comparison. |
| Ranking reason | Story pages are not engagement-ranked. Hub feeds use recency, with optional source-diversified chronological ordering (cap consecutive stories per source). No personalized ranking. |
| Publisher visit | Yes — open original |
| Substitutes article? | No — link-out required for full text |
Rights status (four layers)
WeSearch handling by dimension
| Indexing | May the item be indexed (stored, ranked, made findable)? | Allowed |
| Snippet | May a short excerpt of the publisher's text be shown? | Allowed |
| AI summary | May WeSearch generate its own short summary of the article? | Limited |
| Retrieval / RAG | May the content be exposed for third-party retrieval-augmented generation? | Not asserted |
| Model training | May the content be used to train AI models? | Not asserted |
| Commercial reuse | May the content be reused commercially? | Not permitted |
Basis: Derived from the published RSS/Atom feed. Contact: [email protected]. Reviewed: 2026-07-24.
Opening excerpt (first ~120 words) tap to expand
Pro Anthropic 'formalizes' Fermat's Last Theorem like never before using Claude — but it still took 11 days to write out News By Efosa Udinmwen Published 13 September 2026 2 min read Claude turns a 350-year-old, 129-page proof into 13 million lines of Lean code When you purchase through links on our site, we may earn an affiliate commission. Here’s how it works. (Image credit: Getty Images) Copy link Facebook X Whatsapp Reddit Pinterest Flipboard Threads Email Share this article 0 Join the conversation Follow us Add us as a preferred source on Google Newsletter Subscribe to our newsletter Claude turned a famous mathematical proof into millions of checkable code linesAnthropic says Claude completed years of expected work in 11 daysThe massive proof contains 13 million lines of Lean…
Excerpt limited to ~120 words for fair-use compliance. The full article is at TechRadar.
Discussion
0 commentsMore from TechRadar
