The title seems wrong. This isn't in any meaningful sense a viable strategy, nor is the "puzzle" (conjecture, formally) being "harnessed" - rather, the brute-force calculation that would be used to verify it, is being simulated.