What a wonderful demonstration of generalization. I've understood the Pythagorean Theorem since High School (more decades than than I'm willing to admit - I'm 63 year old.) But I had never seen the generalization (the Pythagorean Theorem of Similar Blobs) until I saw this video. Thanks.
Even if you could generate a relatively small list of plausible messages, some of them would contradict each other or be mutually exclusive ("do this" vs. "don't do this" vs. "do something else".) So how would you choose the correct one?