jxbdbdbd·10 か月前·議論That is not necessarily true. Knot theory is quite niche, maybe nobody before tried bruteforcing counter examples