In mathematics, a big rock is a result which is vastly more powerful than is needed to solve the problem being considered. Often it has a difficult, technical proof whose methods are not related to those of the field in which it is applied. You say "I'm going to hit this problem with a big rock." Sard's theorem is a good example of a big rock.