> I believe this is actually a good thing. We are letting people find solutions before someone finds problems to use them for. This may lead to a few problems

> I believe this is actually a good thing. We are letting people find solutions before someone finds problems to use them for. This may lead to a few problems too: (1) Prior knowledge can serve as a blinder. Our conceptual toolkits may end up consisting of unwieldy theorems that while useful are cumbersome to use. (2) The number of theorems with no immediately evident practical use is so large that they may end up being "forgotten" anyways, and this will result in us having to do the "mental heavy lifting" all over again.