What was already known
The authors compare with a 592-point construction.
What changed and why it matters
Raises the reported lower bound by one sphere in a fixed dimension.
The AI contribution
AI-generated search programs are evaluated for geometric feasibility.
Limitations
A lower bound, not an exact value. Later 604-point configurations are reported in the Station preprint. AIProofWatch has not run the supplied verifier.
Verification evidence
Evidence labels show what supports the claim. Importance rates its impact if correct.
Author claim
Reported lower bound in appendix B.11.
Accessible artifact / proof
Authors’ mathematical-results notebook includes constructions and verification code. Not rerun by AIProofWatch.
Correction and publication history
Historical seed, researched for the initial catalog. Initial alerting disabled.
Read this published revision