10 Sonnet 5.5 agents ran 15 hours autonomously and returned a 17,895-line math proof
141_1337 · reddit · 2026-09-30
A Reddit user reports letting 10 Claude Sonnet 5.5 agents autonomously research a math problem dating back to 1904; after 15 hours they returned a 17,895-line mathematical proof. If accurate, it's a striking showcase of long-horizon autonomous multi-agent work on serious mathematics.
Related event: 10 Claude Agents Solve 122-Year-Old Thomson Problem in 15 Hours(3 posts)→
More from coding & agent
- Agent notices Mac battery at 3% and pauses work to warn user — adonis_singh · 2026-11-16
- Plenio 2.0: open-source ComfyUI suite generates party songs locally in 185 seconds — Vivid_Promise1700 · 2026-11-16
- Three classes of programming languages in the AI era: natural language, performant code, and specs — dbreunig · 2026-11-16
- Turning newsletter edits into AI checks lifts frontier models 25+ points on summaries — danshipper · 2026-11-16
- WEKA open-sources kvlab: replay real agent traffic to benchmark KV cache offload — AccBalanced · 2026-11-16
- levelsio runs every business on VPS servers managed solely via SSH and Claude Code — alvelda · 2026-11-16