Invent or discover? Is there consensus about that when it comes to maths?