You're acting like math is some sort of infinite game of automating unit tests. There is no shortage of conjectures and generating them is cheap. The struggle is finding the ones that are actually interesting. They only have value when they can unify disparate domains or reveal something that was previously hidden, or (the thing that I see most Mathematicians lamenting today) if they force the creation of new abstractions to solve.

Insight in mathematics doesn't emerge from brute-forcing conjectures. There is a recognized aesthetic economy that exists and without a semantic filter to detect the significance in any of these proofs we just end up with a lot of noise.