In this talk, I will briefly discuss the history of the Kervaire invariant problem and how we prove that the Kervaire invariant one in dimension 126 exists, which was the last unknown case of the problem. In particular, I will show why computer programming plays an important role in modern algebraic topology.
