This is great from so many angles. The counterexample is solid mathematics, the paper is wonderfully to the point, and the use of computers to successfully investigate a pure math problem was innovative.
I only wish they'd described the method they used to find the counterexample.
I only wish they'd described the method they used to find the counterexample.