A human-like artificial intelligence for mathematics

This paper provides a brief overview of findings in mathematical cognition and how a human-like AI in mathematics may look like. Then, it provides six reasons in favor of a human-like AI for mathematics: (1) human cognition, with all its limits, creates mathematics; (2) human mathematics is insightful, not merely deductive steps; (3) human cognition detects structure in the real world; (4) human cognition can tackle and detect complex problems; (5) human cognition is creative; (6) human cognition considers ethical issues. The paper provides a tentative frame to the question whether human mathematical cognition is relevant for designing an artificial intelligence that works on and creates mathematics.