What does the end of mathematics look like?