A multi-agent swarm of Anthropic's Claude models worked concurrently to formalize Fermat's Last Theorem across thousands of independent, modular subtasks