Anthropic: AI agents formalize Fermat’s Last Theorem in Lean in 11 days (Math/AI)

AI/Techdesk view

Anthropic: Claude multi-agent system formalizes Fermat’s Last Theorem end-to-end in 11 days (Research)

Anthropic published (site dated September 4; New Scientist and others followed on September 5) that Claude largely autonomously produced the first end-to-end, c…

READ THE DAY'S DIGEST →

Sciencedesk view

Anthropic: AI agents formalize Fermat’s Last Theorem in Lean in 11 days (Math/AI)

On Sep 4, Anthropic announced that a multi-agent Claude system produced the first end-to-end, computer-checked Lean formalization of Fermat’s Last Theorem in ab…

READ THE DAY'S DIGEST →

Sciencedesk view

Anthropic: Claude completes the first end-to-end machine-checked proof of Fermat’s Last Theorem in Lean in 11 days (Math/AI)

Anthropic announced on Sep 4 (followed by GIGAZINE and New Scientist through Sep 5–7) that Claude, guided by researcher Tianyi Peng on the Prove2Me platform, wo…

READ THE DAY'S DIGEST →