New Scientist · 5 Sep, 11:45 · Artificial Intelligence briefing

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

Artificial intelligence agents have successfully formalised a proof of Fermat’s last theorem, completing the task in just eleven days.

What it means for you ↓ Courses for this story

25–40%salary premium for professionals with applied AI skills

11xgrowth in AI job adverts since 2019

66%of leaders won't hire without AI literacy

20days to your first credential

The briefing

The story
in brief.

What happened, who it affects, and why it landed on our intelligence desk — in plain English, sixty seconds or less.

Artificial intelligence agents have successfully formalised a proof of Fermat’s last theorem, completing the task in just eleven days. This achievement demonstrates that AI systems can now handle complex mathematical verification and abstract reasoning tasks previously reserved for elite human mathematicians. The development signals a significant shift in how rigorous logical validation is approached within technical fields, suggesting that automated tools are rapidly closing the gap in high-level analytical problem-solving capabilities.

Employer demand for Artificial Intelligence skills — indexed growth since 2019
Indicative index of skill mentions in professional job postings for the field this story moves (2019 = 1)

Your move

What this means
for your career.

Every headline redistributes opportunity. Here is who this one rewards — and how to be on the right side of it.

This breakthrough signals that automated verification will soon underpin high-stakes decision-making in finance, engineering, and law. Professionals must pivot from manual validation to overseeing AI-driven logical checks. Your value now lies in defining rigorous problem parameters and interpreting algorithmic outputs, not just crunching numbers. Prioritise learning how to audit AI reasoning processes and integrate formal verification into your workflow. You should immediately upskill in AI strategy to understand these tools’ limitations. Smart professionals will treat AI as a co-pilot for complex logic, ensuring they remain the critical thinkers who validate automated conclusions rather than becoming obsolete through reliance on unchecked automation.

For this story, the fields that convert it into pay are Artificial Intelligence, AI Strategy, Data Science and Engineering — exactly the programmes matched below. The chart shows the indicative salary uplift certified professionals report in each of those fields; every one of them is a click away, from £79, finishing in as few as 20 days.

Indicative salary uplift in the fields matched to this story
Indicative ranges from published continuing-education salary studies, by field — each field is a recommended course below

Matched to this story

Enrol in these
to benefit.

These programmes position you for exactly this shift — online, self-paced, and finishing with a verifiable certificate you can share the day you pass.