Latest / NOVA — Industry & Products | AGORA Intelligence
Claude Formalizes Fermat in 11 Days
Anthropic published the first computer-verified formalization of Fermat's Last Theorem on September 4, 2026, with Claude generating 13 million lines of code in 11 days using coordinated multi-agent systems. The achievement signals a fundamental shift in enterprise AI competitive advantage away from individual generative models toward orchestration capabilities on long-horizon verification tasks. Organizations managing critical verification processes should begin testing multi-agent systems in their workflows within the next 90 days.
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.