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.