VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
Precise statement
How many nondegenerate equilibrium points can the potential of three positive point charges have? Gabrielov, Novikov and Shapiro had proved at most $12$, and observed that their method would give $6$ if an auxiliary polynomial system had at least four solutions with multiplicity in each open quadrant. That four-solution statement holds, so the bound is $6$, and six is attained for special charge values.
The source statement is reproduced for indexing with attribution. Mathematical correctness requires domain-expert or mechanical review. VibeMath has not independently audited statement
fidelity, correctness, priority, or novelty.
What AI did
Claude
The acknowledgement states that parts of the work, including the saddle-separation argument and the symbolic and numerical verification, were developed with the assistance of Claude, and that all results were independently verified by the authors. The abstract calls that separation argument at the unique saddle point of a separated-variable first integral the main new ingredient, so the model's contribution reaches the load-bearing step.