Three different papers pushed to ArXiv proving same 1986 conjecture; all use AI

Three separate research papers uploaded to ArXiv have independently proven a conjecture from 1986, each employing artificial intelligence techniques in their proofs.