May be over most people's heads but it is a large factor in solving most logic problems. For military, think fire control, weapons tracking, target tracking and you start to get an idea. And that is just for ships and aircraft tracking incoming at super-sonic speeds. Take it to the fire-team/squad level and there is a system somewhere tracking position, enemy position, rates of closure/separation, load outs and a multitude of other information.
That someone took this challenging idea and was able to boil it down to a 2-page proof is absolutely phenomenal and I expect it to have a large impact in the coming years.