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

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 →