Repository navigation
This repository certifies counts of equilibria for systems of point charges, including computer-certified results for three through seven charges.
This snapshot ships certificates, certifiers, exploration code, tests, and NOTE.md; seven-charge proof is verifier-only for now and the work is not reviewed by a person.
Code (*.py) is Apache License 2.0 (LICENSE). Text and data (NOTE.md, README, certificates/, results/) are CC BY 4.0 (LICENSE-CC-BY-4.0).
Cite this release through the Zenodo DOI assigned when this archive is published.
Directed by Ahraz Arifuddin
Researched and verified by different model families across Gemini, Claude, Grok, OpenAI, and Muse