What was already known
The longstanding conjecture asserted that every finite spherical point set is Euclidean Ramsey. Earlier non-Ramsey examples were not spherical.
AI involvement
Pálvölgyi says ChatGPT supplied all proof ideas and wrote the manuscript. He contributed presentation advice and separate contextual remarks.
The author expressly disclaims contributing to the proof or ideas and credits ChatGPT with the manuscript and seven-point construction.
- Supporting source (raw.githubusercontent.com) — Later distinct twelve-point formal witness, not the seven-point theorem
Importance
An explicit circular seven-point set refutes the universal spherical Ramsey conjecture.
Limitations
The paper supplies a written proof but does not document a completed human or machine check of its seven-point theorem. The author expressly marks a separate appendix unchecked; that appendix is outside this claim.
Technical verification
Theorem 1 has a complete written argument, but the reviewed source does not explicitly document a completed check of that argument by a human or machine. The author expressly marks the separate appendix unchecked. Reported is the evidence default for the selected seven-point theorem, not a finding that it failed.
Human understanding
Pálvölgyi explains the surrounding context and compares the search with earlier attempts, but the reviewed remarks do not document a human explanation of the central weighted-derivation identity and coloring construction. Few is the evidence default, not a report that no person understands it.
Correction and publication history
The circular seven-point construction refutes the universal spherical Ramsey conjecture.
Read this published revision