Can Computers Be Mathematicians?