Great article - very inspiring to hear about his collaboration with another undergraduate at MIT over 3 years, and the joint awards they've won together.
My undergraduate graph theory textbook had this quote from Paul Erdos:
" Suppose aliens invade the earth and threaten to obliterate it in a year's time unless human beings can find the Ramsey number for red five and blue five. We could marshal the world's best minds and fastest computers, and within a year we could probably calculate the value.
If the aliens demanded the Ramsey number for red six and blue six, however, we would have no choice but to launch a preemptive attack."
In other words - some of the basic questions about these unbelievably small numbers (that you could count on your hands and toes) are so difficult, they push the limits of human ingenuity.