Comment by buzzdenver

For those of us who are only good at derivation: are these problems like chess where a computer will always beat a human?