This was a result that everyone expected to be true, but weren't able to prove: our mathematical tools weren't good enough. Now they are. It's like weightlifting: as your mathematics becomes “stronger”, it becomes capable of doing more things. The applications will come. See this Quanta magazine article and quotes in it from researchers about the problem: https://www.quantamagazine.org/mathematician-solves-computer...
> But no one could prove it. […] “People wrote long, complicated papers trying to make the tiniest progress,”[…] this power should yield new insights about complexity measures. “It adds to our toolkit for maybe trying to answer other questions in the analysis of Boolean functions,” […]
> But no one could prove it. […] “People wrote long, complicated papers trying to make the tiniest progress,”[…] this power should yield new insights about complexity measures. “It adds to our toolkit for maybe trying to answer other questions in the analysis of Boolean functions,” […]
etc.