ParentFull threadbuzzdenver·For those of us who are only good at derivation: are these problems like chess where a computer will always beat a human?View on HN