Proof by Computer

“Don’t touch this problem. It’s too difficult. You may not get anywhere, and you may never graduate.”

That was the advice computer scientist Clement W.H. Lam received more than 30 years ago when he was a graduate student. Lam heeded his adviser’s warning but eventually came back to the problem—a well-known question in the area of mathematics known as combinatorics.