あるコンピューター科学者の逆転の発想による「驚くべき」証明が、50年にわたる未解決問題に進展をもたらし、コンピューター科学に新たな可能性を生んだ。