The Kára–Pór–Wood Big-Line-Big-Clique Conjecture: Four Collinear Points or a Six-Clique
candidateconfidence 50%
VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
Precise statement
The big-line-big-clique conjecture of Kára, Pór and Wood asserts that for all $k, \ell$ there is an $n$ such that every finite point set of at least $n$ points contains $\ell$ collinear points or $k$ points that pairwise see each other. True for $\ell = 4$, $k = 6$, the first case left open: every finite point set of size at least $10^{11055931}$ has four collinear points or six pairwise visible points.
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
GPT-5.6 Sol Pro
The paper's disclosure, in full: "After one fruitless attempt and the now customary generic encouragement, a relatively detailed proof of Theorem 1 was provided by GPT-5.6 Sol Pro after pondering for 222 minutes. The author's contributions were limited to checking the proof, simplifying some parts, and eventually writing the paper in a way that would give the author (and hopefully other human readers) a more pleasant reading experience."
Checked by this site on 21 August 2026 against the paper (arXiv:2608.19468v1, 7pp): the disclosure is verbatim as quoted, the conjecture's 2005 attribution is in the text, and the paper states this is the first open case resolved since 2009. The proof was not checked here. The threshold is astronomical but the statement is unconditional. Days-old preprint, no independent review.
Large Finite Point Sets Have 4 Collinear Points or a 6-Clique
VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
Known method families
argument (source-reported)
Source-reported tools: argument.
Independent: unknown · difference confidence: 0
What remains uncertain
VibeMath has not independently audited the mathematical statement, proof, or novelty claim.
The source status is candidate and must not be represented as solved.
VibeMath has not independently verified the mathematical claim.
AI-attempt independence and training-data exposure are unknown unless explicitly documented.
VibeMath has not independently audited the mathematical statement, proof, or novelty claim.