AINewsnow

1,000 Claude Agents Proved Fermat's Last Theorem in 28.7 Hours — With No Boss and No Special Tools

Anthropic gave 1,000 AI agents one of the hardest problems in mathematics — a formal, computer-checked proof of Fermat's Last Theorem — and almost no instructions on how to do it. The team finished in 28.7 hours, using one-third of the output tokens and writing a proof one-seventh the length of Ant…

Read the full story at DEV Community — AI ↗

Timeline · 1 report

  1. 2026-11-10 08:20 · DEV Community — AI
    1,000 Claude Agents Proved Fermat's Last Theorem in 28.7 Hours — With No Boss and No Special Tools

More stories

  1. Anthropic launches Claude Fable 5.2 and Claude for Manufacturing — Anthropic (X)
  2. Anthropic prepares for IPO as markets weigh new playbook for mega-share debuts — Wall Street Journal Technology
  3. Anthropic launches self-hosted Claude Managed Agents in private beta — Anthropic (X)
  4. Mariko Mori uses Claude to create animation for retrospective 'All That Shines' — Anthropic (X)
  5. Claude Code's 'don't ask again' option tied to leaked secrets in public repos — VentureBeat AI
  6. J. Crew debuts AI shopping tool designed to think like a stylist — Fortune AI
  7. Cognizant Launches Claude Managed Services With 25,000-Strong Frontier Capability Group — Economic Times Tech
  8. Lifetime AI bundle offering access to Claude, Gemini and 20+ models discounted ahead of Black Friday — CNET AI

Get the daily brief of stories like this at 6:30 every morning →