The Conway thrackle conjecture asserts that every thrackle with vertices and
edges satisfies
.
Scoppetto (2026) proved the improved upper bound
for , using a computer-assisted exclusion of a particular
drawing obstruction. The conjectured bound
remains open.
Scoppetto (2026) reports using ChatGPT for algorithmic improvements, code implementation, proof checking, and identification of omitted cases. The author reviewed the computation and takes responsibility for the proof.
Simon (2026) further improved the upper bound to
for every , where
is the floor function.
The proof combines a cited computer-assisted verification
for at most 12 vertices with a discharging argument
(Simon 2026).