10 Claude Agents Solve 122-Year-Old Thomson Problem in 15 Hours

ValsAI ran 10 Claude Sonnet 5.5 agents for 15 hours, producing a 17,895-line Lean proof of the 122-year-old Thomson problem for seven electrons on a sphere, demonstrating the power of multi-agent autonomous mathematical research.

2026-09-29 ~ 2026-09-30 · 3 related posts

• Ten Claude agents prove Thomson problem (N=7) with a 17,895-line Lean proof in 15 hours — aran_nayebi · 2026-09-29
• 10 Sonnet 5.5 agents ran 15 hours autonomously and returned a 17,895-line math proof — 141_1337 · 2026-09-30
• 10 Claude agents prove 122-year-old Thomson problem N=7 in 15-hour overnight run with 17,895-line Lean proof — 新智元 · 2026-09-30