Claude Sonnet 5.5 agents reportedly prove the lowest-energy arrangement of seven electrons on a sphere
ValsAI says ten agents used Lean to produce a 17,895-line proof in 15 hours. It says the Lean kernel accepted the proof, which identifies a pentagonal bipyramid as the lowest-energy arrangement.
TLDR
ValsAI says it tasked ten Claude Sonnet 5.5 agents with proving the lowest-energy arrangement of seven electrons on a sphere, known as the Thomson problem for N=7. According to ValsAI, they produced a 17,895-line proof within 15 hours that was accepted by the Lean kernel and identified a pentagonal bipyramid as the answer.
Combined views
10K
2 Sources, first seen 3h ago
