Some portion of what is deemed important arises from the interaction between mathematics and physics. It would be fascinating to automate the invention of new mathematical structures and then have a post-human physicist try to apply these new structures.