This is a silly semantics game and a boring one at that. the presumption that the words are contradictory, or that mathematics is a monolithic entity that plays a single role of invention or discovery, is a poor way of exploring the social and cultural (co)evolution of mathematics and methodical experimentation and observation.