⚡Anthropic's AI system formally verified a proof of Fermat's Last Theorem in 11 days.

What it means

Anthropic's AI system (likely Claude) has, in 11 days, produced a formal verification of Fermat's Last Theorem. This means the AI wrote a computer-checkable version of the proof, ensuring every logical step is correct. While the theorem was proven by Andrew Wiles in 1994, formal verification adds a layer of mathematical rigor and can help automate future proofs.

Accuracy & sourcesGrounded

The claim is based on a Nature news article that reports on Anthropic's own findings. Nature is a credible secondary source, and the reporting appears to closely reflect a primary announcement or preprint, making the factual claim solid to the extent of the article's accuracy.

How new

This is genuinely new, as the Nature article is current and no recirculation year is indicated.

Go deeper

• Nature article