As reported by the MIT Technology Review, a new proof shows that optimal play in Magic: The Gathering is so difficult that a computer would be unable to figure out the winner, offering lasting ...