In this case, a ton of progress had already been made. The conjecture had been proved in some cases, reduced to a simpler problem in others. This couple went the last mile of solving the simpler problem in some particularly thorny cases.
You're really standing on the shoulders of giants when you rely on the classification of finite simple groups.
You're really standing on the shoulders of giants when you rely on the classification of finite simple groups.