Explore a Lean proof of the Thomson problem for seven electrons, produced by Claude Sonnet 5.5 agents, with the proof code and verification checks.
A Lean Proof of the Thomson Problem for Seven Electrons
calendar_today
September 28, 2026
domain
vals-ai