"We saw a glimpse of the future of swarm coding."
Agent swarms will fundamentally change how we build software.
@axiommathai used a swarm of agents to formally verify the Classification of Finite Simple Groups, the largest proof in math history. That is roughly 15,000 pages by over 100 mathematicians, now about 50 million lines of Lean, verified in 24 days.
The agents claimed tasks, wrote proofs, reviewed each other, and merged their own work through GitHub. Along the way, they fixed hundreds of major errata in the published proof.