sentence1: I think this is a pretty good candidate for a powerful but unexpected technique.
sentence2: The following are not proofs, or even theorems, but I think they count as insights that have the quality that it's hard to imagine computers coming up with them.