I'm more surprised that they were able to prove it computationally.

You are? That surprises me. Do you have a background in algebra?

It is sad, but Erdos and Renyi are no more.