Hard Bongard Problems a human has been seen to solve without cheating vs. hard Bongard Problems no one is known to have solved yet without cheating.