I wonder if you misunderstood his comment as a suggested method to solve the mathematical problem?
The way I read it, he was suggesting a possible way of reducing the size of the DRUP certificate from 13GByte by searching for common patterns, perhaps similar to the way bzip works.