Comment by orangecat

It seems by definition "below par" of whatever human activity it's training on

How many sub-par mathematicians could solve the unit distance conjecture?