Agent swarm verifies ~15,000-page math proof in 24 days, finds decades-old flaw
cneuralnetwork · x · 2026-10-27
@axiommath formalized one of the largest proofs in mathematics — roughly 15,000 pages of work — verified in 24 days. Agents coordinated through GitHub, reviewed each other's work, and even uncovered a decades-old flaw. Commenters call it the strongest case yet for agent swarms and a preview of software engineering's future: code we can actually verify.
More from coding & agent
- No G-scale K-36 locomotive under $6k online, so he's designing one with Claude — natesiggard · 2026-10-28
- Wrap flips screen recording: logs your clicks and commands, feeds them to coding agents via MCP — therealdanvega · 2026-10-28
- Ada's agent retrieval on Cohere Embed: 77ms median latency, 4x smaller vector storage — aidangomez · 2026-10-28
- Replit launches Cloud Agents turning natural language into tested PRs, shipped 250k lines internally — amasad · 2026-10-28
- Dev: Opus 5.5 beats any human reviewer — let it review your code, not the other way around — mhmazur · 2026-10-28
- RLCD: post-training that makes a model's 90% confidence actually mean 90% accuracy — kalyan_kpl · 2026-10-28