Discover counterexamples in difficult mathematical search spaces to disprove a conjecture.

Soon you can unlock how this was done.

Behind this: the tool used · the method · what actually resulted · the manual work it replaced.