They’re brute-forcing the solution to a mathematical puzzle.