First, computers did geometry proofs. So what? Very few people want to do geometry proofs. Then computers beat humans at chess. No problem, chess is...