Hacker News new | ask | show | jobs
by jz391 1020 days ago
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...