A human just triumphed over IBM’s six-year-old AI debater