This is profound because this is essentially what Copilot ChatGPT do for programmers: "It tends to be much easier to verify a solution than actually solving the problem from scratch." The whole thread is worth a read.