>however that solution only works because we have a non AI system to prove correctness But this is actually a really common scenario. Checking a solution for c

>however that solution only works because we have a non AI system to prove correctness But this is actually a really common scenario. Checking a solution for correctness is often much easier than actually finding a correct solution in the first place.