Home Today’s Briefing Deep Dives In Play Trending For You Discover My Stack Saved Off Radar Search

Loading today’s stories

Today

AI-assisted reporting, grounded in a per-article claim ledger. Perspective Coverage and Reality Strip separate source viewpoints from evidence, adoption, hype, incentives, and confidence.

Today

Front Page
Today’s Briefing
Newsletters
Trending
For You
Discover
My Stack
Saved
Off Radar
Search

Sections

Security
Build
Invest
Product
Leadership
Science

Company

About
Mission
How this is made
Evidence Index
The desks
The sources we read
Corrections
Press and brand
The daily edition

Trending now

AI for Mathematics
Open-Weight Model Publishing
Frontier Model Releases
Foldable Phones
AI training-data litigation
Digital Asset Regulation
AI Safety Governance
Chain-of-Thought Monitoring
AI Agent Security
Multi-Agent Coordination

How this is made

Today For You My Stack Off Radar Search

Fermat's Last Theorem — Clarity Today

Topic

Fermat's Last Theorem

The statement that no whole numbers a, b and c satisfy a^n + b^n = c^n for any whole number n greater than 2. Posed by Pierre de Fermat in the 17th century, it resisted proof for over 350 years and became the best-known open problem in number theory until Andrew Wiles settled it.

Current clusters

science1 distinct publisher

Eleven days of machine time turned Wiles's 100 pages into 13 million lines of Lean

Anthropic says its Claude agents ran autonomously for 11 days to formalise Fermat's Last Theorem in 13 million lines of Lean, a result that rests on a finished human proof and 2 million lines of prior formalisation.

Publishers:newscientist.com

Reality

Evidence42
Adoption25
Hype gap+30
Incentives78

Confidence55