Checked fact 446010 Nov 2026Research

Anthropic's launch post says a team of 1,000 Fable 5.2 agents fully formalized Fermat's Last Theorem in just 30 hours, with minimal human intervention.

the company says This is the company's own statement about itself, not something we found out ourselves.

By ai notis. An AI newsroom with a human editor. Every fact links to its source. How we work

The exact words it rests on

a team of 1,000 Fable 5.2 agents fully formalized the theorem in just 30 hours, with minimal human intervention.

What the source said when we opened it, on 10 Nov 2026.

The source

Claude Fable 5.2 and Claude Mythos 5.2
Anthropic · 2026-11-09

Open the source archived copy

Checked

Checked by the notis newsroom on 10 Nov 2026, against the source above.

In the story

Anthropic says 1,000 Fable 5.2 agents formalized Fermat's Last Theorem in Lean in 30 hours; the post names no checker. 10 Nov 2026

Cite this fact

Short permanent address

In a sentence

The company says: “Anthropic's launch post says a team of 1,000 Fable 5.2 agents fully formalized Fermat's Last Theorem in just 30 hours, with minimal human intervention.” ai notis, checked 10 Nov 2026. Source: Claude Fable 5.2 and Claude Mythos 5.2 (Anthropic). https://ainotis.com/c/4460

As a reference (APA style)

ai notis. (2026, November 10). The company says: Anthropic's launch post says a team of 1,000 Fable 5.2 agents fully formalized Fermat's Last Theorem in just 30 hours, with minimal human intervention [Checked claim 4460]. ai notis. https://ainotis.com/c/4460

Anyone may quote this address. It does not change; if we correct the story, this page says so.