What was already known
The six-visible-point, four-collinear-point case was open in the Kára–Pór–Wood big-line-or-big-clique conjecture; smaller clique cases had been proved.
AI involvement
Bonnet reports that GPT-5.6 Sol Pro produced a detailed proof; Bonnet checked, simplified and wrote it up.
Bonnet says GPT-5.6 Sol Pro produced a detailed proof of Theorem 1; he checked and simplified it and wrote the paper.
Importance
This establishes a previously open existence case in discrete geometry.
Limitations
The astronomical threshold was subsequently improved by a separate human paper to 880. Bonnet checked and simplified the model proof, but the preprint does not document a separate formal check.
Technical verification
Bonnet expressly says he checked the model-generated proof of Theorem 1. The manuscript gives the complete argument. The check is author-reported, not reproduced here.
Human understanding
Bonnet supplies a detailed human-written outline of the interval argument and conflicting harmonic-potential bounds, followed by proofs of the lemmas.
Correction and publication history
Claim-level primary-source review for non-notifying local inclusion.
Read this published revision