The Kahn,Saks, and Sturtevant approach to the Evasiveness Conjecture (see the original paper here) is an epic application of pure mathematics to computer science. I’ll give an overview of the approach here, or probably try to add some more information on the problem in other posts. tl;dr …
Source: echen.me