I happen to think that novel facts and theorems and proofs are way overrated. If you find a new fact it just goes into the giant pile of facts that are sitting around uselessly. The useful progress in math is comes from "refactoring" efforts to make things simpler and more intuitive.

I don't mean that this is necessarily the case, but that it is where we are now: we have found ourself in a situation where we have way too many facts and not enough simple perspectives that make them useful and accessible.

Just my opinion, though.