Ten Claude Agents Wrote a 17,895-Line Proof for a 1904 Physics Problem
Ten Claude Sonnet 5.5 agents, working under Vals AI, produced a 17,895-line Lean proof of the seven-charge Thomson problem, verified by two independent kernels.
Thomson-Problem
Ten Claude Sonnet 5.5 agents, working under Vals AI, produced a 17,895-line Lean proof of the seven-charge Thomson problem, verified by two independent kernels.