Artificial but Intelligent Mathematicians - Kashmir Reader

The question of whether mathematics is invented or discovered is a longstanding open debate. From the way results are deduced and obtained as corollaries from axioms and theorems, it appears that mathematics is discovered. From what mathematicians choose to study or the names they give to things, it appears that some part of it is created or invented. The binary is not at all clear. A more serious and less-discussed discussion is that of whether machines are capable of doing mathematics the way mathematicians do.