Truth is that we don't know whether they are that good or just a money-eating machine. They are the largest Mathematicians contractor for sure, but that doesn't mean anything if the bureaucracy in between is humongous (as expected in most of these organizations).