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.
More from coding & agent
- Open source maintainers push back as agents spam PRs to farm GitHub stats — wightmanr · 2026-09-30
- Claude Code 2.1.285 removes a dozen legacy models, prompt tokens jump 51% — ClaudeCodeLog · 2026-09-30
- Claude Code 2.1.285 ships 136 CLI changes, adds WebFetch kill switch — ClaudeCodeLog · 2026-09-30
- XBOW's AI agent finds and exploits a Linux kernel 0-day, achieving local root privilege escalation — moyix · 2026-09-30
- With Login with OpenAI, harness token efficiency becomes the new price war — NathanWilbanks_ · 2026-09-30
- Cerebras runs Qwen 3.8 27B at ~1,500 tokens/sec, making an AI assistant 19x faster at dinner reservations — Sethwinterroth · 2026-09-30