This dude’s paper introduced one of the hardest problems in computer science to the world. Who he? Which problem?