Wire by Fusion42
Fusion42 Scout Raise
The Debrief & Outliers
Regulatory RadarWorkday Debrief · Mon 09:00 UTCSector Deep DiveWorkday Debrief · Tue 09:00 UTCGeo PulseWorkday Debrief · Wed 09:00 UTCOperating ConditionsWorkday Debrief · Thu 09:00 UTCWeekly BriefingWorkday Debrief · Fri 09:00 UTCWTF Happened This WeekSat 09:00 UTC · 3σ outliers
Benchmarks
Benchmarks HomeBy News TypeBy RegionBy Sector
AI WeeklyAbout

Switch product

Fusion42RaiseScoutWire

The Debrief & Outliers

All editionsRegulatory RadarWorkday Debrief · Mon 09:00 UTCSector Deep DiveWorkday Debrief · Tue 09:00 UTCGeo PulseWorkday Debrief · Wed 09:00 UTCOperating ConditionsWorkday Debrief · Thu 09:00 UTCWeekly BriefingWorkday Debrief · Fri 09:00 UTCWTF Happened This WeekSat 09:00 UTC · 3σ outliers

Database & benchmarks

Benchmarks HomeBy News TypeBy RegionBy SectorStories

Account

Sign in
← Back

Wire · opportunities

Fermat's last theorem formalised by AI agents in just 11 days

5 September 2026 · By · Wire by Fusion42

Published

5 September 2026

Topic

opportunities

◆ Sectors

AI & ML

◆ Geography

United States

◆ Source

Read at newscientist.com →

◆ Verified

Fusion42 · 5 September 2026 · Fusion42 review

Anthropic used autonomous AI agents over 11 days to formalise Fermat's last theorem in a computer-verifiable proof using the Lean programming language, surpassing a prior five-year human effort.

This Wire brief sits within Fusion42's coverage of AI & ML.

◆ ◆ The Wire takeaway

You are entering a new era where AI not only assists but autonomously formalises complex mathematical proofs, slashing timelines from years to days. If you build AI tools or infrastructure for mathematicians, this shifts the baseline for both capability and customer expectations.

◆ Coverage

1 source · 5 Sep 2026

◆ Related on Wire

◆ Topics

AI & MLformal-mathai-agentsproof-assistantlean-languagemathlib