First heard it from a CS professor that it was the hardest problem in computer science.