Generate a candidate proof for the planar unit distance problem, a problem posed by Paul Erdős in 1946.

Soon you can unlock how this was done.

Behind this: the tool used · the method · what actually resulted.