Does anyone know if Cahit's Spiral Chains proof (<https://arxiv.org/abs/math/0408247>) was found to have issues? It is much more elegant, as it avoids the exhaustive computer case verification...