Would computers really want to do math proofs?

Roger Penrose wrote a book titled “The Emporor’s New Mind.” The book roused quite a bit of controversy, because he claimed that he had proof that computers can’t think in […]