Clocking.News

Story thread · 11 reports / 8 sources

Fermat’s Last Theorem: AI provides machine-verified proof

heise.de · 8d

How the coverage leans

Across 8 sources · syndicated copies counted once

Anthropic has, according to its own statements, presented the first fully computer-verified version of Fermat’s Last Theorem – created by Claude agents.

First report: Formalizing Fermat's Last Theorem — news.ycombinator.com, 10d

The coverage

  1. The man paid to prove Fermat by hand says Claude did it in 11 days

    thenextweb.com · 8d

  2. Fermat's Last Theorem Machine-Checked: Claude Completes in 11 Days What Took Years to Plan

    techtimes.com · 9d

The conversation · 0

Sign in to join the conversation.

No comments yet — start the thread.